|
 |
 |
 |
 |
 |
 |
 |
 |
 |
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:
D.4.1.1 algebra_containment query of algebra containment D.4.1.2 module_containment query of module containment over a subalgebra D.4.1.3 inSubring test whether poly p is in subring generated by I D.4.1.4 algDependent computes algebraic relations between generators of I D.4.1.5 alg_kernel computes the kernel of the ring map phi D.4.1.6 is_injective test for injectivity of ring map phi D.4.1.7 is_surjective test for surjectivity of ring map phi D.4.1.8 is_bijective test for bijectivity of ring map phi D.4.1.9 noetherNormal noether normalization of ideal id D.4.1.10 mapIsFinite query for finiteness of map phi:R –> basering/I D.4.1.11 finitenessTest find variables which occur as pure power in lead(i)