ID: 768.0 Parent: 767.0 Tree
Covered by:
774.0 775.0 776.0
x17 x18 x18*x17-1
PDER
VAR\IND x18 x16 x3 x17
x3 0 0 1 0
x16 0 1 0 0
x17 0 0 0 1
x18 1 0 0 0
FOCUS
x18^5*x16^18*x17^11*x3^6-x18^6*x16^18*x17^12*x3^6
x17*x16^2*x18
x18^2*x16^8*x17^5
x16^5*x17^3*x18
x18*x16
x16^4*x17^3
x16^3*x17^2
x16^2*x17
x16
DEPempty
MAP
x1 x17*x3*x18*x16^2
x2 x16^8*x17^5*x18^2*x3
x3 x3
x4 x18*x16^3*x17^2*x3
IMAP
x3 x3
x16 1/x4^3*x2*x3*x1
x17 x4^4/x1^2/x2/x3
x18 x1/x3^2*x4^2/x2
STACK
WBO (dim: 4)
J
-x18*x17+1 1
c 1
Nempty
(E,a)
Ea
x3 5
x18 3
x17 6
x16 10
C empty
TBO (dim: 4)
J
-x18*x17+1 1
Nempty
E
x3
x18
x17
x16
EM
x3
x18
x17
x16
C empty
SBO (dim: 4)
J
-x18*x17+1 1
Nempty
Hempty
Eempty
C empty
Covered by:
774.0 775.0 776.0
x17 x18 x18*x17-1
ID: 768.0 Parent: 767.0 Tree