freegb.lib
constant tstfreegb
typereturntype
constant setLetterplaceAttributes
typeint(int(defreturntype))
constant lshift
typedef(string(int(modulereturntype)))
constant skip0
typevectorreturntype
constant lst2str
typelist(listreturntype)
constant mod2str
typelist(modulereturntype)
constant vct2str
typelist(vectorreturntype)
constant isVar
typepolyreturntype
constant id2words
typeint(idealreturntype)
constant mono2word
typeint(polyreturntype)
constant letplaceGBasis
typeidealreturntype
constant freeGBasis
typeint(listreturntype)
constant crs
typeint(listreturntype)
constant polylen
typeidealreturntype
constant makeLetterplaceRing
typelist(intreturntype)
constant makeLetterplaceRing1
typeintreturntype
constant makeLetterplaceRing2
typeintreturntype
constant makeLetterplaceRing3
typeintreturntype
constant freegbold
typeint(listreturntype)
constant ademRelations
typeint(intreturntype)
constant stringpoly2lplace
typestringreturntype
constant addplaces
typelistreturntype
constant sent2lplace
typestringreturntype
constant testnumber
typestringreturntype
constant str2lplace
typestringreturntype
constant strpower2rep
typestringreturntype
constant lieBracket
typelist(poly(polyreturntype))
constant pmLiebr
typepoly(polyreturntype)
constant shiftPoly
typeint(polyreturntype)
constant mmLiebr
typepoly(polyreturntype)
constant test_shift
typereturntype
constant serreRelations
typeint(intmatreturntype)
constant fullSerreRelations
typeint(ideal(ideal(ideal(intmatreturntype))))
constant varIdeal2intvec
typeidealreturntype
constant lp2lstr
typedef(idealreturntype)
constant strList2poly
typelistreturntype
constant file2lplace
typestringreturntype
constant lpMultX
typepoly(polyreturntype)
constant lpMult
typepoly(polyreturntype)
constant lpPower
typeint(polyreturntype)
constant lpNF
typeideal(polyreturntype)
constant getExpVecs
typeidealreturntype
constant delSupZero
typeintvecreturntype
constant delSupZeroList
typelistreturntype
constant makeDVec
typeintvecreturntype
constant makeDVecL
typelistreturntype
constant makeDVecI
typeidealreturntype
constant dShiftDiv
typeintvec(intvecreturntype)
constant lpNormalForm1
typelist(ideal(polyreturntype))
constant getlpCoeffs
typepoly(polyreturntype)
constant lpReduce
typeint(poly(polyreturntype))
constant lpShrink
typepolyreturntype
constant checkAssumptions
typeideal(polyreturntype)
constant checkLPRing
typereturntype
constant checkAssumptionIdeal
typeidealreturntype
constant checkAssumptionPoly
typepolyreturntype
constant isContainedInVp
typepolyreturntype
constant extractLinearPart
typemodulereturntype
constant isLinearVector
typevectorreturntype
constant lpAssumeViolation
typereturntype
constant bugSKing
typereturntype
constant bugRucker
typereturntype
constant checkWeightedExampleLP
typereturntype