ID: 363.0 Parent: 362.0 Tree
Covered by:
369.0
x19*x14-1
PDER
VAR\IND x19 x18 x14
x14 0 0 1
x18 0 1 0
x19 1 0 0
FOCUS
x19^18*x18^20*x14^32-x14^31*x18^20*x19^17
x19^4*x18^4*x14^7
x14^5*x19^3*x18^3
x19^4*x18^5*x14^7
x14^3*x19^2*x18^2
x19^2*x18^3*x14^3
x14^2*x18^2*x19
x14
x18^2*x19*x14
x18^2*x19
x18
DEPempty
MAP
x1 x19^9*x18^10*x14^16
x2 x14^9*x19^5*x18^6
x3 x14^11*x19^6*x18^7
IMAP
x14 x3^4/x2^3/x1
x18 x2^3/x1/x3
x19 x1^3/x3^6*x2^2
STACK
WBO (dim: 3)
J
x19*x14-1 1
c 1
Nempty
(E,a)
Ea
x14 13
x19 7
x18 8
C empty
TBO (dim: 3)
J
x19*x14-1 1
Nempty
E
x14
x19
x18
EMempty
C empty
SBO (dim: 3)
J
x19*x14-1 1
Nempty
Hempty
E
x14
x19
x18
C empty
Covered by:
369.0
x19*x14-1
ID: 363.0 Parent: 362.0 Tree