ID: 230.0 Parent: 229.0 Tree
Covered by:
237.0
x18^2*x14*x17-1
PDER
VAR\IND x18 x14 x17
x14 0 1 0
x17 0 0 1
x18 1 0 0
FOCUS
x18^20*x17^24*x14^42-x14^41*x18^18*x17^23
x18^6*x17^7*x14^12
x18^3*x17^3*x14^5
x14^2*x18*x17
x14^3*x18^2*x17^2
x14^5*x17^3*x18^2
x18*x17^2*x14^3
x14^2*x17
x14
x17*x14
x17
DEPempty
MAP
x1 x18^10*x17^12*x14^21
x2 x14^9*x18^4*x17^5
x3 x14^16*x18^7*x17^9
IMAP
x14 x2^6/x3^2/x1
x17 x3^6/x2^13*x1
x18 x2^3/x3^3*x1
STACK
WBO (dim: 3)
J
x18^2*x14*x17-1 1
c 1
Nempty
(E,a)
Ea
x18 8
x14 18
x17 10
C empty
TBO (dim: 3)
J
x18^2*x14*x17-1 1
Nempty
E
x18
x14
x17
EMempty
C empty
SBO (dim: 3)
J
x18^2*x14*x17-1 1
Nempty
Hempty
E
x18
x14
x17
C empty
Covered by:
237.0
x18^2*x14*x17-1
ID: 230.0 Parent: 229.0 Tree