classifyMapGerms.lib
constant coDimMap
typelist(idealreturntype)
constant coDim
typelist(int(ideal(module(modulereturntype))))
constant vStd
typeint(ideal(module(modulereturntype)))
constant vStd_size1
typeint(ideal(module(modulereturntype)))
constant boundK
typeideal(module(modulereturntype))
constant correctBound
typeint(int(module(modulereturntype)))
constant reduceV
typeint(module(module(modulereturntype)))
constant reducer
typemodule(vectorreturntype)
constant computeN
typeint(ideal(module(modulereturntype)))
constant myReduceM
typeint(module(modulereturntype))
constant myReduce
typeint(module(vectorreturntype))
constant echelon
typeint(module(modulereturntype))
constant normalMap
typeint(idealreturntype)
constant reduc
typeint(ideal(polyreturntype))
constant classifySimpleMaps
typeidealreturntype
constant classifySimpleMaps1
typeidealreturntype
constant modVStd0
typeint(ideal(module(modulereturntype)))
constant modVStd
typelist(int(ideal(module(modulereturntype))))
constant deleteUnluckyPrimesM
typelist(listreturntype)
constant deleteUnluckyPrimesM0
typealiasreturntype
constant pTestSBM
typeint(list(module(module(ideal(module(modulereturntype))))))
constant pTestSBM0
typeint(def(alias(stringreturntype)))
constant pTestSBM0_size1
typeint(def(alias(stringreturntype)))
constant finalTestM
typeint(module(module(ideal(module(modulereturntype)))))
constant testSBM
typeint(modulereturntype)
constant finalTestM0
typedef(alias(stringreturntype))
constant finalTestM0_size1
typedef(list(stringreturntype))