D.4.1 algebra_lib
-----------------
Library:
algebra.lib
Purpose:
   Compute with Algebras and Algebra Maps
Authors:
Gert-Martin Greuel, greuel@mathematik.uni-kl.de,

 Agnes Eileen Heydtmann, agnes@math.uni-sb.de,

 Gerhard Pfister, pfister@mathematik.uni-kl.de


Procedures:
* algebra_containment:: query of algebra containment
* module_containment:: query of module containment over a subalgebra
* inSubring:: test whether poly p is in subring generated by I
* algDependent:: computes algebraic relations between generators of I
* alg_kernel:: computes the kernel of the ring map phi
* is_injective:: test for injectivity of ring map phi
* is_surjective:: test for surjectivity of ring map phi
* is_bijective:: test for bijectivity of ring map phi
* noetherNormal:: noether normalization of ideal id
* mapIsFinite:: query for finiteness of map phi:R -> basering/I
* finitenessTest:: find variables which occur as pure power in lead(i)

<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
