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