ID: 153.0 Parent: 143.0 Tree
Exchanged to:
156.0
3<->x22*x10-1
PDER
VAR\IND x1 x21 x22 x10
x1 1 0 0 0
x10 0 0 0 1
x21 0 1 0 0
x22 0 0 1 0
x23 0 0 0 -x23^2
FOCUS
x1^6*x21^18*x22^13*x10^37-x10^36*x21^18*x22^12*x1^6
x22*x21*x10^3
x21^3*x22^2*x10^4
x22*x21*x10^2
x21^3*x22^2*x10^3
x21^3*x22^2*x10^2
x22*x21
x21^2*x22*x10^2
x21^2*x22*x10
x21^2*x22
x21
DEP
x23*x10-1
MAP
x1 x1
x2 x21^3*x22^2*x10^5*x1
x3 x22^3*x21^4*x10^9*x1
x4 x10^6*x21^3*x22^2*x1
IMAP
x1 x1
x10 x4/x2
x21 x4^3/x1/x3^2
x22 x3^3/x4^7*x2^3*x1
x23 x2/x4
STACK
WBO (dim: 4)
J
x22*x10-1 1
c 1
Nempty
(E,a)
Ea
x1 5
x22 8
x21 12
C empty
TBO (dim: 4)
J
x22*x10-1 1
Nempty
E
x1
x22
x21
EM
x1
C empty
SBO (dim: 4)
J
x22*x10-1 1
Nempty
Hempty
E
x22
x21
C empty
Exchanged to:
156.0
3<->x22*x10-1
ID: 153.0 Parent: 143.0 Tree