compregb.lib
constant
setup_special_dpolys
type
type
returntype
constant
newcasebasis
type
type
ideal
→
(
poly
→
returntype
)
constant
contains
type
type
list
→
(
poly
→
returntype
)
constant
polys_heads
type
type
list
→
returntype
constant
polys_restrict_v
type
type
ideal
→
returntype
constant
polys_restrict_p
type
type
ideal
→
returntype
constant
polys_separate_v_p
type
type
ideal
→
returntype
constant
cgs_main
type
type
ideal
→
returntype
constant
cgs
type
type
def
→
(
def
→
(
list
→
(
list
→
(
ideal
→
returntype
)
)
)
)
constant
basis2str
type
type
list
→
returntype
constant
bases2str
type
type
list
→
returntype