example: cohn3
description: TITLE : cohn3, modular equations for special algebraic number fields
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.
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