divisors.lib
constant
mod_init
type
type
returntype
constant
divisor_print
type
type
divisor
→
returntype
constant
formaldivisor_print
type
type
formaldivisor
→
returntype
constant
makeDivisor
type
type
ideal
→
(
ideal
→
returntype
)
constant
divisorplus
type
type
divisor
→
(
divisor
→
returntype
)
constant
multdivisor
type
type
divisor
→
(
int
→
returntype
)
constant
proxymultdivisor
type
type
int
→
(
divisor
→
returntype
)
constant
negativedivisor
type
type
divisor
→
returntype
constant
normalForm
type
type
divisor
→
returntype
constant
isEqualIdeal
type
type
ideal
→
(
ideal
→
returntype
)
constant
isEqualDivisor
type
type
divisor
→
(
divisor
→
returntype
)
constant
purify1
type
type
ideal
→
returntype
constant
basis
type
type
int
→
(
ideal
→
returntype
)
constant
globalSections
type
type
divisor
→
returntype
constant
sectionIdeal
type
type
divisor
→
(
poly
→
(
poly
→
returntype
)
)
constant
degreeDivisor
type
type
divisor
→
returntype
constant
linearlyEquivalent
type
type
divisor
→
(
divisor
→
returntype
)
constant
effective
type
type
divisor
→
returntype
constant
makeFormalDivisor
type
type
list
→
returntype
constant
evaluateFormalDivisor
type
type
formaldivisor
→
returntype
constant
position
type
type
list
→
(
divisor
→
returntype
)
constant
formaldivisorplus
type
type
formaldivisor
→
(
formaldivisor
→
returntype
)
constant
degreeFormalDivisor
type
type
formaldivisor
→
returntype
constant
multformaldivisor
type
type
formaldivisor
→
(
int
→
returntype
)
constant
proxymultformaldivisor
type
type
int
→
(
formaldivisor
→
returntype
)
constant
negativeformaldivisor
type
type
formaldivisor
→
returntype
constant
primDecDivisor
type
type
divisor
→
returntype
constant
makePDivisor
type
type
list
→
returntype
constant
decomposePolyhedron
type
type
polytope
→
returntype
constant
evaluatePDivisor
type
type
intvec
→
(
pdivisor
→
returntype
)
constant
pdivisorplus
type
type
pdivisor
→
(
pdivisor
→
returntype
)