ID: 46.0 Parent: 26.0 Tree
Covered by:
56.0
x12^4*x13^6*x11^4-x12^3*x13^3*x11^2-1
PDER
VAR\IND x11 x13 x12
x11 1 0 0
x12 0 0 1
x13 0 1 0
FOCUS
x11^24*x13^18*x12^12-x13^24*x11^28*x12^16+x11^26*x13^21*x12^15
x13^3*x11^3*x12^2
x11^3*x13^2*x12
x13^2*x11^2*x12
x13*x11^2
x13*x11
x11
DEPempty
MAP
x1 x11^4*x13^3*x12^2
x2 x12^4*x13^6*x11^7
x3 x12^3*x13^4*x11^5
IMAP
x11 x1^2/x2
x12 x3^3/x1^2/x2
x13 x2^2/x3^2/x1
STACK
WBO (dim: 3)
J
-x12^4*x13^6*x11^4+x12^3*x13^3*x11^2+1 1
c 1
Nempty
(E,a)
Ea
x12 8
x13 12
x11 16
C empty
TBO (dim: 3)
J
-x12^4*x13^6*x11^4+x12^3*x13^3*x11^2+1 1
Nempty
E
x12
x13
x11
EM
x12
x13
x11
C empty
SBO (dim: 3)
J
-x12^4*x13^6*x11^4+x12^3*x13^3*x11^2+1 1
Nempty
Hempty
Eempty
C empty
Covered by:
56.0
x12^4*x13^6*x11^4-x12^3*x13^3*x11^2-1
ID: 46.0 Parent: 26.0 Tree