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