ID: 326.0 Parent: 320.0 Tree
Exchanged to:
329.0
4<->x22-1
PDER
VAR\IND x1 x20 x16 x22
x1 1 0 0 0
x16 0 0 1 0
x20 0 1 0 0
x22 0 0 0 1
FOCUS
x1^6*x20^48*x16^30*x22^23-x22^24*x20^48*x16^30*x1^6
x20^9*x16^5*x22^4
x20^7*x16^4*x22^3
x16^3*x22^2*x20^4
x20^5*x16^3*x22^2
x16^2*x22*x20^2
x16^2*x20^3*x22
x16
x22*x20^3*x16
x20*x16
x20
x22*x20
x22
DEPempty
MAP
x1 x1
x2 x20^15*x16^9*x22^7*x1
x3 x16^4*x22^3*x20^6*x1
x4 x22^4*x20^8*x16^5*x1
IMAP
x1 x1
x16 x3^4/x1/x4^3
x20 x2/x4/x3*x1
x22 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
-x22+1 1
c 1
Nempty
(E,a)
Ea
x1 5
x22 16
x16 21
x20 32
C empty
TBO (dim: 4)
J
-x22+1 1
Nempty
E
x1
x22
x16
x20
EM
x1
x22
x16
C empty
SBO (dim: 4)
J
-x22+1 1
Nempty
Hempty
E
x20
C empty
Exchanged to:
329.0
4<->x22-1
ID: 326.0 Parent: 320.0 Tree