constant mod_init
constant numberOfYs
constant yinitial
constant containsVariablesApartFromLast
constant isInGeneralPosition
constant findGeneralPosition
constant tryFindingGeneralPosition
constant sortIdealInGeneralPosition
constant getImagesOfPreviousX
constant graalMixed
constant graalBearer_print
constant warkedModule_print
constant markedModule_print
constant dimensionOfLocalization
constant systemOfParametersOfLocalization
constant isPolyInLastVariable
constant isLocalizationRegular
constant yDeg
constant normalizeInY
constant removeZeroColumns
constant warkedPreimageStd
constant markedResolution_print
constant ressize
constant liftRes
constant getPermutation
constant permuteGenerators
constant resolutionInLocalization
constant isConstantUnit
constant isConstantMultiple
constant checkColumnsUpToUnits
constant checkCorrespondence
constant isDiagonalMatrixOfOnes
constant isStandardBasis