Top
Back: Commutative algebra
Forward: algebra_containment
FastBack: Linear algebra
FastForward: elim_lib
Up: Commutative algebra
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

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)


Top Back: Commutative algebra Forward: algebra_containment FastBack: Linear algebra FastForward: elim_lib Up: Commutative algebra Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.