example: ducos8
description:
system: Polynomial
variables: x8 > x7 > x6 > x5 > x4 > x3 > x2 > x1
equations: 0 1 2 3 4 5 6 7 8 9 10 11 12 13
length of Janet-like basis: 23
length of Janet basis: 176
length of Gröbner basis 11
Hilbert polynomial: 384
Strategy: degJ highJ lowJ degJL highJL lowJL


examples