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