ID: 15.0 Parent: 13.0 Tree
Covered by:
17.0
-6*x9-1
PDER
VAR\IND x10 x7 x11
x1 x9*x7 -x9*(6*x7^5*x1^7-x7*x11)+x
9*x10+x11*x9*x7
x9*x7^2
x7 0 1 0
x9 -42*x9^3*x7^7*x1^5 -42*x7^5*x1^6*x9^2+42*x9^3
*x7^6*x1^5*(6*x7^5*x1^7-x7
*x11)-42*x10*x9^3*x7^6*x1^
5-42*x11*x9^3*x7^7*x1^5
-42*x7^8*x9^3*x1^5
x10 1 0 0
x11 0 0 1
FOCUS
x1^6+x7^6*x1^12-x1^5*x7^2*x11
x7
x7*x11
x10
DEP
x9*(7*x7^6*x1^6+1)-1
x10*x7-x7^6*x1^7+x7^2*x11-x1
MAP
x1 x1
x2 x7*x1^2
x3 x7*x11*x1^2
IMAP
x1 x1
x7 x2/x1^2
x9 x1^6/(7*x2^6+x1^6)
x10 -1/x1^3*(-x1^6-x2^6+x1*x2*x3)/x2
x11 x3/x2
STACK
WBO (dim: 3)
J
x10 1
c 1
Nempty
(E,a)
Ea
-x7^5*x1^7+x7*x11+x10 3
x7 3
C empty
TBO (dim: 3)
J
x10 1
Nempty
E
-x7^5*x1^7+x7*x11+x10
x7
EM
-x7^5*x1^7+x7*x11+x10
C empty
SBO (dim: 3)
J
x10 1
Nempty
Hempty
E
x7
C empty
WBO (dim: 2)
J
-x7^4*x1^7+x11 1
c 1
N
x10
(E,a)
Ea
x7 1
C empty
TBO (dim: 2)
J
-x7^4*x1^7+x11 1
N
x10
E
x7
EM
x7
C empty
SBO (dim: 2)
J
-x7^4*x1^7+x11 1
N
x10
Hempty
Eempty
C empty
Covered by:
17.0
-6*x9-1
ID: 15.0 Parent: 13.0 Tree