ID: 52.0 Parent: 51.0 Tree
Covered by:
62.0
x10^2*x16^2-x10*x16^2*x15-1
PDER
VAR\IND x15 x10 x16
x10 0 1 0
x15 1 0 0
x16 0 0 1
FOCUS
x15^24*x16^18*x10^30-x10^32*x16^20*x15^24+x15^25*x16^20*x10^31
x10^3*x16^2*x15^2
x15^3*x16^2*x10^4
x10^2*x16*x15
x15^2*x16*x10^3
x10
x15^2*x16*x10^2
x15^2*x16*x10
x15^2*x16
x15
DEPempty
MAP
x1 x15^4*x16^3*x10^5
x2 x16^5*x15^6*x10^8
x3 x15^5*x16^4*x10^6
IMAP
x10 x2/x3^2*x1
x15 x1^2/x2^2*x3
x16 x3^2/x1^4*x2
STACK
WBO (dim: 3)
J
-x10^2*x16^2+x10*x16^2*x15+1 1
c 1
Nempty
(E,a)
Ea
x10 20
x16 12
x15 16
C empty
TBO (dim: 3)
J
-x10^2*x16^2+x10*x16^2*x15+1 1
Nempty
E
x10
x16
x15
EM
x10
x16
x15
C empty
SBO (dim: 3)
J
-x10^2*x16^2+x10*x16^2*x15+1 1
Nempty
Hempty
Eempty
C empty
Covered by:
62.0
x10^2*x16^2-x10*x16^2*x15-1
ID: 52.0 Parent: 51.0 Tree