ncdecomp.lib
constant testncdecomplib
typereturntype
constant CharKernel
typeint(listreturntype)
constant CentralQuotPoly
typepoly(modulereturntype)
constant MyIsEqual
typemodule(modulereturntype)
constant CentralQuot
typeideal(modulereturntype)
constant CentralSaturation
typeideal(modulereturntype)
constant CenCharDec
typedef(modulereturntype)
constant IntersectWithSub
typedef(idealreturntype)