ID: 462.0 Parent: 460.0 Tree
Covered by:
473.0
-x19+1
PDER
VAR\IND x14 x6 x19
x6 0 1 0
x14 1 0 0
x19 0 0 1
FOCUS
x14^6*x6^22*x19^2-x6^22*x14^6*x19^3
x14*x6^4
x6
x14*x6^3
x14^2*x19*x6^6
x14^2*x19*x6^5
x14^2*x19*x6^4
x14^2*x19*x6^3
x19*x14*x6^3
x19*x14*x6^2
x19*x14*x6
x19*x14
x19
DEPempty
MAP
x1 x14^3*x6^11*x19
x2 x6^8*x14^2*x19
x3 x14^2*x19*x6^7
IMAP
x6 x2/x3
x14 x1/x2^4*x3^3
x19 x2/x1^2*x3^2
STACK
WBO (dim: 3)
J
-x19+1 1
c 1
Nempty
(E,a)
Ea
x19 1
x6 8
x14 2
C empty
TBO (dim: 3)
J
-x19+1 1
Nempty
E
x19
x6
x14
EM
x19
C empty
Covered by:
473.0
-x19+1
ID: 462.0 Parent: 460.0 Tree