[1] | 1 | Condition:
|
---|
| 2 | Green list: [ X2, X3, Y3 ]
|
---|
| 3 | Red list: [ ]
|
---|
| 4 | Basis: [ ( - 1) * X * V1 + (1) * Y * U1, ( - 1) * X * V2 + (1) * Y * U2, ( - 1) * X * V3 + (1) * Y * U3, ( - 1) * Y * U1 * V2 + (1) * Y * V1 * U2, ( - 1) * Y * U1 * V3 + (1) * Y * V1 * U3, ( - 1) * Y * U2 * V3 + (1) * Y * V2 * U3 ]
|
---|
| 5 | Condition:
|
---|
| 6 | Green list: [ X2, X3 ]
|
---|
| 7 | Red list: [ Y3 ]
|
---|
| 8 | Basis: [ ( - 1) * X * V3 + (Y3) * X + (1) * Y * U3 + ( - Y3) * U3, (Y3) * V1, (Y3) * V2, (2 * Y3) * Y * U1, (2 * Y3) * Y * U2 ]
|
---|
| 9 | Condition:
|
---|
| 10 | Green list: [ X2 ]
|
---|
| 11 | Red list: [ X3 ]
|
---|
| 12 | Basis: [ ( - 1) * X * V3 + (Y3) * X + (1) * Y * U3 + ( - X3) * Y + ( - Y3) * U3 + (X3) * V3, (X3) * U1 + (Y3) * V1, (X3) * U2 + (Y3) * V2, ( - X3) * Y * V1 * U3 + ( - Y3) * Y * V1 * V3 + (X3^2 + Y3^2) * Y * V1 + (X3 * Y3) * V1 * U3 + ( - X3^2) * V1 * V3, (X3) * Y * V2 * U3 + (Y3) * Y * V2 * V3 + ( - X3^2 - Y3^2) * Y * V2 + ( - X3 * Y3) * V2 * U3 + (X3^2) * V2 * V3, ( - X3) * X * V1 + ( - Y3) * Y * V1, ( - X3) * X * V2 + ( - Y3) * Y * V2 ]
|
---|
| 13 | Condition:
|
---|
| 14 | Green list: [ X3, Y3 ]
|
---|
| 15 | Red list: [ X2 ]
|
---|
| 16 | Basis: [ ( - X2) * U1, (X2) * U3, ( - X2) * Y * V1 * U2 + (X2^2) * Y * V1 + ( - X2^2) * V1 * V2, (X2) * Y * U2 * V3 + ( - X2^2) * Y * V3 + (X2^2) * V2 * V3, (X2) * X * V1, ( - 1) * X * V2 + (1) * Y * U2 + ( - X2) * Y + (X2) * V2, (X2) * X * V3 ]
|
---|
| 17 | Condition:
|
---|
| 18 | Green list: [ X3 ]
|
---|
| 19 | Red list: [ X2, Y3 ]
|
---|
| 20 | Basis: [ ( - X2) * U1 + (Y3) * V1, (Y3) * V2, (X2) * U3, (2 * Y3) * Y * U2 + ( - 2 * X2 * Y3) * Y, ( - 2 * X2^3 * Y3) * Y * V1, (2 * X2 * Y3) * Y * V3, (4 * X2 * Y3^2) * X * Y, ( - 2 * X2^4) * X * V1, (X2) * X * V3 + ( - X2 * Y3) * X ]
|
---|
| 21 | Condition:
|
---|
| 22 | Green list: [ - X2 + X3, Y3 ]
|
---|
| 23 | Red list: [ - X3, X3 ]
|
---|
| 24 | Basis: [ (X3) * U2 + (X3^2), ( - X3) * U3 + (X3^2), ( - X3) * Y * U1 * V2 + ( - X3^2) * V1 * V2, ( - X3) * Y * U1 * V3 + (X3^2) * V1 * V3, ( - 1) * X * V1 + (1) * Y * U1, ( - X3) * X * V2 + ( - X3^2) * V2, ( - X3) * X * V3 + (X3^2) * V3 ]
|
---|
| 25 | Condition:
|
---|
| 26 | Green list: [ - X2 + X3 ]
|
---|
| 27 | Red list: [ - X3, X3, Y3 ]
|
---|
| 28 | Basis: [ (Y3) * V1, (X3) * U2 + (Y3) * V2 + (X3^2), ( - X3) * U3 + (X3^2), (2 * Y3) * Y * U1, (X3 * Y3) * Y * V2 * V3 + ( - X3 * Y3^2) * Y * V2, ( - X3) * X * V2 + ( - Y3) * Y * V2 + ( - X3^2) * V2, ( - X3) * X * V3 + (X3 * Y3) * X + (X3^2) * V3 + ( - X3^2 * Y3) ]
|
---|
| 29 | Condition:
|
---|
| 30 | Green list: [ ]
|
---|
| 31 | Red list: [ X2, X3, - X2 + X3, Y3 ]
|
---|
| 32 | Basis: [ ( - X2 + X3) * U1 + (Y3) * V1, (X3) * U2 + (Y3) * V2 + ( - X2 * X3), (X2) * U3 + ( - X2 * X3), ( - X2 * Y3) * Y * V1 * V2 + (X2^2 * X3 - X2 * X3^2) * V1 * V2, (X2 * Y3) * Y * V1 * V3 + ( - X2 * Y3^2) * Y * V1 + ( - X2^2 * X3 + X2 * X3^2) * V1 * V3 + (X2^2 * X3 * Y3 - X2 * X3^2 * Y3) * V1, ( - X2 * Y3) * Y * V2 * V3 + (X2 * Y3^2) * Y * V2 + (X2^2 * X3 - X2 * X3^2) * V2 * V3 + ( - X2^2 * X3 * Y3 + X2 * X3^2 * Y3) * V2, (X2 - X3) * X * V1 + ( - Y3) * Y * V1, ( - X3) * X * V2 + ( - Y3) * Y * V2 + (X2 * X3) * V2, (X2) * X * V3 + ( - X2 * Y3) * X + ( - X2 * X3) * V3 + (X2 * X3 * Y3) ]
|
---|
| 33 | Condition:
|
---|
| 34 | Green list: [ Y3 ]
|
---|
| 35 | Red list: [ X2, X3, - X2 + X3 ]
|
---|
| 36 | Basis: [ ( - X2 + X3) * U1, (X3) * U2 + ( - X2 * X3), (X2) * U3 + ( - X2 * X3), (X2^2 * X3 - X2 * X3^2) * V1 * V2, ( - X2^2 * X3 + X2 * X3^2) * V1 * V3, (X2^2 * X3 - X2 * X3^2) * V2 * V3, (X2 - X3) * X * V1, ( - X3) * X * V2 + (X2 * X3) * V2, (X2) * X * V3 + ( - X2 * X3) * V3 ]
|
---|