classifyMapGerms.lib
constant
coDimMap
type
type
list
→
(
ideal
→
returntype
)
constant
coDim
type
type
list
→
(
int
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
)
constant
vStd
type
type
int
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
constant
vStd_size1
type
type
int
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
constant
boundK
type
type
ideal
→
(
module
→
(
module
→
returntype
)
)
constant
correctBound
type
type
int
→
(
int
→
(
module
→
(
module
→
returntype
)
)
)
constant
reduceV
type
type
int
→
(
module
→
(
module
→
(
module
→
returntype
)
)
)
constant
reducer
type
type
module
→
(
vector
→
returntype
)
constant
computeN
type
type
int
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
constant
myReduceM
type
type
int
→
(
module
→
(
module
→
returntype
)
)
constant
myReduce
type
type
int
→
(
module
→
(
vector
→
returntype
)
)
constant
echelon
type
type
int
→
(
module
→
(
module
→
returntype
)
)
constant
normalMap
type
type
int
→
(
ideal
→
returntype
)
constant
reduc
type
type
int
→
(
ideal
→
(
poly
→
returntype
)
)
constant
classifySimpleMaps
type
type
ideal
→
returntype
constant
classifySimpleMaps1
type
type
ideal
→
returntype
constant
modVStd0
type
type
int
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
constant
modVStd
type
type
list
→
(
int
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
)
constant
deleteUnluckyPrimesM
type
type
list
→
(
list
→
returntype
)
constant
deleteUnluckyPrimesM0
type
type
alias
→
returntype
constant
pTestSBM
type
type
int
→
(
list
→
(
module
→
(
module
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
)
)
)
constant
pTestSBM0
type
type
int
→
(
def
→
(
alias
→
(
string
→
returntype
)
)
)
constant
pTestSBM0_size1
type
type
int
→
(
def
→
(
alias
→
(
string
→
returntype
)
)
)
constant
finalTestM
type
type
int
→
(
module
→
(
module
→
(
ideal
→
(
module
→
(
module
→
returntype
)
)
)
)
)
constant
testSBM
type
type
int
→
(
module
→
returntype
)
constant
finalTestM0
type
type
def
→
(
alias
→
(
string
→
returntype
)
)
constant
finalTestM0_size1
type
type
def
→
(
list
→
(
string
→
returntype
)
)