example: |
caprasse |

description: |
TITLE : the system caprasse of the PoSSo test suite NOTE : There are 54 isolated solutions, so 6 ones with zero components which are not counted by the mixed volume. REFERENCES : The PoSSo test suite. |

system: |
Polynomial |

variables: |
x > y > z > t |

equations: |
0 1 2 3 |

length of Janet-like basis: |
32 |

length of Janet basis: |
38 |

length of Gröbner basis |
26 |

Hilbert polynomial: |
56 |

Strategy: |
degJ highJ lowJ degJL highJL lowJL |

examples