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