ID: 476.0 Parent: 447.0 Tree
Covered by:
479.0
x14^5*x13^2*x11^4-1
PDER
VAR\IND x13 x2 x11 x14
x2 0 1 0 0
x11 0 0 1 0
x13 1 0 0 0
x14 0 0 0 1
FOCUS
x13^4*x11^14*x14^7*x2^6-x14^12*x11^18*x13^6*x2^6
x13*x11^2*x14
x11
x13*x11
DEPempty
MAP
x1 x13*x11^2*x14*x2
x2 x2
x3 x11^4*x14^2*x13*x2
x4 x14^2*x11^3*x13*x2
IMAP
x2 x2
x11 x3/x4
x13 x1^2/x2/x3
x14 1/x1/x3*x4^2
STACK
WBO (dim: 4)
J
-x14^5*x13^2*x11^4+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x13 3
x14 5
x11 10
C empty
TBO (dim: 4)
J
-x14^5*x13^2*x11^4+1 1
Nempty
E
x2
x13
x14
x11
EM
x2
x13
x14
x11
C empty
SBO (dim: 4)
J
-x14^5*x13^2*x11^4+1 1
Nempty
Hempty
Eempty
C empty
Covered by:
479.0
x14^5*x13^2*x11^4-1
ID: 476.0 Parent: 447.0 Tree