
D.8.6 zeroset_lib
 Library:
 zeroset.lib
 Purpose:
 Procedures for roots and factorization
 Author:
 Thomas Bayer, email: tbayer@mathematik.unikl.de,
http://wwwmayr.informatik.tumuenchen.de/personen/bayert/
Current address: Hochschule RavensburgWeingarten
 Overview:
 Algorithms for finding the zeroset of a zerodim. ideal in Q(a)[x_1,..,x_n],
roots and factorization of univariate polynomials over Q(a)[t]
where a is an algebraic number. Written in the scope of the
diploma thesis (advisor: Prof. GertMartin Greuel) 'Computations of moduli
spaces of semiquasihomogeneous singularities and an implementation in Singular'.
This library is meant as a preliminary extension of the functionality
of Singular for univariate factorization of polynomials over simple algebraic
extensions in characteristic 0.
 Note:
 Subprocedures with postfix 'Main' require that the ring contains a variable
'a' and no parameters, and the ideal 'mpoly', where 'minpoly' from the
basering is stored.
Procedures:
