ID: 762.0 Parent: 757.0 Tree
Covered by:
771.0
x14^7*x12*x13^5-1
PDER
VAR\IND x12 x13 x3 x14
x3 0 0 1 0
x12 1 0 0 0
x13 0 1 0 0
x14 0 0 0 1
FOCUS
x12^5*x14^5*x13^7*x3^6-x12^6*x14^12*x13^12*x3^6
x13*x14*x12
x12^2*x14^2*x13^3
x13*x12
x12
x13
DEPempty
MAP
x1 x3*x12*x13*x14
x2 x13^3*x12^2*x14^2*x3
x3 x3
x4 x12*x14^2*x13^2*x3
IMAP
x3 x3
x12 x1^2/x3/x4
x13 x3/x1^2*x2
x14 x1/x2/x3*x4
STACK
WBO (dim: 4)
J
-x14^7*x12*x13^5+1 1
c 1
Nempty
(E,a)
Ea
x3 5
x14 3
x12 3
x13 4
C empty
TBO (dim: 4)
J
-x14^7*x12*x13^5+1 1
Nempty
E
x3
x14
x12
x13
EM
x3
x14
x12
x13
C empty
SBO (dim: 4)
J
-x14^7*x12*x13^5+1 1
Nempty
Hempty
Eempty
C empty
Covered by:
771.0
x14^7*x12*x13^5-1
ID: 762.0 Parent: 757.0 Tree