example: el50
description: El50 problem (Michael Kern - INRIA)
system: Polynomial
variables: W1 > W2 > W3 > W4 > W5 > W6 > b1 > b2 > r1 > a1 > t1
equations: 0 1 2 3 4 5 6 7 8 9 10
length of Janet-like basis: not evalution
length of Janet basis: not evalution
length of Gröbner basis not evalution
Hilbert polynomial: not evalution
Strategy:


examples