ID: 480.0 Parent: 479.0 Tree
Covered by:
487.0 488.0
x18*x12 x18*x12-1
PDER
VAR\IND x12 x18 x17
x12 1 0 0
x17 0 0 1
x18 0 1 0
FOCUS
x12^20*x18^14*x17^16-x18^13*x17^16*x12^19
x12^4*x18^3*x17^3
x18*x17*x12
x12^3*x18^2*x17^2
x17^4*x18^3*x12^5
x17^3*x18^2*x12^4
x12^3*x17^2*x18
x17^2*x18*x12^2
x18*x17
x17^2*x18*x12
x17^2*x18
x17
DEPempty
MAP
x1 x12^10*x18^7*x17^8
x2 x18^5*x17^6*x12^7
x3 x18^4*x17^5*x12^6
IMAP
x12 x1/x2^3*x3^2
x17 1/x1^2*x2^2*x3
x18 x2^2/x3^4*x1
STACK
WBO (dim: 3)
J
x18*x12-1 1
c 1
Nempty
(E,a)
Ea
x12 7
x18 5
x17 6
C empty
TBO (dim: 3)
J
x18*x12-1 1
Nempty
E
x12
x18
x17
EMempty
C empty
SBO (dim: 3)
J
x18*x12-1 1
Nempty
Hempty
E
x12
x18
x17
C empty
Covered by:
487.0 488.0
x18*x12 x18*x12-1
ID: 480.0 Parent: 479.0 Tree