|description:||TITLE : system discret3, every equation divided by average coefficient
Received from POSSO via e-mail, on the occasion of the state-of-the-art workshop in Toulouse, December 1994.
|variables:||a > b > y > z > t > u > v > s|
|equations:||0 1 2 3 4 5 6 7|
|length of Janet-like basis:||154|
|length of Janet basis:||164|
|length of Gröbner basis||147|
|Strategy:||degJ highJ lowJ degJL highJL lowJL|