mondromy.lib
constant
pcvladdl
type
type
list
→
(
list
→
returntype
)
constant
pcvpmull
type
type
list
→
(
poly
→
returntype
)
constant
pcvmindeg
type
type
list
→
returntype
constant
pcvp2cv
type
type
int
→
(
int
→
(
list
→
returntype
)
)
constant
pcvcv2p
type
type
int
→
(
int
→
(
list
→
returntype
)
)
constant
pcvdim
type
type
int
→
(
int
→
returntype
)
constant
pcvbasis
type
type
int
→
(
int
→
returntype
)
constant
min
type
type
intvec
→
returntype
constant
max
type
type
intvec
→
returntype
constant
mdivp
type
type
poly
→
(
matrix
→
returntype
)
constant
codimV
type
type
int
→
(
list
→
returntype
)
constant
quotV
type
type
int
→
(
list
→
returntype
)
constant
invunit
type
type
int
→
(
poly
→
returntype
)
constant
detadj
type
type
module
→
returntype
constant
jacoblift
type
type
poly
→
returntype
constant
getdeltaP1
type
type
int
→
(
int
→
(
int
→
(
poly
→
returntype
)
)
)
constant
getdeltaP2
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
getdeltaPe
type
type
int
→
(
int
→
(
list
→
(
poly
→
returntype
)
)
)
constant
incK
type
type
list
→
(
list
→
(
list
→
(
list
→
(
list
→
(
list
→
(
list
→
(
int
→
(
int
→
(
int
→
(
int
→
(
poly
→
returntype
)
)
)
)
)
)
)
)
)
)
)
constant
nablaK
type
type
list
→
(
list
→
(
int
→
(
int
→
(
poly
→
(
vector
→
(
int
→
(
poly
→
returntype
)
)
)
)
)
)
)
constant
MK
type
type
list
→
(
list
→
(
list
→
(
list
→
(
list
→
(
int
→
(
int
→
(
int
→
(
poly
→
(
vector
→
(
int
→
(
int
→
(
poly
→
returntype
)
)
)
)
)
)
)
)
)
)
)
)
constant
mid
type
type
ideal
→
returntype
constant
decmide
type
type
list
→
(
ideal
→
(
matrix
→
returntype
)
)
constant
nonqhmonodromy
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
qhmonodromy
type
type
intvec
→
(
poly
→
returntype
)
constant
monodromyB
type
type
list
→
(
poly
→
returntype
)
constant
H2basis
type
type
poly
→
returntype