assprimeszerodim.lib
constant
zeroRadical
type
type
list
→
(
ideal
→
returntype
)
constant
pTest_zeroRadical
type
type
int
→
(
alias
→
(
alias
→
(
string
→
returntype
)
)
)
constant
finalTest_zeroRadical
type
type
alias
→
(
alias
→
(
string
→
returntype
)
)
constant
assPrimes
type
type
list
→
(
def
→
returntype
)
constant
specialAlgDepEHV
type
type
poly
→
(
ideal
→
returntype
)
constant
specialAlgDepGTZ
type
type
poly
→
(
ideal
→
returntype
)
constant
specialAlgDepMonico
type
type
int
→
(
poly
→
(
ideal
→
returntype
)
)
constant
specialTest
type
type
ideal
→
(
poly
→
(
int
→
returntype
)
)
constant
findGen
type
type
int
→
(
ideal
→
returntype
)
constant
pTestRad
type
type
int
→
(
ideal
→
returntype
)
constant
zeroRadP
type
type
ideal
→
returntype
constant
quickSubst
type
type
ideal
→
(
poly
→
(
poly
→
returntype
)
)
constant
modpSpecialAlgDep
type
type
int
→
(
int
→
(
poly
→
(
ideal
→
returntype
)
)
)
constant
pTest_assPrimes
type
type
int
→
(
alias
→
(
alias
→
(
string
→
returntype
)
)
)
constant
finalTest_assPrimes
type
type
ideal
→
(
alias
→
(
string
→
returntype
)
)