primitiv.lib
constant
primitive
type
type
ideal
→
returntype
constant
primitive_extra
type
type
ideal
→
returntype
constant
splitring
type
type
list
→
(
poly
→
returntype
)