curveInv.lib
constant
curveDeltaInv
type
type
list
→
(
ideal
→
returntype
)
constant
conductorMinPrime
type
type
def
→
returntype
constant
conductorIdealIntersect
type
type
int
→
(
list
→
returntype
)
constant
curveConductorMult
type
type
list
→
(
ideal
→
returntype
)
constant
curveDeligneNumber
type
type
list
→
(
ideal
→
returntype
)
constant
curveColengthDerivations
type
type
list
→
(
ideal
→
returntype
)
constant
curveColengthDerivationsComp
type
type
ideal
→
(
ideal
→
(
module
→
returntype
)
)
constant
curveExtDerModule
type
type
ideal
→
(
ideal
→
(
module
→
returntype
)
)
constant
curveAdjustModule
type
type
int
→
(
module
→
returntype
)
constant
curveDdim
type
type
module
→
(
ideal
→
(
module
→
(
ideal
→
returntype
)
)
)
constant
vecDerivationEval
type
type
poly
→
(
vector
→
returntype
)
constant
find_der
type
type
ideal
→
returntype