graal.lib
constant mod_init
typereturntype
constant numberOfYs
typereturntype
constant yinitial
typelist(defreturntype)
constant containsVariablesApartFromLast
typepolyreturntype
constant isInGeneralPosition
typeidealreturntype
constant findGeneralPosition
typeidealreturntype
constant tryFindingGeneralPosition
typeint(idealreturntype)
constant sortIdealInGeneralPosition
typeidealreturntype
constant getImagesOfPreviousX
typeidealreturntype
constant graalMixed
typelist(idealreturntype)
constant graalBearer_print
typegraalBearerreturntype
constant warkedModule_print
typewarkedModulereturntype
constant markedModule_print
typemarkedModulereturntype
constant dimensionOfLocalization
typedefreturntype
constant systemOfParametersOfLocalization
typedefreturntype
constant isPolyInLastVariable
typepolyreturntype
constant isLocalizationRegular
typedefreturntype
constant yDeg
typelist(polyreturntype)
constant normalizeInY
typelist(graalBearer(vectorreturntype))
constant removeZeroColumns
typematrix(modulereturntype)
constant warkedPreimageStd
typewarkedModulereturntype
constant markedResolution_print
typemarkedResolutionreturntype
constant ressize
typeresolutionreturntype
constant liftRes
typemarkedResolutionreturntype
constant getPermutation
typeideal(idealreturntype)
constant permuteGenerators
typeintvec(idealreturntype)
constant resolutionInLocalization
typedef(idealreturntype)
constant isConstantUnit
typepolyreturntype
constant isConstantMultiple
typevector(vectorreturntype)
constant checkColumnsUpToUnits
typematrix(matrixreturntype)
constant checkCorrespondence
typewarkedModulereturntype
constant isDiagonalMatrixOfOnes
typematrixreturntype
constant isStandardBasis
typeidealreturntype