algebra.lib
constant algebra_containment
constant module_containment
constant inSubring
constant algDependent
constant alg_kernel
constant is_injective
constant is_surjective
constant is_bijective
constant noetherNormal
constant finitenessTest
constant mapIsFinite
constant nonZeroEntry