ID: 67.0 Parent: 66.0 Tree
Covered by:
74.0 75.0
x19*x13 x19*x13-1
PDER
VAR\IND x13 x18 x19
x13 1 0 0
x18 0 1 0
x19 0 0 1
FOCUS
x13^28*x19^18*x18^22-x18^22*x19^17*x13^27
x13^9*x19^6*x18^7
x13^4*x19^3*x18^3
x13^3*x19^2*x18^2
x18^3*x19^2*x13^4
x18^2*x19*x13^3
x18^2*x19*x13^2
x19*x18
x18^2*x19*x13
x18^2*x19
x18
DEPempty
MAP
x1 x13^14*x19^9*x18^11
x2 x18^4*x19^3*x13^5
x3 x19^7*x18^9*x13^11
IMAP
x13 x1/x3^3*x2^4
x18 1/x2/x1^2*x3^3
x19 x3/x2^5*x1
STACK
WBO (dim: 3)
J
x19*x13-1 1
c 1
Nempty
(E,a)
Ea
x13 11
x19 7
x18 9
C empty
TBO (dim: 3)
J
x19*x13-1 1
Nempty
E
x13
x19
x18
EMempty
C empty
SBO (dim: 3)
J
x19*x13-1 1
Nempty
Hempty
E
x13
x19
x18
C empty
Covered by:
74.0 75.0
x19*x13 x19*x13-1
ID: 67.0 Parent: 66.0 Tree