example: cpdm5
description: TITLE : 5-dimensional system of Caprasse and Demaret
REFERENCES :
Karin Gatermann: "Symbolic solution of polynomial equation systems with symmetry", Proceedings of ISSAC-90, pp 112-119, ACM New York, 1990.
NOTE :
The system is invariant under the full permutation group. There are 16 generating regular solutions: 1*30 + 2*20 + 6*10 + 5*5 + 2*1 = 157.
system: Polynomial
variables: x1 > x2 > x3 > x4 > x5
equations: 0 1 2 3 4
length of Janet-like basis: 83
length of Janet basis: 83
length of Gröbner basis 77
Hilbert polynomial: 213
Strategy: degJ highJ lowJ degJL highJL lowJL


examples