algebra.lib
constant
algebra_containment
type
type
list
→
(
ideal
→
(
poly
→
returntype
)
)
constant
module_containment
type
type
list
→
(
ideal
→
(
ideal
→
(
poly
→
returntype
)
)
)
constant
inSubring
type
type
ideal
→
(
poly
→
returntype
)
constant
algDependent
type
type
list
→
(
ideal
→
returntype
)
constant
alg_kernel
type
type
list
→
(
def
→
(
map
→
returntype
)
)
constant
is_injective
type
type
list
→
(
def
→
(
map
→
returntype
)
)
constant
is_surjective
type
type
map
→
returntype
constant
is_bijective
type
type
def
→
(
map
→
returntype
)
constant
noetherNormal
type
type
list
→
(
ideal
→
returntype
)
constant
finitenessTest
type
type
list
→
(
ideal
→
returntype
)
constant
mapIsFinite
type
type
list
→
(
def
→
(
map
→
returntype
)
)
constant
nonZeroEntry
type
type
def
→
returntype