ID: 758.0 Parent: 756.0 Tree
Exchanged to:
760.0
2<->x10^7*x13^3*x11-1
PDER
VAR\IND x13 x11 x3 x10
x3 0 0 1 0
x10 0 0 0 1
x11 0 1 0 0
x13 1 0 0 0
x14 -3*x10^7*x13^2*x14^2
0 0 -7*x10^6*x13^3*x14^2
FOCUS
x13^3*x11^5*x10^5*x3^6-x10^12*x13^6*x11^6*x3^6
x13*x11*x10
x13*x11^2*x10^2
x11
x13*x11
3*x10^7*x13^2*x11
DEP
x14*x10^7*x13^3-1
MAP
x1 x13*x11*x10*x3
x2 x11^2*x10^2*x13*x3
x3 x3
x4 x10^2*x13*x11*x3
IMAP
x3 x3
x10 x4/x1
x11 x2/x4
x13 x1^2/x2/x3
x14 x3^3/x4^7*x2^3*x1
STACK
WBO (dim: 4)
J
-x10^7*x13^3*x11+1 1
c 1
Nempty
(E,a)
Ea
x3 5
x11 3
C empty
TBO (dim: 4)
J
-x10^7*x13^3*x11+1 1
Nempty
E
x3
x11
EM
x3
x11
C empty
SBO (dim: 4)
J
-x10^7*x13^3*x11+1 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
760.0
2<->x10^7*x13^3*x11-1
ID: 758.0 Parent: 756.0 Tree