example: assur44
description:
system: Polynomial
variables: ca > cb > cc > cd > sa > sb > sc > sd
equations: 0 1 2 3 4 5 6 7
length of Janet-like basis: 94
length of Janet basis: 94
length of Gröbner basis 87
Hilbert polynomial: 56
Strategy: degJ highJ lowJ degJL highJL lowJL


examples