-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathMisc_tests.input
92 lines (88 loc) · 2.18 KB
/
Misc_tests.input
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
testsuiteNoClear "Misc"
testcaseNoClear "Bill Page examples"
--
-- This file is for testing various examples (bugs?) not any particular
-- Functionality
--
-- Bill Page 7/12/2018
--
-- Label/number continuing from testsuite_trial.input
--
-- This is just a polymorphic check
-- Probably wrong
-- Should return x7 (below) and
-- "XDP" right now
p_morp:FDA :=(1+x*y)*x*(1+z*y)*(x*y*z-z*x*y);
factorCheck_poly(p_morp)
--
-- Back to work
--
x7:FDA := (1+x*y)*x*(1+z*y)*(x*y*z-z*x*y);
factorCheck_poly(x7)
x8:FDA :=(3*x*y+5*y*x)^2 ;
factorCheck_poly(x8)
-- This takes a little longer
x9:FDA :=(3*x*y+5*y*x)^3 ;
factorCheck_poly(x9)
--
-- Some tests from Bill Pages upload at git Hub
-- Originally targeted towards Konrad SChrempf algorithm
-- File polynomialfactor.input
--
x10:FDA := (1-x)*(1-y);
factorCheck_poly(x10)
x11:FDA :=1-x*y;
factorCheck_poly(x11)
x12:FDA :=y*y -9;
factorCheck_poly(x12)
x13:FDA :=x*x-2;
factorCheck_poly(x13)
x14:FDA :=4*x*x-9;
factorCheck_poly(x14)
x15:FDA :=x*y-y*x;
factorCheck_poly(x15)
x16:FDA :=x*y+y*x;
factorCheck_poly(x16)
x17:FDA := x*y*z-3*x*y+x*z+2*y*z-3*x-6*y+2*z-6;
factorCheck_poly(x17)
x18:FDA :=(y+1)*(x+2)*(x-2);
factorCheck_poly(x18)
x19:FDA :=(z+1)*(z+2)*(x-2);
factorCheck_poly(x19)
x20:FDA :=z*(x*x-2);
factorCheck_poly(x20)
x21:FDA :=x*x*x-10*x*x+31*x-30;
factorCheck_poly(x21)
x22:FDA :=(x-2)*(x-3)*(x-5);
factorCheck_poly(x22)
x23:FDA :=4*x*x*y-4*x*x-9*y+9;
factorCheck_poly(x23)
x24:FDA :=(y-z*x)^2;
factorCheck_poly(x24)
x25:FDA :=(1-x*y)*(1-y*x);
factorCheck_poly(x25)
x26:FDA :=1-x*y-1*y*x+x*y^2*x;
factorCheck_poly(x26)
x27:FDA :=(x*y)*(1-x*y);
factorCheck_poly(x27)
x28:FDA :=(x+1)*(x+2)*(x-2)*x;
factorCheck_poly(x28)
x29:FDA :=x*(1-y*x)*(3+y*x);
factorCheck_poly(x29)
x30:FDA :=3*x-2*x*y*x-x*y*x*y*x;
factorCheck_poly(x30)
x31:FDA :=x*(1-y*x)*(3-y*x);
factorCheck_poly(x31)
x32:FDA :=3*x-4*x*y*x+x*y*x*y*x;
factorCheck_poly(x32)
x33:FDA :=(1-x*y)*(3-x*y)*(3+x*y);
factorCheck_poly(x33)
x34:FDA :=9-9*x*y-x*y*x*y+x*y*x*y*x*y;
factorCheck_poly(x33)
x35:FDA :=(1-x*y)*(2+y*x)*(3-y*z)*z;
factorCheck_poly(x35)
x36:FDA :=(1-x*y)*(2+y*x)*(3-y*z)*(2-z*y);
factorCheck_poly(x36)
x37:FDA :=(1-x*y)*(2+y*x)*(3-y*z)*(2-z*y)*x;
factorCheck_poly(x37)
-- Pausing take up rank 11