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