[1] | 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
|
---|