signcond.lib
constant
firstoct
type
type
ideal
→
returntype
constant
signcnd
type
type
ideal
→
(
ideal
→
returntype
)
constant
psigncnd
type
type
list
→
(
ideal
→
returntype
)
constant
psign
type
type
list
→
(
ideal
→
returntype
)
constant
isIn
type
type
list
→
(
list
→
returntype
)
constant
expprod
type
type
list
→
(
list
→
returntype
)
constant
initlist
type
type
int
→
returntype
constant
evalp
type
type
ideal
→
(
list
→
returntype
)
constant
incexp
type
type
list
→
returntype