1 | (time (STRING-GROBNER-SYSTEM
|
---|
2 | "[A0*X^4+A1*X^3+A2*X^2+A3*X+A4,4*A0*X^3+3*A1*X^2+2*A2*X+A3]"
|
---|
3 | '(X)
|
---|
4 | '(A0 A1 A2 A3 A4)
|
---|
5 | :COVER (LIST (LIST "[]" "[A0]"))
|
---|
6 | :MAIN-ORDER #'LEX>
|
---|
7 | :PARAMETER-ORDER #'GREVLEX>))
|
---|
8 | Condition:
|
---|
9 | Green list: [ ]
|
---|
10 | Red list: [ A1^2 * A2^2 * A3^2 - 4 * A0 * A2^3 * A3^2 - 4 * A1^3 * A3^3 + 18 * A0 * A1 * A2 * A3^3 - 27 * A0^2 * A3^4 - 4 * A1^2 * A2^3 * A4 + 16 * A0 * A2^4 * A4 + 18 * A1^3 * A2 * A3 * A4 - 80 * A0 * A1 * A2^2 * A3 * A4 - 6 * A0 * A1^2 * A3^2 * A4 + 144 * A0^2 * A2 * A3^2 * A4 - 27 * A1^4 * A4^2 + 144 * A0 * A1^2 * A2 * A4^2 - 128 * A0^2 * A2^2 * A4^2 - 192 * A0^2 * A1 * A3 * A4^2 + 256 * A0^3 * A4^3, 3 * A1^2 - 8 * A0 * A2, A0, A1^2 * A2^2 - 4 * A0 * A2^3 - 3 * A1^3 * A3 + 14 * A0 * A1 * A2 * A3 - 18 * A0^2 * A3^2 - 6 * A0 * A1^2 * A4 + 16 * A0^2 * A2 * A4 ]
|
---|
11 | Basis: [ ( - 144 * A0 * A1^6 * A2^2 * A3^2 + 1344 * A0^2 * A1^4 * A2^3 * A3^2 - 4096 * A0^3 * A1^2 * A2^4 * A3^2 + 4096 * A0^4 * A2^5 * A3^2 + 576 * A0 * A1^7 * A3^3 - 5664 * A0^2 * A1^5 * A2 * A3^3 + 17920 * A0^3 * A1^3 * A2^2 * A3^3 - 18432 * A0^4 * A1 * A2^3 * A3^3 + 3888 * A0^3 * A1^4 * A3^4 - 20736 * A0^4 * A1^2 * A2 * A3^4 + 27648 * A0^5 * A2^2 * A3^4 + 576 * A0 * A1^6 * A2^3 * A4 - 5376 * A0^2 * A1^4 * A2^4 * A4 + 16384 * A0^3 * A1^2 * A2^5 * A4 - 16384 * A0^4 * A2^6 * A4 - 2592 * A0 * A1^7 * A2 * A3 * A4 + 25344 * A0^2 * A1^5 * A2^2 * A3 * A4 - 79872 * A0^3 * A1^3 * A2^3 * A3 * A4 + 81920 * A0^4 * A1 * A2^4 * A3 * A4 + 864 * A0^2 * A1^6 * A3^2 * A4 - 25344 * A0^3 * A1^4 * A2 * A3^2 * A4 + 116736 * A0^4 * A1^2 * A2^2 * A3^2 * A4 - 147456 * A0^5 * A2^3 * A3^2 * A4 + 3888 * A0 * A1^8 * A4^2 - 41472 * A0^2 * A1^6 * A2 * A4^2 + 156672 * A0^3 * A1^4 * A2^2 * A4^2 - 245760 * A0^4 * A1^2 * A2^3 * A4^2 + 131072 * A0^5 * A2^4 * A4^2 + 27648 * A0^3 * A1^5 * A3 * A4^2 - 147456 * A0^4 * A1^3 * A2 * A3 * A4^2 + 196608 * A0^5 * A1 * A2^2 * A3 * A4^2 - 36864 * A0^4 * A1^4 * A4^3 + 196608 * A0^5 * A1^2 * A2 * A4^3 - 262144 * A0^6 * A2^2 * A4^3) ]
|
---|
12 | Condition:
|
---|
13 | Green list: [ A1^2 * A2^2 * A3^2 - 4 * A0 * A2^3 * A3^2 - 4 * A1^3 * A3^3 + 18 * A0 * A1 * A2 * A3^3 - 27 * A0^2 * A3^4 - 4 * A1^2 * A2^3 * A4 + 16 * A0 * A2^4 * A4 + 18 * A1^3 * A2 * A3 * A4 - 80 * A0 * A1 * A2^2 * A3 * A4 - 6 * A0 * A1^2 * A3^2 * A4 + 144 * A0^2 * A2 * A3^2 * A4 - 27 * A1^4 * A4^2 + 144 * A0 * A1^2 * A2 * A4^2 - 128 * A0^2 * A2^2 * A4^2 - 192 * A0^2 * A1 * A3 * A4^2 + 256 * A0^3 * A4^3 ]
|
---|
14 | Red list: [ A1^2 * A2^2 - 4 * A0 * A2^3 - 3 * A1^3 * A3 + 14 * A0 * A1 * A2 * A3 - 18 * A0^2 * A3^2 - 6 * A0 * A1^2 * A4 + 16 * A0^2 * A2 * A4, A0, 3 * A1^2 - 8 * A0 * A2 ]
|
---|
15 | Basis: [ ]
|
---|
16 | Condition:
|
---|
17 | Green list: [ A1^2 * A2^2 - 4 * A0 * A2^3 - 3 * A1^3 * A3 + 14 * A0 * A1 * A2 * A3 - 18 * A0^2 * A3^2 - 6 * A0 * A1^2 * A4 + 16 * A0^2 * A2 * A4 ]
|
---|
18 | Red list: [ A1^2 * A2 * A3 - 4 * A0 * A2^2 * A3 + 3 * A0 * A1 * A3^2 - 9 * A1^3 * A4 + 32 * A0 * A1 * A2 * A4 - 48 * A0^2 * A3 * A4, A0, 3 * A1^2 - 8 * A0 * A2 ]
|
---|
19 | Basis: [ ( - 16 * A0 * A1^2 * A2 * A3 + 64 * A0^2 * A2^2 * A3 - 48 * A0^2 * A1 * A3^2 + 144 * A0 * A1^3 * A4 - 512 * A0^2 * A1 * A2 * A4 + 768 * A0^3 * A3 * A4) ]
|
---|
20 | Condition:
|
---|
21 | Green list: [ A1^2 * A2^2 - 4 * A0 * A2^3 - 3 * A1^3 * A3 + 14 * A0 * A1 * A2 * A3 - 18 * A0^2 * A3^2 - 6 * A0 * A1^2 * A4 + 16 * A0^2 * A2 * A4, A1^2 * A2 * A3 - 4 * A0 * A2^2 * A3 + 3 * A0 * A1 * A3^2 - 9 * A1^3 * A4 + 32 * A0 * A1 * A2 * A4 - 48 * A0^2 * A3 * A4, A2^2 * A3^2 - 3 * A1 * A3^3 - 4 * A2^3 * A4 + 14 * A1 * A2 * A3 * A4 - 6 * A0 * A3^2 * A4 - 18 * A1^2 * A4^2 + 16 * A0 * A2 * A4^2, A1 * A2 * A3^2 - 9 * A0 * A3^3 - 4 * A1 * A2^2 * A4 + 3 * A1^2 * A3 * A4 + 32 * A0 * A2 * A3 * A4 - 48 * A0 * A1 * A4^2, A1^2 * A3^2 - 3 * A0 * A2 * A3^2 - 3 * A1^2 * A2 * A4 + 8 * A0 * A2^2 * A4 + 4 * A0 * A1 * A3 * A4 - 32 * A0^2 * A4^2 ]
|
---|
22 | Red list: [ A0, 3 * A1^2 - 8 * A0 * A2 ]
|
---|
23 | Basis: [ ]
|
---|
24 | Condition:
|
---|
25 | Green list: [ 3 * A1^2 - 8 * A0 * A2 ]
|
---|
26 | Red list: [ A0, A1 * A2 - 6 * A0 * A3 ]
|
---|
27 | Basis: [ ( - 2 * A1 * A2 + 12 * A0 * A3) * X + ( - A1 * A3 + 16 * A0 * A4) ]
|
---|
28 | Condition:
|
---|
29 | Green list: [ 3 * A1^2 - 8 * A0 * A2, A1 * A2 - 6 * A0 * A3, 4 * A2^2 - 9 * A1 * A3 ]
|
---|
30 | Red list: [ A0, A1 * A3 - 16 * A0 * A4 ]
|
---|
31 | Basis: [ ( - A1 * A3 + 16 * A0 * A4) ]
|
---|
32 | Condition:
|
---|
33 | Green list: [ A2^2 - 36 * A0 * A4, 3 * A1^2 - 8 * A0 * A2, A1 * A2 - 6 * A0 * A3, A1 * A3 - 16 * A0 * A4, 3 * A3^2 - 8 * A2 * A4, A2 * A3 - 6 * A1 * A4 ]
|
---|
34 | Red list: [ A0 ]
|
---|
35 | Basis: [ ]
|
---|
36 | real time : 50.133 secs
|
---|
37 | run time : 45.150 secs
|
---|