graal.lib
constant
mod_init
type
type
returntype
constant
numberOfYs
type
type
returntype
constant
yinitial
type
type
list
→
(
def
→
returntype
)
constant
containsVariablesApartFromLast
type
type
poly
→
returntype
constant
isInGeneralPosition
type
type
ideal
→
returntype
constant
findGeneralPosition
type
type
ideal
→
returntype
constant
tryFindingGeneralPosition
type
type
int
→
(
ideal
→
returntype
)
constant
sortIdealInGeneralPosition
type
type
ideal
→
returntype
constant
getImagesOfPreviousX
type
type
ideal
→
returntype
constant
graalMixed
type
type
list
→
(
ideal
→
returntype
)
constant
graalBearer_print
type
type
graalBearer
→
returntype
constant
warkedModule_print
type
type
warkedModule
→
returntype
constant
markedModule_print
type
type
markedModule
→
returntype
constant
dimensionOfLocalization
type
type
def
→
returntype
constant
systemOfParametersOfLocalization
type
type
def
→
returntype
constant
isPolyInLastVariable
type
type
poly
→
returntype
constant
isLocalizationRegular
type
type
def
→
returntype
constant
yDeg
type
type
list
→
(
poly
→
returntype
)
constant
normalizeInY
type
type
list
→
(
graalBearer
→
(
vector
→
returntype
)
)
constant
removeZeroColumns
type
type
matrix
→
(
module
→
returntype
)
constant
warkedPreimageStd
type
type
warkedModule
→
returntype
constant
markedResolution_print
type
type
markedResolution
→
returntype
constant
ressize
type
type
resolution
→
returntype
constant
liftRes
type
type
markedResolution
→
returntype
constant
getPermutation
type
type
ideal
→
(
ideal
→
returntype
)
constant
permuteGenerators
type
type
intvec
→
(
ideal
→
returntype
)
constant
resolutionInLocalization
type
type
def
→
(
ideal
→
returntype
)
constant
isConstantUnit
type
type
poly
→
returntype
constant
isConstantMultiple
type
type
vector
→
(
vector
→
returntype
)
constant
checkColumnsUpToUnits
type
type
matrix
→
(
matrix
→
returntype
)
constant
checkCorrespondence
type
type
warkedModule
→
returntype
constant
isDiagonalMatrixOfOnes
type
type
matrix
→
returntype
constant
isStandardBasis
type
type
ideal
→
returntype