ID: 187.0 Parent: 186.0 Tree
Covered by:
193.0 194.0
x16*x20 x16*x20-1
PDER
VAR\IND x16 x20 x19
x16 1 0 0
x19 0 0 1
x20 0 1 0
FOCUS
x16^6*x20^34*x19^38-x20^33*x19^38*x16^5
x19^11*x20^10*x16^2
x16*x20^4*x19^4
x20*x19
x16*x20^3*x19^3
x19^6*x20^5*x16
x19^5*x20^4*x16
x19^4*x20^3*x16
x19^3*x20^2*x16
x19^3*x20^2
x19^2*x20
x19
DEPempty
MAP
x1 x16^3*x20^17*x19^19
x2 x20^7*x19^8*x16
x3 x20^13*x19^15*x16^2
IMAP
x16 x1/x2^8*x3^3
x19 x3^4/x2^5/x1
x20 x2^7/x3^5*x1
STACK
WBO (dim: 3)
J
x16*x20-1 1
c 1
Nempty
(E,a)
Ea
x16 2
x20 14
x19 16
C empty
TBO (dim: 3)
J
x16*x20-1 1
Nempty
E
x16
x20
x19
EMempty
C empty
SBO (dim: 3)
J
x16*x20-1 1
Nempty
Hempty
E
x16
x20
x19
C empty
Covered by:
193.0 194.0
x16*x20 x16*x20-1
ID: 187.0 Parent: 186.0 Tree