ID: 54.0 Parent: 48.0 Tree
Exchanged to:
55.0
2<->x6^2*x9^3*x3^4-x6*x9^3*x3^4-x9^2+x6
PDER
VAR\IND x9 x6 x3
x3 0 0 1
x6 0 1 0
x9 1 0 0
x10 -(6*x6*x9^2*x3^4-3*x9^2*x3
^4)*x10^2
-2*x9^3*x3^4*x10^2 -(8*x6*x9^3*x3^3-4*x9^3*x3
^3)*x10^2
FOCUS
x9^2*x3^6*x6^2-x6^3*x3^6+x9^3*x3^10*x6^3-x9^3*x3^10*x6^4
x9*x3^2*x6
x6
x9*x3^2
x9*x3
x9
3*x6^2*x9^2*x3^4-3*x6*x9^2*x3^4-2*x9
DEP
x10*(2*x6*x9^3*x3^4-x9^3*x3^4+1)-1
MAP
x1 x9*x3^3*x6
x2 x6*x3
x3 x3
IMAP
x3 x3
x6 x2/x3
x9 x1/x3^2/x2
x10 x2^3*x3^3/(x2^3*x3^3+2*x1^3*x2-x1^3*x3)
STACK
WBO (dim: 3)
J
-x6^2*x9^3*x3^4+x6*x9^3*x3^4+x9^2-x6 1
c 1
Nempty
(E,a)
Ea
x6 1
x3 3
C empty
TBO (dim: 3)
J
-x6^2*x9^3*x3^4+x6*x9^3*x3^4+x9^2-x6 1
Nempty
E
x6
x3
EM
x6
x3
C empty
SBO (dim: 3)
J
-x6^2*x9^3*x3^4+x6*x9^3*x3^4+x9^2-x6 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
55.0
2<->x6^2*x9^3*x3^4-x6*x9^3*x3^4-x9^2+x6
ID: 54.0 Parent: 48.0 Tree