ID: 140.0 Parent: 137.0 Tree
Covered by:
142.0
x13^3*x14^2*x11^3+x14*x13-1
PDER
VAR\IND x13 x13^3*x14^2*x11^3+x1
4*x13-1
x3 x11
x3 0 0 1 0
x11 0 0 0 1
x13 1 0 0 0
x14 -x15*(3*x13^2*x14^2*
x11^3+x14)
x15 0 -3*x13^3*x14^2*x11^2
*x15
x15 -(6*x11^3*x13^2*x14+
1)*x15^2+2*x15^3*x13
^3*x11^3*(3*x13^2*x1
4^2*x11^3+x14)
-2*x15^3*x13^3*x11^3
0 -6*x13^3*x14*x11^2*x
15^2+6*x15^3*x13^6*x
11^5*x14^2
FOCUS
x11^6*x13*x14^5*x3^4+x11^9*x13^3*x14^6*x3^4-x3^4*x11^6*x14^4
x11^3*x13*x14^2
x11*x14
x11^2*x14
x11^2*x14*x13
x11
x11*x13
3*x13^2*x14^2*x11^3+x14
DEP
x15*(2*x13^3*x14*x11^3+x13)-1
MAP
x1 x11^3*x13*x14^2*x3
x2 x11*x14*x3
x3 x3
x4 x11^3*x14^2*x3
IMAP
x3 x3
x11 x4/x2^2*x3
x13 x1/x4
x14 x2^3/x3^2/x4
x15 x4*x2^3/x1/(2*x1^2*x3+x2^3)
STACK
WBO (dim: 4)
J
x13^3*x14^2*x11^3+x14*x13-1 1
c 1
Nempty
(E,a)
Ea
x3 3
x14 2
x11 3
C empty
TBO (dim: 4)
J
x13^3*x14^2*x11^3+x14*x13-1 1
Nempty
E
x3
x14
x11
EM
x3
x14
x11
C empty
SBO (dim: 4)
J
x13^3*x14^2*x11^3+x14*x13-1 1
Nempty
Hempty
Eempty
C empty
Covered by:
142.0
x13^3*x14^2*x11^3+x14*x13-1
ID: 140.0 Parent: 137.0 Tree