example: benchmark_i1
description:
system: Polynomial
variables: x1 > x2 > x3 > x4 > x5 > x6 > x7 > x8 > x9 > x10
equations: 0 1 2 3 4 5 6 7 8 9
length of Janet-like basis: 147
length of Janet basis: 147
length of Gröbner basis 118
Hilbert polynomial: 66
Strategy: degJ highJ lowJ degJL highJL lowJL


examples