example: cassou
description: TITLE : the system of Pierrette Cassou-Nogu`es
REFERENCES :
Obtained by electronic mail by Carlo Traverso. See the POSSO test suite.
T.Y. Li, Tianjun Wang, Xiaoshen Wang: "Random Product Homotopy with Minimal BKK Bound", in: "The Mathematics of Numerical Analysis" , Edited by Renegar, J. and Shub, M. and Smale, S. , Lectures in Applied Mathematics vol 32, 1996. Proceedings of the AMS-SIAM Summer Seminar in Applied Mathematics, Park City, Utah, July 17-August 11, 1995, Park City, Utah".
NOTE :
The system is deficient w.r.t. face normal (0,0,0,-1), with corresponding double component of solutions at infinity (b,c,c,e). The corresponding face system is
-8*b**2*c**2*e - 28*b**2*c*d*e + 36*b**2*d**2*e = 0 16*c**2*e**2 - 32*c*d*e**2 + 16*d**2*e**2 = 0 40*c**2*e**2 - 80*c*d*e**2 + 40*d**2*e**2 = 0 22*c*e - 22*d*e = 0
system: Polynomial
variables: a > b > c > d > e
equations: 0 1 2 3
length of Janet-like basis: 8
length of Janet basis: 15
length of Gröbner basis 8
Hilbert polynomial: 16s - 14
Strategy: degJ highJ lowJ degJL highJL lowJL


examples