1 | Starts dribbling to colored-poly-tests.output (1995/4/3, 23:27:44).
|
---|
2 | real time : 0.100 secs
|
---|
3 | run time : 0.000 secs
|
---|
4 | VALUES--> (NIL)
|
---|
5 |
|
---|
6 | EVAL> (WARN "Test 1")
|
---|
7 | Warning: Test 1
|
---|
8 | real time : 0.000 secs
|
---|
9 | run time : 0.000 secs
|
---|
10 | VALUES--> (NIL)
|
---|
11 |
|
---|
12 | EVAL> (STRING-GROBNER-SYSTEM "[4*x^2-3*x*y,4*x+5*y]" '(X Y) 'NIL)
|
---|
13 | Condition:
|
---|
14 | Green list: [ ]
|
---|
15 | Red list: [ ]
|
---|
16 | Basis: [ (4) * X + (5) * Y, ( - 10) * Y^2 ]
|
---|
17 | real time : 0.067 secs
|
---|
18 | run time : 0.017 secs
|
---|
19 | VALUES--> NIL
|
---|
20 |
|
---|
21 | EVAL> (WARN "Test 2 - Enneper")
|
---|
22 | Warning: Test 2 - Enneper
|
---|
23 | real time : 0.000 secs
|
---|
24 | run time : 0.000 secs
|
---|
25 | VALUES--> (NIL)
|
---|
26 |
|
---|
27 | EVAL> (SETF VAL1
|
---|
28 | (STRING-GROBNER-SYSTEM
|
---|
29 | "[x-3*u-3*u*v^2+u^3,y-3*v-3*u^2*v+v^3,z-3*u^2+3*v^2]"
|
---|
30 | '(U V X Y Z) 'NIL :SUPPRESS-VALUE T))
|
---|
31 | Condition:
|
---|
32 | Green list: [ ]
|
---|
33 | Red list: [ ]
|
---|
34 | Basis: [ ( - 3) * U^2 + (3) * V^2 + (1) * Z, ( - 6) * U * V^2 + (1) * U * Z + ( - 9) * U + (3) * X, (2) * V^3 + (1) * V * Z + (3) * V + ( - 1) * Y, (9) * U * V * Y + ( - 2) * U * Z^2 + (18) * U * Z + ( - 9) * V^2 * X + ( - 6) * X * Z, ( - 9) * U * X + ( - 6) * V^2 * Z + (9) * V * Y + ( - 1) * Z^2 + (9) * Z, ( - 4) * U * V * Z + (3) * U * Y + ( - 3) * V * X, ( - 27) * U * Y^2 + (8) * U * Z^3 + ( - 72) * U * Z^2 + (36) * V^2 * X * Z + (27) * V * X * Y + (24) * X * Z^2, (18) * V^2 * Z^2 + (54) * V^2 * Z + ( - 54) * V * Y * Z + ( - 27) * X^2 + (27) * Y^2 + (1) * Z^3 + ( - 18) * Z^2 + (81) * Z, ( - 54) * V^2 * Y * Z + ( - 27) * V * X^2 + (27) * V * Y^2 + ( - 8) * V * Z^3 + ( - 72) * V * Z^2 + (9) * Y * Z^2 + (27) * Y * Z, (243) * V^2 * X^2 + ( - 243) * V^2 * Y^2 + ( - 1296) * V^2 * Z + ( - 108) * V * Y * Z^2 + (324) * V * Y * Z + (108) * X^2 * Z + (648) * X^2 + (135) * Y^2 * Z + ( - 648) * Y^2 + ( - 4) * Z^4 + (48) * Z^3 + (108) * Z^2 + ( - 1944) * Z, ( - 81) * V * X^2 * Z + ( - 243) * V * X^2 + ( - 405) * V * Y^2 * Z + (243) * V * Y^2 + ( - 24) * V * Z^4 + ( - 288) * V * Z^3 + ( - 648) * V * Z^2 + ( - 243) * X^2 * Y + (243) * Y^3 + (36) * Y * Z^3 + (972) * Y * Z, ( - 4374) * V * X^2 * Y + ( - 8748) * V * Y^3 * Z + (4374) * V * Y^3 + ( - 648) * V * Y * Z^4 + ( - 5184) * V * Y * Z^3 + ( - 17496) * V * Y * Z^2 + (729) * X^4 + ( - 5832) * X^2 * Y^2 + (189) * X^2 * Z^3 + (2430) * X^2 * Z^2 + ( - 2187) * X^2 * Z + (5103) * Y^4 + (945) * Y^2 * Z^3 + ( - 972) * Y^2 * Z^2 + (19683) * Y^2 * Z + ( - 8) * Z^6 + (72) * Z^5 + (648) * Z^4 + ( - 5832) * Z^3, ( - 2187) * V * X^4 + ( - 69984) * V * X^2 + ( - 8748) * V * Y^4 * Z + (2187) * V * Y^4 + ( - 648) * V * Y^2 * Z^4 + ( - 3240) * V * Y^2 * Z^3 + (11664) * V * Y^2 * Z^2 + ( - 139968) * V * Y^2 * Z + (69984) * V * Y^2 + (192) * V * Z^6 + (3456) * V * Z^5 + (15552) * V * Z^4 + ( - 20736) * V * Z^3 + ( - 186624) * V * Z^2 + (729) * X^4 * Y + ( - 5832) * X^2 * Y^3 + (189) * X^2 * Y * Z^3 + (7047) * X^2 * Y * Z^2 + (23328) * X^2 * Y * Z + ( - 69984) * X^2 * Y + (5103) * Y^5 + (945) * Y^3 * Z^3 + ( - 1215) * Y^3 * Z^2 + ( - 5832) * Y^3 * Z + (69984) * Y^3 + ( - 8) * Y * Z^6 + ( - 288) * Y * Z^5 + ( - 216) * Y * Z^4 + ( - 5184) * Y * Z^3 + ( - 93312) * Y * Z^2 + (279936) * Y * Z, (43740) * V * Y^3 * Z^2 + (3240) * V * Y * Z^5 + (29160) * V * Y * Z^4 + (87480) * V * Y * Z^3 + (87480) * V * Y * Z^2 + ( - 3645) * X^4 * Z + ( - 10935) * X^4 + (29160) * X^2 * Y^2 * Z + (21870) * X^2 * Y^2 + ( - 945) * X^2 * Z^4 + ( - 14985) * X^2 * Z^3 + ( - 25515) * X^2 * Z^2 + (32805) * X^2 * Z + ( - 25515) * Y^4 * Z + ( - 10935) * Y^4 + ( - 4725) * Y^2 * Z^4 + (405) * Y^2 * Z^3 + ( - 83835) * Y^2 * Z^2 + ( - 32805) * Y^2 * Z + (40) * Z^7 + ( - 240) * Z^6 + ( - 4320) * Z^5 + (19440) * Z^4 + (87480) * Z^3, (98415) * X^6 + ( - 295245) * X^4 * Y^2 + (54675) * X^4 * Z^3 + (590490) * X^4 * Z^2 + ( - 295245) * X^4 * Z + (295245) * X^2 * Y^4 + (284310) * X^2 * Y^2 * Z^3 + (590490) * X^2 * Y^2 * Z + (6480) * X^2 * Z^6 + (174960) * X^2 * Z^5 + (874800) * X^2 * Z^4 + ( - 1574640) * X^2 * Z^3 + ( - 98415) * Y^6 + (54675) * Y^4 * Z^3 + ( - 590490) * Y^4 * Z^2 + ( - 295245) * Y^4 * Z + ( - 6480) * Y^2 * Z^6 + (174960) * Y^2 * Z^5 + ( - 874800) * Y^2 * Z^4 + ( - 1574640) * Y^2 * Z^3 + ( - 320) * Z^9 + (51840) * Z^7 + ( - 2099520) * Z^5 ]
|
---|
35 | real time : 20.483 secs
|
---|
36 | run time : 10.100 secs
|
---|
37 | VALUES--> (NIL)
|
---|
38 |
|
---|
39 | EVAL> (SETF VAL1
|
---|
40 | (GROBNER (MAPCAR #'COLORED-POLY-TO-POLY (CADAR VAL1))))
|
---|
41 | real time : 0.000 secs
|
---|
42 | run time : 0.000 secs
|
---|
43 | VALUES--> (NIL)
|
---|
44 |
|
---|
45 | EVAL> (SETF VAL2
|
---|
46 | (STRING-GROBNER
|
---|
47 | "[x-3*u-3*u*v^2+u^3,y-3*v-3*u^2*v+v^3,z-3*u^2+3*v^2]"
|
---|
48 | '(U V X Y Z) :SUPPRESS-VALUE T))
|
---|
49 | Args:[ U^3 - 3 * U * V^2 - 3 * U + X, - 3 * U^2 * V + V^3 - 3 * V + Y, - 3 * U^2 + 3 * V^2 + Z ]
|
---|
50 | [ 2 * V^3 + V * Z + 3 * V - Y, 6 * U * V^2 - U * Z + 9 * U - 3 * X, 3 * U^2 - 3 * V^2 - Z, 4 * U * V * Z - 3 * U * Y + 3 * V * X, 9 * U * X + 6 * V^2 * Z - 9 * V * Y + Z^2 - 9 * Z, 9 * U * V * Y - 2 * U * Z^2 + 18 * U * Z - 9 * V^2 * X - 6 * X * Z, 18 * V^2 * Z^2 + 54 * V^2 * Z - 54 * V * Y * Z - 27 * X^2 + 27 * Y^2 + Z^3 - 18 * Z^2 + 81 * Z, 54 * V^2 * Y * Z + 27 * V * X^2 - 27 * V * Y^2 + 8 * V * Z^3 + 72 * V * Z^2 - 9 * Y * Z^2 - 27 * Y * Z, 27 * U * Y^2 - 8 * U * Z^3 + 72 * U * Z^2 - 36 * V^2 * X * Z - 27 * V * X * Y - 24 * X * Z^2, 243 * V^2 * X^2 - 243 * V^2 * Y^2 - 1296 * V^2 * Z - 108 * V * Y * Z^2 + 324 * V * Y * Z + 108 * X^2 * Z + 648 * X^2 + 135 * Y^2 * Z - 648 * Y^2 - 4 * Z^4 + 48 * Z^3 + 108 * Z^2 - 1944 * Z, 27 * V * X^2 * Z + 81 * V * X^2 + 135 * V * Y^2 * Z - 81 * V * Y^2 + 8 * V * Z^4 + 96 * V * Z^3 + 216 * V * Z^2 + 81 * X^2 * Y - 81 * Y^3 - 12 * Y * Z^3 - 324 * Y * Z, 4374 * V * X^2 * Y + 8748 * V * Y^3 * Z - 4374 * V * Y^3 + 648 * V * Y * Z^4 + 5184 * V * Y * Z^3 + 17496 * V * Y * Z^2 - 729 * X^4 + 5832 * X^2 * Y^2 - 189 * X^2 * Z^3 - 2430 * X^2 * Z^2 + 2187 * X^2 * Z - 5103 * Y^4 - 945 * Y^2 * Z^3 + 972 * Y^2 * Z^2 - 19683 * Y^2 * Z + 8 * Z^6 - 72 * Z^5 - 648 * Z^4 + 5832 * Z^3, 2187 * V * X^4 + 69984 * V * X^2 + 8748 * V * Y^4 * Z - 2187 * V * Y^4 + 648 * V * Y^2 * Z^4 + 3240 * V * Y^2 * Z^3 - 11664 * V * Y^2 * Z^2 + 139968 * V * Y^2 * Z - 69984 * V * Y^2 - 192 * V * Z^6 - 3456 * V * Z^5 - 15552 * V * Z^4 + 20736 * V * Z^3 + 186624 * V * Z^2 - 729 * X^4 * Y + 5832 * X^2 * Y^3 - 189 * X^2 * Y * Z^3 - 7047 * X^2 * Y * Z^2 - 23328 * X^2 * Y * Z + 69984 * X^2 * Y - 5103 * Y^5 - 945 * Y^3 * Z^3 + 1215 * Y^3 * Z^2 + 5832 * Y^3 * Z - 69984 * Y^3 + 8 * Y * Z^6 + 288 * Y * Z^5 + 216 * Y * Z^4 + 5184 * Y * Z^3 + 93312 * Y * Z^2 - 279936 * Y * Z, 8748 * V * Y^3 * Z^2 + 648 * V * Y * Z^5 + 5832 * V * Y * Z^4 + 17496 * V * Y * Z^3 + 17496 * V * Y * Z^2 - 729 * X^4 * Z - 2187 * X^4 + 5832 * X^2 * Y^2 * Z + 4374 * X^2 * Y^2 - 189 * X^2 * Z^4 - 2997 * X^2 * Z^3 - 5103 * X^2 * Z^2 + 6561 * X^2 * Z - 5103 * Y^4 * Z - 2187 * Y^4 - 945 * Y^2 * Z^4 + 81 * Y^2 * Z^3 - 16767 * Y^2 * Z^2 - 6561 * Y^2 * Z + 8 * Z^7 - 48 * Z^6 - 864 * Z^5 + 3888 * Z^4 + 17496 * Z^3, 19683 * X^6 - 59049 * X^4 * Y^2 + 10935 * X^4 * Z^3 + 118098 * X^4 * Z^2 - 59049 * X^4 * Z + 59049 * X^2 * Y^4 + 56862 * X^2 * Y^2 * Z^3 + 118098 * X^2 * Y^2 * Z + 1296 * X^2 * Z^6 + 34992 * X^2 * Z^5 + 174960 * X^2 * Z^4 - 314928 * X^2 * Z^3 - 19683 * Y^6 + 10935 * Y^4 * Z^3 - 118098 * Y^4 * Z^2 - 59049 * Y^4 * Z - 1296 * Y^2 * Z^6 + 34992 * Y^2 * Z^5 - 174960 * Y^2 * Z^4 - 314928 * Y^2 * Z^3 - 64 * Z^9 + 10368 * Z^7 - 419904 * Z^5 ]
|
---|
51 | real time : 11.233 secs
|
---|
52 | run time : 4.367 secs
|
---|
53 | VALUES--> (NIL)
|
---|
54 |
|
---|
55 | EVAL> (GROBNER-EQUAL VAL1 VAL2)
|
---|
56 | real time : 0.000 secs
|
---|
57 | run time : 0.000 secs
|
---|
58 | VALUES--> (T)
|
---|
59 |
|
---|
60 | EVAL> (WARN " Test 3 - staple")
|
---|
61 | Warning: Test 3 - staple
|
---|
62 | real time : 0.000 secs
|
---|
63 | run time : 0.000 secs
|
---|
64 | VALUES--> (NIL)
|
---|
65 |
|
---|
66 | EVAL> (STRING-GROBNER-SYSTEM "[x+y,x+u*y]" '(X Y) '(U))
|
---|
67 | Condition:
|
---|
68 | Green list: [ ]
|
---|
69 | Red list: [ U - 1 ]
|
---|
70 | Basis: [ ( - U + 1) * Y, (U - 1) * X ]
|
---|
71 | Condition:
|
---|
72 | Green list: [ U - 1 ]
|
---|
73 | Red list: [ ]
|
---|
74 | Basis: [ (1) * X + (1) * Y ]
|
---|
75 | real time : 0.267 secs
|
---|
76 | run time : 0.050 secs
|
---|
77 | VALUES--> NIL
|
---|
78 |
|
---|
79 | EVAL> (WARN " Test 4 - staple")
|
---|
80 | Warning: Test 4 - staple
|
---|
81 | real time : 0.000 secs
|
---|
82 | run time : 0.000 secs
|
---|
83 | VALUES--> (NIL)
|
---|
84 |
|
---|
85 | EVAL> (STRING-GROBNER-SYSTEM "[x+y,u*x+y]" '(X Y) '(U))
|
---|
86 | Condition:
|
---|
87 | Green list: [ U ]
|
---|
88 | Red list: [ ]
|
---|
89 | Basis: [ (1) * Y, (1) * X ]
|
---|
90 | Condition:
|
---|
91 | Green list: [ ]
|
---|
92 | Red list: [ U, U - 1 ]
|
---|
93 | Basis: [ (U - 1) * Y, (U^2 - U) * X ]
|
---|
94 | Condition:
|
---|
95 | Green list: [ U - 1 ]
|
---|
96 | Red list: [ ]
|
---|
97 | Basis: [ (1) * X + (1) * Y ]
|
---|
98 | real time : 0.150 secs
|
---|
99 | run time : 0.067 secs
|
---|
100 | VALUES--> NIL
|
---|
101 |
|
---|
102 | EVAL> (WARN "Test 5 - a small robot example")
|
---|
103 | Warning: Test 5 - a small robot example
|
---|
104 | real time : 0.000 secs
|
---|
105 | run time : 0.000 secs
|
---|
106 | VALUES--> (NIL)
|
---|
107 |
|
---|
108 | EVAL> (STRING-GROBNER-SYSTEM
|
---|
109 | "[a-l3*c1*c2+l3*s1*s2-l2*c1, b-l3*c1*s2-l3*c2*s1-l2*s1, c1^2+s1^2-1, c2^2+s2^2-1]"
|
---|
110 | '(C2 S2 C1 S1) '(A B L2 L3) :COVER '(("[]" "[l2,l3]")))
|
---|
111 | Condition:
|
---|
112 | Green list: [ ]
|
---|
113 | Red list: [ L3, A^2 + B^2, L2, A ]
|
---|
114 | Basis: [ ( - 2 * A * L2) * C1 + ( - 2 * B * L2) * S1 + (A^2 + B^2 + L2^2 - L3^2), (4 * A^2 * L2^2 + 4 * B^2 * L2^2) * S1^2 + ( - 4 * A^2 * B * L2 - 4 * B^3 * L2 - 4 * B * L2^3 + 4 * B * L2 * L3^2) * S1 + (A^4 + 2 * A^2 * B^2 - 2 * A^2 * L2^2 - 2 * A^2 * L3^2 + B^4 + 2 * B^2 * L2^2 - 2 * B^2 * L3^2 + L2^4 - 2 * L2^2 * L3^2 + L3^4), ( - 2 * A * L2 * L3) * S2 + ( - 2 * A^2 * L2 - 2 * B^2 * L2) * S1 + (A^2 * B + B^3 + B * L2^2 - B * L3^2), ( - 2 * L2 * L3) * C2 + (A^2 + B^2 - L2^2 - L3^2) ]
|
---|
115 | Condition:
|
---|
116 | Green list: [ A^2 + B^2 ]
|
---|
117 | Red list: [ L3, B * L2^2 - B * L3^2, L2, A, 4 * B^2 * L2^4 + 4 * B^2 * L2^2 * L3^2 + L2^6 - L2^4 * L3^2 - L2^2 * L3^4 + L3^6 ]
|
---|
118 | Basis: [ ( - 4 * B^2 * L2^4 - 4 * B^2 * L2^2 * L3^2 - L2^6 + L2^4 * L3^2 + L2^2 * L3^4 - L3^6) ]
|
---|
119 | Condition:
|
---|
120 | Green list: [ A^2 + B^2, 4 * B^2 * L2^4 + 4 * B^2 * L2^2 * L3^2 + L2^6 - L2^4 * L3^2 - L2^2 * L3^4 + L3^6 ]
|
---|
121 | Red list: [ L3, B * L2^2 - B * L3^2, L2, A ]
|
---|
122 | Basis: [ ( - 4 * B * L2^3 + 4 * B * L2 * L3^2) * S1 + (4 * B^2 * L2^2 + L2^4 - 2 * L2^2 * L3^2 + L3^4), (4 * A * B * L2^3 * L3 - 4 * A * B * L2 * L3^3) * S2 + (12 * B^2 * L2^2 * L3^2 - 4 * B^2 * L3^4 + L2^6 - L2^4 * L3^2 - L2^2 * L3^4 + L3^6), ( - 2 * L2 * L3) * C2 + ( - L2^2 - L3^2), (4 * A * L2^3 - 4 * A * L2 * L3^2) * C1 + (4 * B^2 * L2^2 - L2^4 + 2 * L2^2 * L3^2 - L3^4) ]
|
---|
123 | Condition:
|
---|
124 | Green list: [ A^2 + B^2, L2^2 - L3^2 ]
|
---|
125 | Red list: [ B^2, L3, A, L2 ]
|
---|
126 | Basis: [ (4 * B^2 * L3^2) ]
|
---|
127 | Condition:
|
---|
128 | Green list: [ A ]
|
---|
129 | Red list: [ L3, B, L2, B^4 - 2 * B^2 * L3^2 - L2^4 + L3^4 ]
|
---|
130 | Basis: [ (B^4 - 2 * B^2 * L3^2 - L2^4 + L3^4) ]
|
---|
131 | Condition:
|
---|
132 | Green list: [ A, B^4 - 2 * B^2 * L3^2 - L2^4 + L3^4 ]
|
---|
133 | Red list: [ L3, B, L2 ]
|
---|
134 | Basis: [ ( - 2 * B * L2) * S1 + (B^2 + L2^2 - L3^2), (4 * B^2 * L2^2) * C1^2 + ( - 2 * B^2 * L2^2 + 2 * L2^4 - 2 * L2^2 * L3^2), (2 * B * L2 * L3) * S2 + ( - 2 * B^2 * L2) * C1, ( - 2 * L2 * L3) * C2 + (B^2 - L2^2 - L3^2) ]
|
---|
135 | Condition:
|
---|
136 | Green list: [ A, B ]
|
---|
137 | Red list: [ L3, L2, L2^2 - L3^2 ]
|
---|
138 | Basis: [ (L2^2 - L3^2) ]
|
---|
139 | Condition:
|
---|
140 | Green list: [ A, B, L2^2 - L3^2 ]
|
---|
141 | Red list: [ L3, L2 ]
|
---|
142 | Basis: [ (1) * C1^2 + (1) * S1^2 + ( - 1), (L3) * S2, (L3) * C2 + (L2) ]
|
---|
143 | real time : 27.650 secs
|
---|
144 | run time : 14.567 secs
|
---|
145 | VALUES--> NIL
|
---|
146 |
|
---|
147 | EVAL> (WARN "Test 6 - Circle of Apollonius")
|
---|
148 | Warning: Test 6 - Circle of Apollonius
|
---|
149 | real time : 0.000 secs
|
---|
150 | run time : 0.000 secs
|
---|
151 | VALUES--> (NIL)
|
---|
152 |
|
---|
153 | EVAL> (STRING-GROBNER-SYSTEM
|
---|
154 | "[2*x1-u1,2*x2-u2,2*x3-u1,2*x4-u2,x5*u1-x6*u2,x5*u2+x6*u1-u1*u2,x1^2-2*x1*x7+x7^2+x8^2-x7^2-x8^2+2*x8*x2-x2^2,x1^2-2*x1*x7+x7^2+x6^2-2*x6*x8+x8^2-x3^2+2*x3*x7-x7^2-x4^2+2*x4*x8-x8^2,1-s*x5^2+2*s*x5*x7-s*x7^2-s*x6^2+2*s*x6*x8-s*x8^2+s*x1^2-2*s*x1*x7+s*x7^2+s*x8^2]"
|
---|
155 | '(S X1 X2 X3 X4 X5 X6 X7 X8) '(U1 U2))
|
---|
156 | Condition:
|
---|
157 | Green list: [ U2, U1 ]
|
---|
158 | Red list: [ ]
|
---|
159 | Basis: [ (2) * X1, (2) * X2, (2) * X3, (2) * X4, ( - 4) * X6^2 + (8) * X6 * X8, (4) * S * X5^2 + ( - 8) * S * X5 * X7 + ( - 4) ]
|
---|
160 | Condition:
|
---|
161 | Green list: [ U2 ]
|
---|
162 | Red list: [ U1 ]
|
---|
163 | Basis: [ ( - 4 * U1^3) ]
|
---|
164 | Condition:
|
---|
165 | Green list: [ U1 ]
|
---|
166 | Red list: [ U2 ]
|
---|
167 | Basis: [ (4 * U2^2) ]
|
---|
168 | Condition:
|
---|
169 | Green list: [ ]
|
---|
170 | Red list: [ U1, U1^2 - U2^2, U2, U1^2 + U2^2 ]
|
---|
171 | Basis: [ ( - U1^2 - U2^2) * X6 + (U1^2 * U2), ( - 4 * U1^4 * U2 + 4 * U2^5) * X8 + (3 * U1^4 * U2^2 - 2 * U1^2 * U2^4 - U2^6), (2 * U1^6 * U2^2 - 2 * U1^4 * U2^4) * S + (4 * U1^6 - 4 * U1^2 * U2^4), (2) * X1 + ( - U1), (2) * X2 + ( - U2), (2) * X3 + ( - U1), (2) * X4 + ( - U2), (U1^2 * U2 + U2^3) * X5 + ( - U1 * U2^3), ( - 4 * U1^5 + 4 * U1 * U2^4) * X7 + (U1^6 + 2 * U1^4 * U2^2 - 3 * U1^2 * U2^4) ]
|
---|
172 | Condition:
|
---|
173 | Green list: [ U1^2 + U2^2 ]
|
---|
174 | Red list: [ U1, U2 ]
|
---|
175 | Basis: [ ( - U2^3) ]
|
---|
176 | Condition:
|
---|
177 | Green list: [ U1^2 - U2^2 ]
|
---|
178 | Red list: [ U1, U2 ]
|
---|
179 | Basis: [ (4 * U1) * X7 + ( - 4 * U2) * X8, ( - 4 * U2^3) * S * X8 + (U2^4) * S + ( - 4 * U2^2), ( - 2 * U2^2) * X6 + (U2^3), (2) * X1 + ( - U1), (2) * X2 + ( - U2), (2) * X3 + ( - U1), (2) * X4 + ( - U2), (2 * U2^3) * X5 + ( - U1 * U2^3) ]
|
---|
180 | real time : 9.217 secs
|
---|
181 | run time : 3.917 secs
|
---|
182 | VALUES--> NIL
|
---|
183 |
|
---|
184 | EVAL> (WARN "Test 7")
|
---|
185 | Warning: Test 7
|
---|
186 | real time : 0.017 secs
|
---|
187 | run time : 0.000 secs
|
---|
188 | VALUES--> (NIL)
|
---|
189 |
|
---|
190 | EVAL> (SETF FL
|
---|
191 | (PARSE-STRING-TO-SORTED-ALIST
|
---|
192 | "[a^2*x^2*y+b*x^2*y+a^3*b*x*y+a^3*c*x*y,c^2*a*x^2+c^2*b*x^2+b*y+4]"
|
---|
193 | '(X Y A B C)))
|
---|
194 | real time : 0.117 secs
|
---|
195 | run time : 0.050 secs
|
---|
196 | VALUES--> (((((2 1 2 0 0) . 1) ((2 1 0 1 0) . 1) ((1 1 3 1 0) . 1)
|
---|
197 | ((1 1 3 0 1) . 1))
|
---|
198 | (((2 0 1 0 2) . 1) ((2 0 0 1 2) . 1) ((0 1 0 1 0) . 1)
|
---|
199 | ((0 0 0 0 0) . 4))))
|
---|
200 |
|
---|
201 | EVAL> (SETF CFL (MAKE-COLORED-POLY-LIST FL 2))
|
---|
202 | real time : 0.000 secs
|
---|
203 | run time : 0.000 secs
|
---|
204 | VALUES--> (((((2 1) (((2 0 0) . 1) ((0 1 0) . 1)) . :WHITE)
|
---|
205 | ((1 1) (((3 1 0) . 1) ((3 0 1) . 1)) . :WHITE))
|
---|
206 | (((2 0) (((1 0 2) . 1) ((0 1 2) . 1)) . :WHITE)
|
---|
207 | ((0 1) (((0 1 0) . 1)) . :WHITE)
|
---|
208 | ((0 0) (((0 0 0) . 4)) . :WHITE))))
|
---|
209 |
|
---|
210 | EVAL> (COND-SYSTEM-PRINT (DETERMINE CFL) '(X Y) '(A B C))
|
---|
211 | Condition:
|
---|
212 | Green list: [ ]
|
---|
213 | Red list: [ A * C^2 + B * C^2, A^2 + B ]
|
---|
214 | Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
|
---|
215 | Condition:
|
---|
216 | Green list: [ A^2 + B ]
|
---|
217 | Red list: [ A * C^2 + B * C^2, A^3 * B + A^3 * C ]
|
---|
218 | Basis: [ (A^3 * B + A^3 * C) * X * Y, (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
|
---|
219 | Condition:
|
---|
220 | Green list: [ A^2 - C, B + C ]
|
---|
221 | Red list: [ A * C^2 + B * C^2 ]
|
---|
222 | Basis: [ (A * C^2 + B * C^2) * X^2 + (B) * Y + (4) ]
|
---|
223 | Condition:
|
---|
224 | Green list: [ A * C^2 + B * C^2 ]
|
---|
225 | Red list: [ B, A^2 + B ]
|
---|
226 | Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (B) * Y + (4) ]
|
---|
227 | Condition:
|
---|
228 | Green list: [ A * C^2 - C^2, A^2 + B, B * C^2 + C^2 ]
|
---|
229 | Red list: [ B, A^3 * B + A^3 * C ]
|
---|
230 | Basis: [ (A^3 * B + A^3 * C) * X * Y, (B) * Y + (4) ]
|
---|
231 | Condition:
|
---|
232 | Green list: [ B + 1, A - 1, C - 1 ]
|
---|
233 | Red list: [ B ]
|
---|
234 | Basis: [ (B) * Y + (4) ]
|
---|
235 | Condition:
|
---|
236 | Green list: [ B, C^2 ]
|
---|
237 | Red list: [ 4, A^2 + B ]
|
---|
238 | Basis: [ (A^2 + B) * X^2 * Y + (A^3 * B + A^3 * C) * X * Y, (4) ]
|
---|
239 | Condition:
|
---|
240 | Green list: [ A^2, A * C^2, B ]
|
---|
241 | Red list: [ 4 ]
|
---|
242 | Basis: [ (4) ]
|
---|
243 | real time : 2.967 secs
|
---|
244 | run time : 0.900 secs
|
---|
245 | VALUES--> NIL
|
---|
246 |
|
---|
247 | EVAL> (WARN "Test 8")
|
---|
248 | Warning: Test 8
|
---|
249 | real time : 0.000 secs
|
---|
250 | run time : 0.000 secs
|
---|
251 | VALUES--> (NIL)
|
---|
252 |
|
---|
253 | EVAL> (SETF FL (PARSE-STRING-TO-SORTED-ALIST "[a^2*x+5*a]" '(X A)))
|
---|
254 | real time : 0.017 secs
|
---|
255 | run time : 0.000 secs
|
---|
256 | VALUES--> (((((1 2) . 1) ((0 1) . 5))))
|
---|
257 |
|
---|
258 | EVAL> (SETF CFL (MAKE-COLORED-POLY-LIST FL 1))
|
---|
259 | real time : 0.000 secs
|
---|
260 | run time : 0.000 secs
|
---|
261 | VALUES--> (((((1) (((2) . 1)) . :WHITE) ((0) (((1) . 5)) . :WHITE))))
|
---|
262 |
|
---|
263 | EVAL> (COND-SYSTEM-PRINT (DETERMINE CFL) '(X) '(A))
|
---|
264 | Condition:
|
---|
265 | Green list: [ ]
|
---|
266 | Red list: [ A^2 ]
|
---|
267 | Basis: [ (A^2) * X + (5 * A) ]
|
---|
268 | Condition:
|
---|
269 | Green list: [ A^2 ]
|
---|
270 | Red list: [ ]
|
---|
271 | Basis: [ ]
|
---|
272 | real time : 0.100 secs
|
---|
273 | run time : 0.017 secs
|
---|
274 | VALUES--> NIL
|
---|
275 |
|
---|
276 | EVAL> (WARN "Test 9 - the discriminant of a quadratic polynomial")
|
---|
277 | Warning: Test 9 - the discriminant of a quadratic polynomial
|
---|
278 | real time : 0.017 secs
|
---|
279 | run time : 0.000 secs
|
---|
280 | VALUES--> (NIL)
|
---|
281 |
|
---|
282 | EVAL> (STRING-GROBNER-SYSTEM "[a*x^2+b*x+c,2*a*x+b]" '(X) '(A B C)
|
---|
283 | :COVER (LIST (LIST "[]" "[a]")))
|
---|
284 | Condition:
|
---|
285 | Green list: [ ]
|
---|
286 | Red list: [ A, 4 * A * C - B^2 ]
|
---|
287 | Basis: [ (4 * A * C - B^2) ]
|
---|
288 | Condition:
|
---|
289 | Green list: [ 4 * A * C - B^2 ]
|
---|
290 | Red list: [ A ]
|
---|
291 | Basis: [ (2 * A) * X + (B) ]
|
---|
292 | real time : 0.583 secs
|
---|
293 | run time : 0.083 secs
|
---|
294 | VALUES--> NIL
|
---|
295 |
|
---|
296 | EVAL> (WARN "Test 10 - the discriminant of a cubic polynomial")
|
---|
297 | Warning: Test 10 - the discriminant of a cubic polynomial
|
---|
298 | real time : 0.017 secs
|
---|
299 | run time : 0.000 secs
|
---|
300 | VALUES--> (NIL)
|
---|
301 |
|
---|
302 | EVAL> (STRING-GROBNER-SYSTEM "[x^3+p*x+q,3*x^2+p]" '(X) '(P Q) :COVER
|
---|
303 | (LIST (LIST "[]" "[]")))
|
---|
304 | Condition:
|
---|
305 | Green list: [ ]
|
---|
306 | Red list: [ P, 4 * P^3 + 27 * Q^2 ]
|
---|
307 | Basis: [ ( - 4 * P^3 - 27 * Q^2) ]
|
---|
308 | Condition:
|
---|
309 | Green list: [ 4 * P^3 + 27 * Q^2 ]
|
---|
310 | Red list: [ P ]
|
---|
311 | Basis: [ (2 * P) * X + (3 * Q) ]
|
---|
312 | Condition:
|
---|
313 | Green list: [ P ]
|
---|
314 | Red list: [ Q ]
|
---|
315 | Basis: [ (3 * Q) ]
|
---|
316 | Condition:
|
---|
317 | Green list: [ P, Q ]
|
---|
318 | Red list: [ ]
|
---|
319 | Basis: [ (3) * X^2 ]
|
---|
320 | real time : 0.450 secs
|
---|
321 | run time : 0.117 secs
|
---|
322 | VALUES--> NIL
|
---|
323 |
|
---|
324 | EVAL> (WARN "Test 11 - the discriminant of a quartic polynomial")
|
---|
325 | Warning: Test 11 - the discriminant of a quartic polynomial
|
---|
326 | real time : 0.000 secs
|
---|
327 | run time : 0.017 secs
|
---|
328 | VALUES--> (NIL)
|
---|
329 |
|
---|
330 | EVAL> (STRING-GROBNER-SYSTEM "[x^4+p*x^2+q*x+r,4*x^3+2*p*x+q]" '(X)
|
---|
331 | '(P Q R) :COVER (LIST (LIST "[]" "[]")))
|
---|
332 | Condition:
|
---|
333 | Green list: [ ]
|
---|
334 | Red list: [ 16 * P^4 * R^2 - 4 * P^3 * Q^2 * R - 128 * P^2 * R^3 + 144 * P * Q^2 * R^2 - 27 * Q^4 * R + 256 * R^4, P, P^2 * Q + 12 * Q * R ]
|
---|
335 | Basis: [ (64 * P^5 * R^2 - 16 * P^4 * Q^2 * R - 512 * P^3 * R^3 + 576 * P^2 * Q^2 * R^2 - 108 * P * Q^4 * R + 1024 * P * R^4) ]
|
---|
336 | Condition:
|
---|
337 | Green list: [ R ]
|
---|
338 | Red list: [ 4 * P^3 + 27 * Q^2, P, Q ]
|
---|
339 | Basis: [ ( - 4 * P^5 * Q^2 - 27 * P^2 * Q^4) ]
|
---|
340 | Condition:
|
---|
341 | Green list: [ 16 * P^4 * R - 4 * P^3 * Q^2 - 128 * P^2 * R^2 + 144 * P * Q^2 * R - 27 * Q^4 + 256 * R^3 ]
|
---|
342 | Red list: [ P, P^2 * Q + 12 * Q * R ]
|
---|
343 | Basis: [ (2 * P^2 * Q + 24 * Q * R) * X + ( - 8 * P^2 * R + 3 * P * Q^2 + 32 * R^2) ]
|
---|
344 | Condition:
|
---|
345 | Green list: [ P^2 * Q + 12 * Q * R ]
|
---|
346 | Red list: [ P, 8 * P^2 * R - 3 * P * Q^2 - 32 * R^2 ]
|
---|
347 | Basis: [ ( - 8 * P^2 * R + 3 * P * Q^2 + 32 * R^2) ]
|
---|
348 | Condition:
|
---|
349 | Green list: [ Q, R ]
|
---|
350 | Red list: [ P ]
|
---|
351 | Basis: [ ( - 2 * P^3) * X ]
|
---|
352 | Condition:
|
---|
353 | Green list: [ P^2 * Q + 12 * Q * R, 8 * P^2 * R - 3 * P * Q^2 - 32 * R^2, 3 * P * Q^3 + 128 * Q * R^2, 32 * P * Q * R - 9 * Q^3, 27 * Q^5 + 4096 * Q * R^3, 2 * P^3 - 8 * P * R + 9 * Q^2 ]
|
---|
354 | Red list: [ P ]
|
---|
355 | Basis: [ (2 * P) * X^2 + (3 * Q) * X + (4 * R) ]
|
---|
356 | Condition:
|
---|
357 | Green list: [ P ]
|
---|
358 | Red list: [ R, Q ]
|
---|
359 | Basis: [ (Q^2 * R) ]
|
---|
360 | Condition:
|
---|
361 | Green list: [ P, R ]
|
---|
362 | Red list: [ Q ]
|
---|
363 | Basis: [ (54 * Q^4) ]
|
---|
364 | Condition:
|
---|
365 | Green list: [ P, Q ]
|
---|
366 | Red list: [ R ]
|
---|
367 | Basis: [ (4 * R) ]
|
---|
368 | Condition:
|
---|
369 | Green list: [ P, Q, R ]
|
---|
370 | Red list: [ ]
|
---|
371 | Basis: [ (4) * X^3 ]
|
---|
372 | real time : 10.733 secs
|
---|
373 | run time : 5.367 secs
|
---|
374 | VALUES--> NIL
|
---|
375 |
|
---|
376 | EVAL> (DRIBBLE)
|
---|