ID: 324.0 Parent: 318.0 Tree
Exchanged to:
326.0
1<->x16*x20-1
PDER
VAR\IND x16 x19 x20
x16 1 0 0
x19 0 1 0
x20 0 0 1
x21 -x20*x21^2 0 -x16*x21^2
FOCUS
x16^4*x20^24*x19^26-x19^26*x20^23*x16^3
x16*x20^5*x19^5
x16*x20^4*x19^4
x19^7*x20^6*x16
x16*x20^3*x19^3
x19^5*x20^4*x16
x19^4*x20^3*x16
x19^3*x20^2*x16
x19^3*x20^2
x19^2*x20
x19
DEP
x21*x16*x20-1
MAP
x1 x16^2*x20^12*x19^13
x2 x20^7*x19^8*x16
x3 x20^8*x19^9*x16
IMAP
x16 x1/x3^5*x2^4
x19 x2^4/x1/x3^2
x20 x3^3/x2^5*x1
x21 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
x16*x20-1 1
c 1
Nempty
(E,a)
Ea
x19 10
C empty
TBO (dim: 3)
J
x16*x20-1 1
Nempty
E
x19
EMempty
C empty
SBO (dim: 3)
J
x16*x20-1 1
Nempty
Hempty
E
x19
C empty
Exchanged to:
326.0
1<->x16*x20-1
ID: 324.0 Parent: 318.0 Tree