ID: 185.0 Parent: 184.0 Tree
Covered by:
192.0
x16*x19^2*x18-1
PDER
VAR\IND x16 x19 x18
x16 1 0 0
x18 0 0 1
x19 0 1 0
FOCUS
x16^6*x19^30*x18^34-x19^28*x18^33*x16^5
x18^10*x19^9*x16^2
x16*x19^4*x18^4
x19*x18
x16*x19^3*x18^3
x18^5*x19^4*x16
x18^4*x19^3*x16
x18^3*x19^2*x16
x18^2*x19*x16
x18^2*x19
x18
DEPempty
MAP
x1 x16^3*x19^15*x18^17
x2 x19^6*x18^7*x16
x3 x19^11*x18^13*x16^2
IMAP
x16 x1/x2^8*x3^3
x18 x3^3/x2^3/x1
x19 x2^5/x3^4*x1
STACK
WBO (dim: 3)
J
x16*x19^2*x18-1 1
c 1
Nempty
(E,a)
Ea
x16 2
x19 12
x18 14
C empty
TBO (dim: 3)
J
x16*x19^2*x18-1 1
Nempty
E
x16
x19
x18
EMempty
C empty
SBO (dim: 3)
J
x16*x19^2*x18-1 1
Nempty
Hempty
E
x16
x19
x18
C empty
Covered by:
192.0
x16*x19^2*x18-1
ID: 185.0 Parent: 184.0 Tree