example: ducos10
description: Ducos 10 Problem Compute *one* prime ideal Field Q(x0)
system: Polynomial
variables: x10 > x9 > x8 > x7 > x6 > x5 > x4 > x3 > x2 > x1 > x0
equations: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
length of Janet-like basis: not evalution
length of Janet basis: not evalution
length of Gröbner basis not evalution
Hilbert polynomial: not evalution
Strategy:


examples