example: el44
description: El44 problem (Michael Kern - INRIA)
system: Polynomial
variables: W3 > b1 > W4 > b2 > W5 > r1 > W2 > a1 > W1
equations: 0 1 2 3 4 5 6 7 8
length of Janet-like basis: 22
length of Janet basis: 26
length of Gröbner basis 14
Hilbert polynomial: 12
Strategy: degJ highJ lowJ degJL highJL lowJL


examples