1 | EVAL> (STRING-GROBNER-SYSTEM
|
---|
2 | "[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]"
|
---|
3 | '(C2 S2 C1 S1) '(A B L2 L3) :COVER '(("[]" "[l2,l3]")))
|
---|
4 | Condition:
|
---|
5 | Green list: [ ]
|
---|
6 | Red list: [ L3, A^2 + B^2, L2, A ]
|
---|
7 | 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) ]
|
---|
8 | Condition:
|
---|
9 | Green list: [ A^2 + B^2 ]
|
---|
10 | Red list: [ L3, B * L2^2 - B * L3^2, L2, A ]
|
---|
11 | 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 + ( - 2 * B^2 * L2^4 + 4 * B^2 * L2^2 * L3^2 - 2 * B^2 * L3^4), ( - 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) ]
|
---|
12 | Condition:
|
---|
13 | Green list: [ A^2 + B^2, L2^2 - L3^2 ]
|
---|
14 | Red list: [ B^2, L3, A, L2 ]
|
---|
15 | Basis: [ (4 * B^2 * L3^2) ]
|
---|
16 | Condition:
|
---|
17 | Green list: [ A ]
|
---|
18 | Red list: [ L3, B, L2 ]
|
---|
19 | Basis: [ ( - 2 * B * L2) * S1 + (B^2 + L2^2 - L3^2), ( - 2 * L2 * L3) * C2 + (B^2 - L2^2 - L3^2) ]
|
---|
20 | Condition:
|
---|
21 | Green list: [ A, B ]
|
---|
22 | Red list: [ L3, L2, L2^2 - L3^2 ]
|
---|
23 | Basis: [ (L2^2 - L3^2) ]
|
---|
24 | Condition:
|
---|
25 | Green list: [ A, B, L2^2 - L3^2 ]
|
---|
26 | Red list: [ L3, L2 ]
|
---|
27 | Basis: [ ]
|
---|
28 | real time : 10.183 secs
|
---|
29 | run time : 9.017 secs
|
---|
30 | VALUES--> NIL
|
---|