example: benchmark_D1
description:
system: Polynomial
variables: x1 > x2 > x3 > x4 > x5 > x6 > x7 > x8 > x9 > x10 > x11 > x12
equations: 0 1 2 3 4 5 6 7 8 9 10 11
length of Janet-like basis: 104
length of Janet basis: 104
length of Gröbner basis 86
Hilbert polynomial: 48
Strategy: degJ highJ lowJ degJL highJL lowJL


examples