example: |
cohn3 |

description: |
TITLE : cohn3, modular equations for special algebraic number fields REFERENCES : See the PoSSo test suite. Andre' Galligo and Carlo Traverso: "Practical Determination of the dimension of an algebraic variety", in E. Kaltofen and S.M. Watt, Eds "Computers and Mathematics", pages 46-52, 1989. H. Cohn: "An explicit modular equation in two variables and Hilbert's Twelfth problem", Math. of Comp. 38, pp. 227-236, 1982. H. Cohn, J. Deutch: "An explit modular equation in two variables for Q[sqrt(3)]", Math. of Comp. 50, pp. 557-568, 1988. NOTE : From the 213 solution paths, 110 converged to finite solutions. There are eight highly singular solutons with zero components that are probably not isolated. |

system: |
Polynomial |

variables: |
x > y > z > t |

equations: |
0 1 2 3 |

length of Janet-like basis: |
103 |

length of Janet basis: |
106 |

length of Gröbner basis |
92 |

Hilbert polynomial: |
10s + 163 |

Strategy: |
degJ highJ lowJ degJL highJL lowJL |

examples