ID: 203.0 Parent: 200.0 Tree
Exchanged to:
206.0
2<->x15^2*x10-x16^2*x10+4
PDER
VAR\IND x15 x10 x16 x4
x4 0 0 0 1
x8 ((3/2*x15^2*x10^4-1/
2*x15*x10^4*x16)*x10
-1/2*x10^5*x15*x16)*
x10
-3/2*x16*x10^5*x15^2
+x15*x10*(3/2*x15^2*
x10^4-1/2*x15*x10^4*
x16)+x15*((3/2*x15^2
*x10^4-1/2*x15*x10^4
*x16)*x10-1/2*x10^5*
x15*x16)
-1/2*x10^6*x15^2 0
x10 0 1 0 0
x15 1 0 0 0
x16 0 0 1 0
x17 -2*x17^2*x15 0 2*x16*x17^2 0
FOCUS
x15^4*x10^11*x4^4+x15^3*x10^6*x4^4*x8-x8^2*x4^4
x15*x10^2
x15*x10^3
x8
x15*x10^4*x16
x15*x10^3*x16
x15*x10
x16*x15*x10^2
x16*x10
2*x15*x10
DEP
x10^6*x15^2*x16-x15^3*x10^6+2*x8
x17*(x15^2-x16^2)-1
MAP
x1 x15*x10^2*x4
x2 x10^3*x15*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x10 x2/x1
x15 x1^3/x2^2/x4
x16 -(2*x3*x4^2-x1^3)/x4/x2^2
x17 -1/4*x2^4/x3/(x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
x15^2*x10-x16^2*x10+4 1
c 1
Nempty
(E,a)
Ea
x4 3
x15 0
x10 1
C empty
TBO (dim: 4)
J
x15^2*x10-x16^2*x10+4 1
Nempty
E
x4
x15
x10
EM
x4
x15
C empty
SBO (dim: 4)
J
x15^2*x10-x16^2*x10+4 1
Nempty
Hempty
E
x10
C empty
Exchanged to:
206.0
2<->x15^2*x10-x16^2*x10+4
ID: 203.0 Parent: 200.0 Tree