ncdecomp.lib
constant testncdecomplib
constant CharKernel
constant CentralQuotPoly
constant MyIsEqual
constant CentralQuot
constant CentralSaturation
constant CenCharDec
constant IntersectWithSub