ID: 303.0 Parent: 295.0 Tree
Covered by:
306.0
x14^2*x13*x11^2-1
PDER
VAR\IND x14 x11 x13
x11 0 1 0
x13 0 0 1
x14 1 0 0
FOCUS
x14^2*x11^16*x13^12-x11^14*x13^11
x14*x11^4*x13^3
x14*x11^3*x13^2
x11^3*x13^2
x14*x11^2*x13
x11
DEPempty
MAP
x1 x14*x11^8*x13^6
x2 x13^3*x11^4
x3 x13^4*x11^5
IMAP
x11 x2^4/x3^3
x13 x3^4/x2^5
x14 x1/x2^2
STACK
WBO (dim: 3)
J
x14^2*x13*x11^2-1 1
c 1
Nempty
(E,a)
Ea
x13 5
x11 6
C empty
TBO (dim: 3)
J
x14^2*x13*x11^2-1 1
Nempty
E
x13
x11
EMempty
C empty
SBO (dim: 3)
J
x14^2*x13*x11^2-1 1
Nempty
Hempty
E
x13
x11
C empty
Covered by:
306.0
x14^2*x13*x11^2-1
ID: 303.0 Parent: 295.0 Tree