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)