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