algebra.lib
constant algebra_containment
typelist(ideal(polyreturntype))
constant module_containment
typelist(ideal(ideal(polyreturntype)))
constant inSubring
typeideal(polyreturntype)
constant algDependent
typelist(idealreturntype)
constant alg_kernel
typelist(def(mapreturntype))
constant is_injective
typelist(def(mapreturntype))
constant is_surjective
typemapreturntype
constant is_bijective
typedef(mapreturntype)
constant noetherNormal
typelist(idealreturntype)
constant finitenessTest
typelist(idealreturntype)
constant mapIsFinite
typelist(def(mapreturntype))
constant nonZeroEntry
typedefreturntype