ID: 25.0 Parent: 24.0 Tree
Covered by:
26.0
x11+1
PDER
VAR\IND x10^3*x6^2-x9^2+x6 x10 x3 x9
x3 0 0 1 0
x6 x11 -3*x11*x6^2*x10^2 0 2*x11*x9
x9 0 0 0 1
x10 0 1 0 0
x11 -2*x11^3*x10^3 -6*x10^2*x6*x11^2+6*
x11^3*x10^5*x6^2
0 -4*x11^3*x9*x10^3
FOCUS
x6^4*x3^4*x10^3+x6^3*x3^4-x3^4*x9^2*x6^2
x6
x10*x6
x9
DEP
x11*(2*x10^3*x6+1)-1
MAP
x1 x6*x3
x2 x10*x6*x3
x3 x3
x4 x9*x6*x3
IMAP
x3 x3
x6 x1/x3
x9 x4/x1
x10 x2/x1
x11 x1^2*x3/(2*x2^3+x1^2*x3)
STACK
WBO (dim: 4)
J
x10^3*x6^2-x9^2+x6 1
c 1
Nempty
(E,a)
Ea
x3 3
x6 1
C empty
TBO (dim: 4)
J
x10^3*x6^2-x9^2+x6 1
Nempty
E
x3
x6
EM
x3
x6
C empty
SBO (dim: 4)
J
x10^3*x6^2-x9^2+x6 1
x6 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
x6 2
c 2
N
x10^3*x6^2-x9^2+x6
(E,a)empty
C empty
TBO (dim: 3)
J
x6 2
N
x10^3*x6^2-x9^2+x6
Eempty
EMempty
C empty
SBO (dim: 3)
J
x6 2
N
x10^3*x6^2-x9^2+x6
Hempty
Eempty
C empty
Covered by:
26.0
x11+1
ID: 25.0 Parent: 24.0 Tree