• GND.lib
    constant deltaf
    constant comb
    constant H
    constant extractP
    constant isinList
    constant findmc
    constant finddz
    constant inY
    constant myjet
    constant invp
    constant findminor
    constant findnewvar
    constant mylcm
    constant mysubstpoly
    constant mysubst
    constant crl
  • JMBTest.lib
    constant mod_init
    constant Terns
    constant VConst
    constant Minimus
    constant Maximus
    constant GJmpMins
    constant TernCompare
    constant MinOfV
    constant OrderingV
    constant StartOrderingV
    constant Multiply
    constant IdealOfV
    constant NewWeight
    constant FinalVm
    constant ConstructorMain
    constant EKCouples
    constant EKPolys
    constant EKPolynomials
    constant TestJMark
  • JMSConst.lib
    constant BorelCheck
    constant ArrangeBorel
    constant NumNewVar
    constant NewTails
    constant ArrangeTails
    constant mod_init
    constant Terns
    constant VConst
    constant Minimus
    constant Maximus
    constant GPolyMin
    constant TernComparer
    constant MinimalV
    constant OrderV
    constant StartOrderingV
    constant MultiplyJmP
    constant NewWeight
    constant FinalVm
    constant VmConstructor
    constant EKCouples
    constant EKPolynomials
    constant MultEKPolys
    constant SchemeEq
    constant JMarkedScheme
  • KVequiv.lib
    constant derlogV
    constant KVtangent
    constant KVversal
    constant KVvermap
    constant lft_vf
    constant abs
  • absfact.lib
    constant partialDegree
    constant belongTo
    constant variableWithSmallestPositiveDegree
    constant smallestProperSimpleFactor
    constant smallestProperFactor
    constant extensionContainingSmoothPoint
    constant RothsteinTragerResultant
    constant RothsteinTrager
    constant absFactorizeIrreducible
    constant absFactorize
    constant absFactorizeBCG
  • ainvar.lib
    constant sortier
    constant derivate
    constant actionIsProper
    constant reduction
    constant completeReduction
    constant completeReductionnew
    constant localInvar
    constant furtherInvar
    constant invariantRing
  • aksaka.lib
    constant fastExpt
    constant coeffmod
    constant powerpolyX
    constant log2
    constant wurzel
    constant euler
    constant PerfectPowerTest
    constant ask
  • alexpoly.lib
    constant resolutiongraph
    constant totalmultiplicities
    constant alexanderpolynomial
    constant semigroup
    constant charexp2generators
    constant charexp2multseq
    constant multseq2charexp
    constant charexp2inter
    constant charexp2conductor
    constant charexp2poly
    constant tau_es2
    constant euclidseq
    constant puiseuxchainpart
    constant puiseuxchain
    constant irred_resgraph_totmult
    constant max_in_intvec
    constant addmat
    constant divsequence
    constant adjust_tot_mult
    constant find_connection_point
    constant find_connection_points
    constant find_lower_connection_points
    constant euclides
    constant tau_es_qh
    constant move_row
    constant move_col
    constant move_row_col
    constant delete_row
    constant delete_col
    constant sort_branches
    constant find_last_non_one
    constant intmat_minus_one
    constant proximitymatrix
    constant addmultiplrows
    constant proxgauss
    constant extend_multiplicities
    constant intmat_inverse
  • algebra.lib
    constant algebra_containment
    constant module_containment
    constant inSubring
    constant algDependent
    constant alg_kernel
    constant is_injective
    constant is_surjective
    constant is_bijective
    constant noetherNormal
    constant finitenessTest
    constant mapIsFinite
    constant nonZeroEntry
  • arcpoint.lib
    constant nashmult
    constant pluginCoeffs
    constant tpolys
    constant ringchange
    constant variables_str
    constant atoz
    constant order
    constant modd
    constant removepower
    constant idealsimplify
    constant equalJinI
  • arr.lib
    constant mod_init
    constant arrAddArr
    constant arrAddPoly
    constant arrAddIdeal
    constant arrAddMatrix
    constant arrGet
    constant arrSet
    constant arrDelete
    constant arrLEQ
    constant arrGEQ
    constant arrEQ
    constant arrNEQ
    constant arrLNEQ
    constant arrGNEQ
    constant type2arr
    constant arr2poly
    constant arr2list
    constant arr2ideal
    constant arr2mat
    constant mat2arr
    constant mat2carr
    constant arrHomog
    constant arrSimplify
    constant arrSize
    constant arrSubst
    constant arrPrint
    constant arrPrintMatrix
    constant varMat
    constant varNum
    constant arrVariables
    constant arrNvars
    constant arrSwapVar
    constant arrLastVar
    constant arrCentral
    constant arrCentered
    constant arrCenter
    constant arrCentralize
    constant arrCoordChange
    constant arrCoordNormalize
    constant arrCone
    constant arrDecone
    constant arrLocalize
    constant arrRestrict
    constant arrIsEssential
    constant arrEssentialize
    constant arrBoolean
    constant arrBraid
    constant arrTypeB
    constant arrTypeD
    constant arrRandom
    constant arrRandomCentral
    constant arrEdelmanReiner
    constant arrOrlikSolomon
    constant arrIsFree
    constant lessGenerators
    constant getColumnIndependentUnitPositions
    constant multIdeal
    constant multarrAddPoly
    constant multarrAddIdeal
    constant multarrAddArr
    constant multarr2poly
    constant arr2multarr
    constant multarr2arr
    constant multarrPrint
    constant multarrSize
    constant multarrDelete
    constant multarrRestrict
    constant multarrMultRestrict
    constant arrLattice
    constant arrRank
    constant getOldRel
    constant updateRel
    constant isParent
    constant collectHplanes
    constant getFlat
    constant setFlat
    constant getFlag
    constant setFlag
    constant moebius
    constant moebiusRecursion
    constant arrPoincare
    constant arrCharPoly
    constant arrChambers
    constant arrBoundedChambers
    constant arrPrintPoset
    constant printMoebius
    constant arrFlats
    constant insertVal
    constant arrPrintFlats
    constant cposet
    constant printParents
    constant printFlags
    constant mergeIV
    constant isSmaller
    constant new2old
  • assprimeszerodim.lib
    constant zeroRadical
    constant pTest_zeroRadical
    constant finalTest_zeroRadical
    constant assPrimes
    constant specialAlgDepEHV
    constant specialAlgDepGTZ
    constant specialAlgDepMonico
    constant specialTest
    constant findGen
    constant pTestRad
    constant zeroRadP
    constant quickSubst
    constant modpSpecialAlgDep
    constant pTest_assPrimes
    constant finalTest_assPrimes
  • atkins.lib
    constant newTest
    constant bubblesort
    constant disc
    constant Cornacchia
    constant CornacchiaModified
    constant pFactor1
    constant maximum
    constant cmod
    constant sqr
    constant expo
    constant jOft
    constant round
    constant HilbertClassPoly
    constant rootsModp
    constant wUnit
    constant Atkin
  • bfun.lib
    constant safeVarName
    constant allPositive
    constant findFirst
    constant scalarProd
    constant linReduceIdeal
    constant linReduce
    constant linSyzSolve
    constant pIntersect
    constant pIntersectSyz
    constant vec2poly
    constant bfctengine
    constant bfct
    constant bfctSyz
    constant bfctIdeal
    constant bfctOneGB
    constant bfctAnn
  • bimodules.lib
    constant testbimoduleslib
    constant bistdIdeal
    constant bistd
    constant enveltrinityIdeal
    constant Zersubcols
    constant enveltrinity
    constant bitrinityIdeal
    constant bitrinity
    constant liftenvelope
    constant twoComp
    constant firstComp
    constant CompDecomp
    constant getOneComp
    constant isPureTensor
    constant isTwoSidedGB
  • brillnoether.lib
    constant RiemannRochBN
    constant truncate1
    constant findRandomForm
    constant chooseGenerators
  • brnoeth.lib
    constant closed_points
    constant pd2
    constant isPinL
    constant s_locus
    constant curve
    constant Aff_SL
    constant inf_P
    constant closed_points_ext
    constant degree_P
    constant closed_points_deg
    constant idealSubset
    constant belongs
    constant equals
    constant isInLP
    constant res_deg
    constant Frobenius
    constant conj_b
    constant grad_b
    constant conj_bs
    constant subfield
    constant importdatum
    constant rationalize
    constant place
    constant local_conductor
    constant max_D
    constant deg_D
    constant Adj_div
    constant NSplaces
    constant Ker
    constant get_NZsol
    constant supplement
    constant supplem
    constant mat_rank
    constant estim_n
    constant nforms
    constant nmultiples
    constant interpolating_forms
    constant local_IN
    constant extra_place
    constant intersection_div
    constant local_eq
    constant min_wt_rmat
    constant BrillNoether
    constant simplifyRF
    constant sumRF
    constant negRF
    constant escprodRF
    constant orderRF
    constant Weierstrass
    constant permute_L
    constant evalRF
    constant gen_mat
    constant dual_code
    constant disj_divs
    constant AGcode_L
    constant AGcode_Omega
    constant extcurve
    constant Hamming_wt
    constant prepSV
    constant decodeSV
    constant sys_code
    constant ratdevelop
  • central.lib
    constant DefaultValue
    constant DefaultInt
    constant DefaultIdeal
    constant toprint
    constant DBPrint
    constant BCall
    constant ECall
    constant makeNice
    constant monomialForm
    constant uni_poly
    constant smoothQideal
    constant PBW_maxDeg
    constant PBW_eqDeg
    constant PBW_maxMonom
    constant applyAdF
    constant linearMapKernel
    constant linearCombinations
    constant LINEAR_MAP_KERNEL
    constant ZeroKer
    constant variablesStandard
    constant variablesSorted
    constant centralizeSet
    constant centralizerVS
    constant centerVS
    constant centralizerRed
    constant centerRed
    constant INTERRED
    constant SANF
    constant maxdegInt
    constant mindegInt
    constant sa_reduce
    constant sa_poly_reduce
    constant inCentralizer_poly
    constant inCentralizer_list
    constant inCentralizer
    constant inCenter
    constant isCartan
    constant center
    constant centralizer
  • chern.lib
    constant symm
    constant symNsym
    constant CompleteHomog
    constant segre
    constant chern
    constant chNum
    constant chNumbers
    constant sum_of_powers
    constant powSumSym
    constant chAll
    constant chAllInv
    constant chHE
    constant ChernRootsSum
    constant chSum
    constant ChernRootsDual
    constant chDual
    constant ChernRootsProd
    constant chProd
    constant chProdE
    constant chProdL
    constant chProdLP
    constant chProdM
    constant chProdMP
    constant ChernRootsHom
    constant chHom
    constant ChernRootsSymm
    constant ChernRootsWedge
    constant chSymm
    constant chSymm2L
    constant chSymm2LP
    constant chWedge
    constant chWedge2L
    constant chWedge2LP
    constant todd
    constant toddE
    constant Bern
    constant tdCf
    constant tdTerms
    constant tdFactor
    constant cProj
    constant chProj
    constant tdProj
    constant eulerChProj
    constant chNumbersProj
    constant classpoly
    constant chernPoly
    constant chernCharPoly
    constant toddPoly
    constant rHRR
    constant SchurS
    constant SchurCh
    constant part
    constant dualPart
    constant PartC
    constant partOver
    constant partUnder
    constant SegreA
    constant FultonA
    constant CSMA
    constant EulerAff
    constant EulerProj
    constant append_by_zeroes
    constant is_integer
    constant integer_list
    constant appendToAll
    constant listSame
    constant IJcoef
    constant invertPart
    constant LRmul
    constant hook
    constant apn0_int
    constant contentPoly
    constant Pcoef
    constant max_deg
    constant var_pow
    constant equal_deg
    constant CSM_hypersurf
    constant random_hypersurf
    constant prds
  • cimonom.lib
    constant BelongSemig
    constant MinMult
    constant CompInt
  • cisimplicial.lib
    constant Multiple
    constant oneDimBelongSemigroup
    constant SBelongSemigroup
    constant belongSemigroup
    constant cardGroup
    constant minMult
    constant CheckMin
    constant SimplicialCheckMin
    constant Proportional
    constant StimatesMin
    constant isCI
  • classify.lib
    constant classify
    constant Klassifiziere
    constant Funktion1bis
    constant Funktion3
    constant Funktion6
    constant Funktion13
    constant Funktion17
    constant Funktion25
    constant Funktion40
    constant Funktion50
    constant Funktion58
    constant Funktion59
    constant Funktion66
    constant Funktion82
    constant Isomorphie_s82_z
    constant Isomorphie_s82_x
    constant Funktion83
    constant Funktion97
    constant tschirnhaus
    constant Isomorphie_s17
    constant printresult
    constant Funktion47
    constant Funktion91
    constant Funktion92
    constant Funktion93
    constant Funktion94
    constant Funktion95
    constant Funktion96
    constant morsesplit
    constant Coeffs
    constant Morse
    constant Coeff
    constant ReOrder
    constant quickclass
    constant milnorcode
    constant Hcode
    constant Cubic
    constant parity
    constant HKclass
    constant HKclass3
    constant HKclass3_teil_1
    constant HKclass5
    constant HKclass5_teil_1
    constant HKclass5_teil_2
    constant HKclass7
    constant HKclass7_teil_1
    constant singularity
    constant Singularitaet
    constant RandomPolyK
    constant debug_log
    constant init_debug
    constant basicinvariants
    constant corank
    constant Faktorisiere
    constant Teile
    constant GetRf
    constant Show
    constant DecodeNormalFormString
    constant normalform
    constant Setring
    constant internalfunctions
    constant prepRealclassify
    constant modality
    constant complexSingType
    constant exportinvariants
  • classifyMapGerms.lib
    constant coDimMap
    constant coDim
    constant vStd
    constant vStd_size1
    constant boundK
    constant correctBound
    constant reduceV
    constant reducer
    constant computeN
    constant myReduceM
    constant myReduce
    constant echelon
    constant normalMap
    constant reduc
    constant classifySimpleMaps
    constant classifySimpleMaps1
    constant modVStd0
    constant modVStd
    constant deleteUnluckyPrimesM
    constant deleteUnluckyPrimesM0
    constant pTestSBM
    constant pTestSBM0
    constant pTestSBM0_size1
    constant finalTestM
    constant testSBM
    constant finalTestM0
    constant finalTestM0_size1
  • classify_aeq.lib
    constant planeCur
    constant spaceCur
    constant sagbiAlg
    constant reducedSagbiAlg
    constant classifyAEQunimodal
    constant computeModulus
    constant n_thRoot
    constant bino
    constant sagbiMod
    constant cleanI
    constant semiGroup
    constant semiMod
    constant sagbiNF
    constant sagbiSP
    constant sortSagbi
    constant insertOne
    constant interReduceSagbi
    constant correctBound
    constant sortMinord
    constant inversP
    constant ConductorBound
    constant sortMOD
    constant SpolyMOD
    constant sagbiNFMODO
    constant specialSubst
    constant sagbiNFMOD
    constant createP
    constant enlargeP
    constant sortIntvec
    constant findConductor
    constant cutAfterConductor
    constant CompareList
    constant Guess
    constant inVar
    constant ivec
    constant normalMap
    constant reduc
    constant HHnormalForm
    constant findTrafo
    constant specialInterred
    constant specialReduce
  • classifyceq.lib
    constant classifyCeq
    constant blowupone
    constant classifyCeq1
    constant GDsplitting
    constant myMorsesplitting
    constant findlead
    constant splitting_one
    constant splitting_two
    constant quickSubst
    constant findVar
    constant forv
    constant classifyCeq2
    constant SPILPRO
    constant surCeq2
    constant surEsing
    constant surDsing
    constant formf
    constant whichSUR
    constant findSUR
    constant findRSUR
    constant BlowUpO
    constant lengthBL
    constant curCeq2
    constant whichtru
    constant findR
    constant findRD
    constant splitting_SQUA
    constant splitting_two2
    constant quickSubst2
    constant FindPRO
    constant FindSQUA
    constant findVAR
    constant redvar2
    constant inverseUnit
    constant splittingLchar2
  • classifyci.lib
    constant classifyicis
    constant ICIS12
    constant zerodim_ICIS
    constant Finda
    constant testDiv
    constant findwhichF
    constant factorExt
    constant onedim_ICIS
    constant arnoldsimple
    constant specialNF
    constant linearpart
    constant typejet2
    constant compL
    constant compLL
    constant changeType
    constant genericmilnor
    constant Semigroup
    constant del
    constant commonpartlists
    constant semi_group
  • compregb.lib
    constant setup_special_dpolys
    constant newcasebasis
    constant contains
    constant polys_heads
    constant polys_restrict_v
    constant polys_restrict_p
    constant polys_separate_v_p
    constant cgs_main
    constant cgs
    constant basis2str
    constant bases2str
  • control.lib
    constant Opt_Our
    constant space
    constant view
    constant rightKernel
    constant leftKernel
    constant leftInverse
    constant rightInverse
    constant dim_Our
    constant Ann_Our
    constant Ext_Our
    constant control_output
    constant control
    constant controlDim
    constant colrank
    constant autonom_output
    constant autonomDim
    constant autonom
    constant genericity
    constant victors_genericity
    constant evas_genericity
    constant canonize
    constant elementof
    constant iostruct
    constant smdeg
    constant NoNon0Pol
    constant extgcd_Our
    constant normalize_Our
    constant oldsmith
    constant verbatim_tex
    constant findTorsion
    constant controlExample
    constant exCauchy1
    constant exCauchy2
    constant exZerz1
    constant exControl1
    constant exControl2
    constant exAntenna
    constant exEinstein
    constant exFlexibleRod
    constant exTwoPendula
    constant exWindTunnel
  • crypto.lib
    constant decimal
    constant eexgcdN
    constant lcmN
    constant powerN
    constant chineseRem
    constant Jacobi
    constant primList
    constant primL
    constant intPart
    constant intRoot
    constant squareRoot
    constant solutionsMod2
    constant powerX
    constant babyGiant
    constant rho
    constant MillerRabin
    constant SolowayStrassen
    constant PocklingtonLehmer
    constant PollardRho
    constant pFactor
    constant quadraticSieve
    constant isOnCurve
    constant ellipticAdd
    constant ellipticMult
    constant ellipticRandomCurve
    constant ellipticRandomPoint
    constant countPoints
    constant ellipticAllPoints
    constant ShanksMestre
    constant Schoof
    constant generateG
    constant testElliptic
    constant factorLenstraECM
    constant ECPP
    constant wordToNumber
    constant numberToWord
    constant code
    constant decodeString
    constant set_multiply_list_content
    constant set_delete_certain_element
    constant set_bubblesort_int
    constant set_is_set
    constant set_contains
    constant set_delete_duplicates
    constant set_equals
    constant set_insert
    constant set_union
    constant set_section
    constant set_list_delete_duplicates
    constant set_construct_increasing_set
    constant set_addtoall
    constant set_turn
    constant set_subset_set
    constant calculate_ordering
    constant is_primitive_root
    constant find_first_primitive_root
    constant binary_add
    constant inverse_modulus
    constant is_prime
    constant find_biggest_index
    constant find_index
    constant subset_sum01
    constant subset_sum02
    constant unbounded_knapsack
    constant multidimensional_knapsack
    constant naccache_stern_generation
    constant naccache_stern_encryption
    constant naccache_stern_decryption
    constant m_merkle_hellman_transformation
    constant m_merkle_hellman_encryption
    constant m_merkle_hellman_decryption
    constant merkle_hellman_transformation
    constant merkle_hellman_encryption
    constant merkle_hellman_decryption
    constant super_increasing_knapsack
    constant h_increasing_knapsack
    constant injective_knapsack
    constant calculate_max_sum
    constant set_is_injective
    constant is_h_injective
    constant is_fix_injective
    constant three_elements
  • curveInv.lib
    constant curveDeltaInv
    constant conductorMinPrime
    constant conductorIdealIntersect
    constant curveConductorMult
    constant curveDeligneNumber
    constant curveColengthDerivations
    constant curveColengthDerivationsComp
    constant curveExtDerModule
    constant curveAdjustModule
    constant curveDdim
    constant vecDerivationEval
    constant find_der
  • curvepar.lib
    constant BlowingUp
    constant ZeroIdeal
    constant main
    constant transversalTest
    constant SmoothTest
    constant CurveRes
    constant mlist
    constant mmult
    constant mjacob
    constant mmi
    constant mC
    constant mmF
    constant cparam
    constant CurveParam
    constant Semi
    constant AddElem
    constant WSemigroup
    constant quickSubst
    constant semi2char
    constant primparam
    constant transform
    constant compose
    constant rduce
    constant divide
    constant contact
    constant converter
    constant intermat
    constant lengths
    constant sorting
    constant MultiplicitySequence
    constant IntersectionMatrix
    constant CharacteristicExponents
    constant contactNumber
    constant ContactMatrix
    constant plainInvariants
    constant bound
    constant boundparam
  • customstd.lib
    constant monomialabortstd
    constant satstd
    constant mod_init
  • deRham.lib
    constant deRhamCohomology
    constant MVComplex
    constant SannfsIBM
    constant quasiisomorphicVdComplex
    constant vdStrictIntersect
    constant vdStrictIntersectPlus
    constant toVdStrictFreeComplex
    constant sublist
    constant LMSubset
    constant shortExactPieces
    constant bzhzcb
    constant shortExactPiecesToVdStrict
    constant toVdStrictSequence
    constant toVdStrictSequences
    constant VdStrictDoubleComplexes
    constant toVdStrict2x3Complex
    constant assemblingDoubleComplexes
    constant totalComplex
    constant globalBFun
    constant exactGlobalBFun
    constant exactGlobalBFunIntegration
    constant bFctIdealModified
    constant safeVarName
    constant globalBFunOT
    constant findCohomology
    constant findCohomologyDiffForms
    constant findPreimage
    constant divdr
    constant matrixLift
    constant VdStrictGB
    constant VdNormalForm
    constant homogenize
    constant soldr
    constant prodr
    constant VdDeg
    constant VdDegTilde
    constant VdDegnhv
    constant deletecol
    constant mHom
    constant permuteVar
    constant makeHomogenizedWeyl
    constant makeHomogenizedWeylTilde
    constant makeConverseHomogenizedWeylTilde
    constant converseHomogenizedWeyl
    constant homogenizedWeyl
    constant nHomogenize
    constant nDeg
    constant minIntRootD
    constant converseWeyl
    constant makeConverseWeyl
    constant makeOmega
    constant makeDoubleComplex
    constant transferDiffforms
  • decodegb.lib
    constant lis
    constant combinations
    constant p_poly
    constant sysCRHT
    constant sysCRHTMindist
    constant mod_
    constant sysNewton
    constant combinations_sum
    constant exp_count
    constant sysBin
    constant encode
    constant syndrome
    constant star
    constant sysQE
    constant errorInsert
    constant errorRand
    constant randomCheck
    constant genMDSMat
    constant mindist
    constant decode
    constant decodeRandom
    constant decodeCode
    constant add_synd
    constant ev
    constant find_index
    constant ideal2list
    constant list2ideal
    constant divisible
    constant vanishId
    constant pointsGen
    constant list2vec
    constant convPoints
    constant graspList
    constant xi_gen
    constant gener_funcs
    constant sysFL
    constant FLpreprocess
    constant x_var
    constant randomvector
    constant asElement
    constant random_prime_vector
    constant decodeRandomFL
    constant LF_add_synd
  • decomp.lib
    constant decompopts
    constant decompmonom
    constant divintvecs
    constant gcdv
    constant divisors
    constant improvecoef
    constant compose
    constant is_composite
    constant decompose
    constant decompmultivmonic
    constant decompunivmonic
    constant reversal
    constant newtonrroot
    constant randomintvec
    constant makedistinguished
    constant maxdegs
    constant chebyshev
  • deflation.lib
    constant getLambda
    constant process_choice_for_i
    constant append_var_list
    constant remove_constants
    constant exhaust_options
    constant deflateHMS
    constant complementary_ro_co_vecs
    constant certain_submats
    constant det_augment
    constant deflateHW1
    constant makeB
    constant makeIX
    constant deflateHW2
    constant deflateLVZ
  • deform.lib
    constant versal
    constant mod_versal
    constant kill_rings
    constant compute_ext
    constant get_rings
    constant get_inf_def
    constant lift_rel_kb
    constant lift_kbase
    constant interact1
    constant interact2
    constant negative_part
    constant find_ord
    constant homog_test
    constant homog_t
  • difform.lib
    constant mod_init
    constant diffAlgebra
    constant diffAlgebraStructure
    constant diffAlgebraCheck
    constant diffAlgebraSwitch
    constant diffAlgebraGens
    constant diffAlgebraUnivDerIdeal
    constant diffAlgebraChangeOrd
    constant diffAlgebraListGen
    constant diffAlgebraIntToDual
    constant difformFromPoly
    constant difformCoef
    constant difformGenToString
    constant difformToString
    constant difformPrint
    constant difformIsGen
    constant difformAdd
    constant difformSub
    constant difformNeg
    constant difformMul
    constant difformDiv
    constant difformEqu
    constant difformNeq
    constant difformIsBigger
    constant difformIsSmaller
    constant difformDeg
    constant difformIsHomog
    constant difformIsHomogDeg
    constant difformHomogDecomp
    constant difformListCont
    constant difformListSort
    constant difformUnivDer
    constant difformDiff
    constant derivationFromList
    constant derivationCheckList
    constant derivationFromPoly
    constant derivationConstructor
    constant derivationToString
    constant derivationPrint
    constant derivationAdd
    constant derivationSub
    constant derivationNeg
    constant derivationMul
    constant derivationEqu
    constant derivationNeq
    constant derivationEval
    constant derivationContractionGen
    constant derivationContraction
    constant derivationLie
    constant diffAlgebra_example_1
    constant diffAlgebra_example_2
    constant diffAlgebra_example_3
    constant diffAlgebra_example_4
    constant difform_example_1
    constant difform_example_2
    constant derivation_example_1
    constant derivation_example_2
    constant derivation_example_3
  • divisors.lib
    constant mod_init
    constant divisor_print
    constant formaldivisor_print
    constant makeDivisor
    constant divisorplus
    constant multdivisor
    constant proxymultdivisor
    constant negativedivisor
    constant normalForm
    constant isEqualIdeal
    constant isEqualDivisor
    constant purify1
    constant basis
    constant globalSections
    constant sectionIdeal
    constant degreeDivisor
    constant linearlyEquivalent
    constant effective
    constant makeFormalDivisor
    constant evaluateFormalDivisor
    constant position
    constant formaldivisorplus
    constant degreeFormalDivisor
    constant multformaldivisor
    constant proxymultformaldivisor
    constant negativeformaldivisor
    constant primDecDivisor
    constant makePDivisor
    constant decomposePolyhedron
    constant evaluatePDivisor
    constant pdivisorplus
  • dmod.lib
    constant testdmodlib
    constant annfs
    constant Sannfs
    constant Sannfslog
    constant ALTannfsBM
    constant bernsteinBM
    constant annfsBM
    constant annfs2
    constant annfsRB
    constant operatorBM
    constant operatorModulo
    constant annfsParamBM
    constant annfsBMI
    constant annfsOT
    constant SannfsOT
    constant SannfsBM
    constant safeVarName
    constant SannfsBFCT
    constant SannfsBFCTstd
    constant SannfsLOT
    constant annfsLOT
    constant annfs0
    constant convloc
    constant annfspecial
    constant minIntRoot
    constant isHolonomic
    constant reiffen
    constant arrange
    constant checkRoot
    constant checkRoot1
    constant checkRoot2
    constant checkFactor
    constant indAR
    constant isRational
    constant bernsteinLift
  • dmodapp.lib
    constant testdmodapp
    constant dmodappAssumeViolation
    constant dmodappMoreAssumeViolation
    constant safeVarName
    constant intLike
    constant engine
    constant poly2list
    constant fl2poly
    constant insertGenerator
    constant deleteGenerator
    constant sortNumberIdeal
    constant bFactor
    constant isInt
    constant intRoots
    constant sortIntvec
    constant isFsat
    constant annRat
    constant annPoly
    constant DLoc
    constant DLoc0
    constant SDLoc
    constant GBWeight
    constant inForm
    constant initialIdealW
    constant initialMalgrange
    constant restrictionModuleEngine
    constant restrictionModuleOutput
    constant restrictionModule
    constant restrictionIdealEngine
    constant restrictionIdeal
    constant fourier
    constant inverseFourier
    constant integralModule
    constant integralIdeal
    constant deRhamCohomIdeal
    constant deRhamCohom
    constant appelF1
    constant appelF2
    constant appelF4
    constant charVariety
    constant charInfo
  • dmodloc.lib
    constant testdmodloc
    constant dmodGeneralAssumptionCheck
    constant safeVarName
    constant extendWeyl
    constant polyVars
    constant monomialInIdeal
    constant vars2pars
    constant minMaxIntRoot
    constant minIntRoot2
    constant maxIntRoot
    constant dmodAction
    constant checkRatInput
    constant dmodActionRat
    constant arithmeticRat
    constant simplifyRat
    constant addRat
    constant multRat
    constant diffRat
    constant commRing
    constant orderedPartition
    constant holonomicRank
    constant DsingularLocus
    constant finKx
    constant rightNFWeyl
    constant Dlocalization
    constant orderFiltrationD1
    constant kerLinMapD1
    constant leftDivisionKxD1
    constant WeylClosure1
    constant WeylClosure
    constant polSol
    constant ex_polSol
    constant polSolFiniteRank
    constant twistedIdeal
    constant ratSol
    constant bfctBound
    constant annRatSyz
  • dmodvar.lib
    constant testdmodvarlib
    constant dmodvarAssumeViolation
    constant safeVarName
    constant coDim
    constant ORDstr2list
    constant SannfsVar
    constant bfctVarAnn
    constant makeMalgrange
    constant bfctVarIn
    constant smallGenCoDim
  • ehv.lib
    constant AnnExtEHV
    constant isSubset
    constant equiMaxEHV
    constant removeComponent
    constant AssOfDim
    constant aJacob
    constant equiRadEHV
    constant radEHV
    constant IntAssOfDim1
    constant IntAssOfDim2
    constant decompEHV
    constant idempotent
    constant equiAssEHV
    constant AssEHV
    constant minAssEHV
    constant localize
    constant componentEHV
    constant primdecEHV
    constant removeRedundantComponents
    constant primDecsAreEquivalent
  • elim.lib
    constant blowup0
    constant elimRing
    constant elim
    constant elim2
    constant elim1
    constant nselect
    constant sat
    constant select
    constant select1
  • ellipticcovers.lib
    constant mod_init
    constant catNet
    constant netList
    constant printNet
    constant net
    constant printGraph
    constant makeGraph
    constant propagator
    constant computeConstant
    constant evaluateIntegral
    constant permute
    constant partitions
    constant gromovWitten
    constant computeGromovWitten
    constant lsum
    constant generatingFunction
  • equising.lib
    constant xyVector
    constant swapXY
    constant m_Jet
    constant control_Matrix
    constant inf_Tangents
    constant Determine_no_b
    constant no_freePoints
    constant makeMinPolyString
    constant createMyRing_new
    constant determine_coef
    constant checkPoly
    constant make_ring_small
    constant esComputation
    constant tau_es
    constant esIdeal
    constant esStratum
    constant isEquising
  • ffmodstd.lib
    constant collect_coeffs
    constant Testlist_all
    constant polyInterpolation
    constant NewtonInterpolationNormal
    constant test_the_shift
    constant Evaluate_givenI
    constant choose_a_shift
    constant choose_a_prime
    constant list_of_primes
    constant reverse_coef
    constant rev_coef_new
    constant BerlekampMassey
    constant find_monomials
    constant p_adic_valuation
    constant rootsofpoly
    constant generate_tVandermondeMatrix
    constant sparseInterpolation
    constant fareypoly
    constant lu
    constant list_coef_index
    constant scalIdeal
    constant evaluate_f_at_given_points
    constant evaluatef_ataprime_power
    constant Add_poly_list
    constant SubList
    constant Add_the_list_farey
    constant Add_list_of_list
    constant Add_two_lists
    constant arrange_list_first
    constant return_coef_indx
    constant return_coef_indx_wrtk
    constant arrangeListofIdeals
    constant Add_the_shift_and_evaluate_new
    constant generate_uniRationalFunctions
    constant normalize_LiftofIdeal
    constant normalize_constTerm
    constant normalize_constTermAll
    constant stdoverFF
    constant test_fmodI
    constant choose_evaluation_points
    constant firststdmodp
    constant list_all_monom
    constant fareypolyEarlyTermination
    constant RecoverCoeffsForAFixedData
    constant interpolation_farey_lift_parallel
    constant lift_interp_farey
    constant fareypoly_wrt_deg_dg
    constant passThePreList
    constant prime_test
    constant prime_pass
    constant select_the_command
    constant modp_tran
    constant ffmodStdOne
    constant primeTest_tran
    constant ideal_Inclusion
    constant pTest_tran
    constant finalTest
    constant finalTest_tran
    constant ffmodStd
  • ffsolve.lib
    constant ffsolve
    constant PEsolve
    constant simplesolver
    constant GBsolve
    constant XLsolve
    constant ZZsolve
    constant linearReduce
    constant monomialsOfDegreeAtMost
    constant reorderMonomials
    constant melyseg
    constant productOfEqs
    constant clonering
    constant defaultIdeal
    constant order_of_extension
    constant vec2elm
    constant increment
    constant nextVec
    constant every_vector
    constant num2int
    constant get_minpoly_str
    constant sort_ideal
    constant add_if_new
    constant Z_get_minpoly
    constant Z_phi
    constant Z_default_ideal
  • findifs.lib
    constant tst_findif
    constant xchange
    constant par2tex
    constant replace
    constant exp2pt
    constant mon2pt
    constant npar
    constant decoef
    constant texcoef
    constant rmDol
    constant difpoly2tex
    constant magnitude
    constant clTex
    constant simfrac
    constant findifs_example
  • finitediff.lib
    constant getit
    constant visualize
    constant imageideal
    constant u
    constant pos
    constant re
    constant scheme
    constant diffpar
    constant laxfrT
    constant laxfrX
    constant forward
    constant backward
    constant central1st
    constant central2nd
    constant trapezoid
    constant midpoint
    constant pyramid
    constant setinitials
    constant errormap
    constant stepmatrix
    constant maxexp
    constant maximal
    constant minimal
    constant MatrixEntry
    constant CompareVec
    constant MaxVecZero
    constant matrixsystem
    constant timestep
    constant fouriersystem
    constant PartitionVar
    constant ComplexValue
    constant VarToPar
    constant ParToVar
    constant qepcad
    constant createQCfilter
    constant qepcadsystem
    constant substbracketstar
    constant distribution
    constant writepoly
    constant varlist
    constant normalization
    constant projection
    constant choice
    constant solution
    constant nfreevars
    constant aquantor
    constant rel
    constant rm
    constant findthepoly
    constant listpolynew
    constant translatenew
    constant rightorder
    constant listfind
    constant cutoffrel
    constant addintvec
    constant intveclist
    constant listintvec
    constant TestAndDelete
    constant nchoice
  • finvar.lib
    constant unique
    constant cyclotomic
    constant group_reynolds
    constant exponent
    constant molien
    constant reynolds_molien
    constant partial_molien
    constant evaluate_reynolds
    constant invariant_basis
    constant invariant_basis_reynolds
    constant sort_of_invariant_basis
    constant next_vector
    constant int_number_map
    constant search
    constant p_search
    constant primary_char0
    constant primary_charp
    constant primary_char0_no_molien
    constant primary_charp_no_molien
    constant primary_charp_without
    constant primary_invariants
    constant search_random
    constant p_search_random
    constant primary_char0_random
    constant primary_charp_random
    constant primary_char0_no_molien_random
    constant primary_charp_no_molien_random
    constant primary_charp_without_random
    constant primary_invariants_random
    constant concat_intmat
    constant power_products
    constant old_secondary_char0
    constant secondary_char0
    constant irred_secondary_char0
    constant old_secondary_charp
    constant secondary_charp
    constant secondary_no_molien
    constant secondary_and_irreducibles_no_molien
    constant irred_secondary_no_molien
    constant secondary_not_cohen_macaulay
    constant invariant_ring
    constant invariant_ring_random
    constant orbit_variety
    constant degvec
    constant rel_orbit_variety
    constant relative_orbit_variety
    constant image_of_variety
    constant GetMatrix
    constant GetGroup
    constant orbit_sums
    constant invariant_algebra_perm
    constant invariant_algebra_reynolds
  • fpadim.lib
    constant allVars
    constant checkAssumptions
    constant createStartMat
    constant createStartMat1
    constant entryViolation
    constant findDimen
    constant findCycle
    constant findHCoeff
    constant findHCoeffMis
    constant findMisDim
    constant findmistletoes
    constant isInList
    constant isInMat
    constant isInVec
    constant ivL2lpI
    constant iv2lp
    constant iv2lpList
    constant iv2lpMat
    constant lpId2ivLi
    constant lp2iv
    constant lp2ivId
    constant ivDHilbert
    constant ivDHilbertSickle
    constant ivDimCheck
    constant ivHilbert
    constant ivKDim
    constant ivMis2Base
    constant ivMis2Dim
    constant ivOrdMisLex
    constant ivSickle
    constant ivSickleDim
    constant ivSickleHil
    constant lpDHilbert
    constant lpDHilbertSickle
    constant lpHilbert
    constant lpDimCheck
    constant lpKDim
    constant lpMis2Base
    constant lpMis2Dim
    constant lpOrdMisLex
    constant lpSickle
    constant lpSickleDim
    constant lpSickleHil
    constant sickle
    constant tst_fpadim
  • freegb.lib
    constant tstfreegb
    constant setLetterplaceAttributes
    constant lshift
    constant skip0
    constant lst2str
    constant mod2str
    constant vct2str
    constant isVar
    constant id2words
    constant mono2word
    constant letplaceGBasis
    constant freeGBasis
    constant crs
    constant polylen
    constant makeLetterplaceRing
    constant makeLetterplaceRing1
    constant makeLetterplaceRing2
    constant makeLetterplaceRing3
    constant freegbold
    constant ademRelations
    constant stringpoly2lplace
    constant addplaces
    constant sent2lplace
    constant testnumber
    constant str2lplace
    constant strpower2rep
    constant lieBracket
    constant pmLiebr
    constant shiftPoly
    constant mmLiebr
    constant test_shift
    constant serreRelations
    constant fullSerreRelations
    constant varIdeal2intvec
    constant lp2lstr
    constant strList2poly
    constant file2lplace
    constant lpMultX
    constant lpMult
    constant lpPower
    constant lpNF
    constant getExpVecs
    constant delSupZero
    constant delSupZeroList
    constant makeDVec
    constant makeDVecL
    constant makeDVecI
    constant dShiftDiv
    constant lpNormalForm1
    constant getlpCoeffs
    constant lpReduce
    constant lpShrink
    constant checkAssumptions
    constant checkLPRing
    constant checkAssumptionIdeal
    constant checkAssumptionPoly
    constant isContainedInVp
    constant extractLinearPart
    constant isLinearVector
    constant lpAssumeViolation
    constant bugSKing
    constant bugRucker
    constant checkWeightedExampleLP
  • general.lib
    constant A_Z
    constant ASCII
    constant absValue
    constant binomial
    constant factorial
    constant fibonacci
    constant kmemory
    constant number_e
    constant number_pi
    constant primes
    constant product
    constant sort
    constant lsum
    constant sum
    constant watchdog
    constant deleteSublist
    constant primecoeffs
    constant timeFactorize
    constant timeStd
    constant factorH
  • gfan.lib
    constant fullSpace
    constant origin
    constant positiveOrthant
    constant intmatToGfanVectorConfiguration
    constant secondaryFan
    constant ambientDimension
    constant canonicalizeCone
    constant codimension
    constant coneViaPoints
    constant coneViaInequalities
    constant coneLink
    constant containsAsFace
    constant containsRelatively
    constant containsInSupport
    constant containsPositiveVector
    constant convexHull
    constant convexIntersection
    constant dimension
    constant dualCone
    constant equations
    constant faceContaining
    constant facets
    constant generatorsOfLinealitySpace
    constant generatorsOfSpan
    constant getLinearForms
    constant getMultiplicity
    constant inequalities
    constant isFullSpace
    constant isOrigin
    constant isSimplicial
    constant linealityDimension
    constant linealitySpace
    constant negatedCone
    constant quotientLatticeBasis
    constant randomPoint
    constant rays
    constant relativeInteriorPoint
    constant semigroupGenerator
    constant setLinearForms
    constant setMultiplicity
    constant span
    constant uniquePoint
    constant containsInCollection
    constant emptyFan
    constant fanViaCones
    constant fullFan
    constant fVector
    constant getCone
    constant insertCone
    constant isCompatible
    constant isPure
    constant nmaxcones
    constant ncones
    constant numberOfConesOfDimension
    constant removeCone
    constant dualPolytope
    constant newtonPolytope
    constant polytopeViaPoints
    constant polytopeViaInequalities
    constant vertices
    constant mod_init
  • gitfan.lib
    constant mod_init
    constant emptyString
    constant printPermutation
    constant int2face
    constant afaces
    constant saturateWithRespectToVariable
    constant stepwiseSaturation
    constant isAface
    constant applyPermutationToIntvec
    constant isContained
    constant computeSimplexOrbit
    constant computeAfaceOrbits
    constant isSubset
    constant containsOrbitd
    constant minimalAfaceOrbits
    constant list2string
    constant fullDimImages
    constant orbitConeOrbits
    constant minimalOrbitConeOrbits
    constant containsOrbitdCone
    constant isSubcone
    constant intersectOrbitsWithMovingCone
    constant coneToString
    constant storeOrbitConeOrbits
    constant storeCone
    constant listToIntvec
    constant intvecToList
    constant stackMatrices
    constant movingCone
    constant pivotIndices
    constant groupActionOnQImage
    constant perm2mat
    constant imageCone
    constant matrixToIntmat
    constant groupActionOnHashes
    constant composePermutationsGAP
    constant composePermutations
    constant permutationPower
    constant permutationFromIntvec
    constant evaluateProduct
    constant permutationToIntvec
    constant storeActionOnOrbitConeIndices
    constant getNeighborHash
    constant GITfanSymmetric
    constant GITfanParallelSymmetric
    constant computeNeighbourMinimalHashes
    constant writeGitconeToFile
    constant listOfFacetsAndInteriorVectors
    constant findPosToInsertSymmetric
    constant insertToList
    constant GITcone
    constant gitConeFromHash
    constant randConeEl
    constant subdividelist
    constant orbitCones
    constant GITfanFromOrbitCones
    constant GITfanParallel
    constant computeNeighbourHashes
    constant minimalAfaces
    constant GITfan
    constant hashToCone
    constant bigintToBinary
    constant hashesToFan
    constant gkzFan
    constant simplicialToricOrbitCones
    constant G25Action
    constant findOrbits
    constant GITfanWrapperWithSymmetry
    constant gitCone
    constant orbitConesOld
  • gkdim.lib
    constant idGKdim
    constant GKdim
    constant gkdim
  • gmspoly.lib
    constant mindegree
    constant maxdegree
    constant isTame
    constant chart
    constant pidbasis
    constant vfiltmat
    constant spec
    constant fsplit
    constant glift
    constant goodBasis
  • gmssing.lib
    constant stdtrans
    constant gmsring
    constant gmsnf
    constant gmscoeffs
    constant mindegree
    constant maxdegree
    constant saturate
    constant tjet
    constant eigenval
    constant transform
    constant bernstein
    constant monodromy
    constant spectrum
    constant sppairs
    constant vfilt
    constant vwfilt
    constant fsplit
    constant glift
    constant tmatrix
    constant endvfilt
    constant sppnf
    constant sppprint
    constant spadd
    constant spsub
    constant spmul
    constant spissemicont
    constant spsemicont
    constant spmilnor
    constant spgeomgenus
    constant spgamma
  • goettsche.lib
    constant GoettscheF
    constant PPolyH
    constant BettiNumsH
    constant MacdonaldF
    constant PPolyS
    constant BettiNumsS
    constant checkBetti
    constant generFactor
  • graal.lib
    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
  • gradedModules.lib
    constant repeat
    constant pad
    constant mstring
    constant grsumstr
    constant draw
    constant issorted
    constant mysort
    constant reorder
    constant grtranspose1
    constant grorder
    constant grzero
    constant grtwists
    constant grtwist
    constant grpower
    constant grshift
    constant grisequal
    constant grobj
    constant grtest
    constant align
    constant grres
    constant grtranspose
    constant grgens
    constant grpres
    constant grrndmat
    constant KeneshlouMatrixPresentation
    constant grrndmap
    constant grrndmap2
    constant matrixpres
  • graphics.lib
    constant staircase
    constant mathinit
    constant checkshort
    constant determvars
    constant endstr
    constant mplot
  • grobcov.lib
    constant elimintfromideal
    constant delfromideal
    constant delidfromid
    constant equalideals
    constant equallistideals
    constant idcontains
    constant selectminideals
    constant pos
    constant equallistsofideals
    constant equallistsA
    constant equallistsAall
    constant idint
    constant idintR
    constant comb
    constant combrep
    constant cld
    constant simpqcoeffs
    constant pdivi
    constant pspol
    constant facvar
    constant Ered
    constant pnormalf
    constant lesspol
    constant sortideal
    constant mingb
    constant redgbn
    constant postredgb
    constant gbR
    constant incquotient
    constant idbefid
    constant sortlistideals
    constant Crep
    constant Crep0
    constant Prep
    constant Prep0
    constant PtoCrep
    constant PtoCrep0
    constant cgsdr
    constant grsegments
    constant LCUnion
    constant LCUnionN
    constant addpart
    constant addpartfine
    constant needcombine
    constant precombine
    constant combine
    constant gcover
    constant grobcov
    constant extendpoly
    constant extendGC
    constant nonzerodivisor
    constant nullin
    constant monoms
    constant findindexpolys
    constant extendcoef
    constant selectregularfun
    constant searchinlist
    constant selectminsheaves
    constant smsheaves
    constant allsheaves
    constant numones
    constant actualize
    constant intersp
    constant radicalmember
    constant selectextendcoef
    constant plusP
    constant reform
    constant precombint
    constant minGTZ
    constant inconsistent
    constant MDBasis
    constant primepartZ
    constant LCMLC
    constant KSW
    constant sqf
    constant KSW0
    constant KSWtocgsdr
    constant KtoPrep
    constant groupKSWsegments
    constant zeroone
    constant subsets
    constant SimplifyUnion
    constant FirstLevel
    constant ConstoPrep
    constant ConsLevels
    constant ConsLevelsToLevels
    constant indepparameters
    constant dimP0
    constant DimPar
    constant dimComp
    constant minuselements
    constant NorSing
    constant determineF
    constant locus0
    constant locus2
    constant NS
    constant NS5
    constant dimM
    constant stdlocus
    constant locus
    constant locusdg
    constant locusto
    constant envelop
    constant AssocTanToEnv
    constant FamElemsAtEnvCompPoints
    constant discrim
    constant AddLocus
    constant LocusConsLevels
    constant WLemma
    constant redbasis
    constant redPbasis
    constant idminusid
    constant simpB
    constant elimfacsinP
  • groups.lib
    constant splitS1
    constant splitS
    constant finalSplit
    constant noSolution
    constant changeOrdTest
    constant trivialSplit
    constant trivialSimplify
    constant simpliFy
    constant squarefreeP
    constant contentS
    constant shortid_L
  • grwalk.lib
    constant OrderStringalp_NP
    constant awalk1
    constant gwalk
    constant awalk1_tmp
    constant fwalk
    constant awalk2
    constant pwalk
    constant twalk
  • hdepth.lib
    constant myinverse
    constant hilbconstruct
    constant positiv
    constant sumcoef
    constant hdepth_p
    constant hdepth
  • hess.lib
    constant RiemannRochHess
    constant matrixrep
    constant freeGenerators
    constant inverseIdeal
    constant transmatrix
    constant maxorderInfinite
    constant redmatrix
    constant normalFormInf
    constant colDegree
    constant coefficientAt
    constant computeInvariants
    constant contentMatrix
    constant idealGcd
    constant ideal2list
    constant zerosM
    constant multiplyMatrixList
    constant isIrreducible
    constant sumFracIdeals
    constant multiplyFracIdeals
    constant powerFracIdeal
    constant isEqualFracIdeal
    constant isEqualId
    constant multiplyList
    constant Free2IdealRepresentation
    constant divisorTrans
    constant infPlaces
    constant transformPlacesAtInfinity
  • hnoether.lib
    constant further_hn_proc
    constant getnm
    constant leit
    constant testreducible
    constant T_Transform
    constant T1_Transform
    constant T2_Transform
    constant koeff
    constant squarefree
    constant allsquarefree
    constant is_irred
    constant polytest
    constant develop
    constant param
    constant puiseux2generators
    constant intersection
    constant separateHNE
    constant displayHNE
    constant newtonpoly
    constant is_NND
    constant charPoly
    constant find_in_list
    constant get_last_divisor
    constant redleit
    constant extdevelop
    constant stripHNE
    constant extractHNEs
    constant factorfirst
    constant hnexpansion
    constant pre_HN
    constant essdevelop
    constant HN
    constant constructHNEs
    constant referencepoly
    constant factorlist
  • homolog.lib
    constant cup
    constant cupproduct
    constant Ext_R
    constant Ext
    constant Hom
    constant homology
    constant hom_kernel
    constant kohom
    constant kontrahom
    constant tensorMod
    constant Tor
    constant fitting
    constant isLocallyFree
    constant flatteningStrat
    constant isFlat
    constant flatLocus
    constant isReg
    constant binom_int
    constant basisNumber
    constant basisElement
    constant KoszulMap
    constant KoszulHomology
    constant depth
    constant isCM
    constant canonMap
    constant Max
  • hyperel.lib
    constant ishyper
    constant isoncurve
    constant divrem
    constant chinrestp
    constant norm
    constant multi
    constant darst
    constant ratrep1
    constant ratrep
    constant ordnung
    constant divisor
    constant gcddivisor
    constant semidiv
    constant cantoradd
    constant cantorred
    constant double
    constant cantormult
  • inout.lib
    constant allprint
    constant pmat
    constant show
    constant showrecursive
    constant split
    constant tab
    constant pause
  • integralbasis.lib
    constant integralBasis
    constant integralBasisMain
    constant integralLocal
    constant cancelCF
  • intprog.lib
    constant solve_IP_1
    constant solve_IP_2
    constant solve_IP_3
    constant solve_IP_4
  • involut.lib
    constant ncdetection
    constant In_Poly
    constant Hom_Poly
    constant invo_poly
    constant involution
    constant new_var
    constant NVAR
    constant new_var_special
    constant RelMatr
    constant findInvo
    constant findInvoDiag
    constant findAuto
    constant isAntiEndo
    constant isInvolution
  • jacobson.lib
    constant tstjacobson
    constant divideUnits
    constant smith
    constant diagonal_with_trafo
    constant divisibility
    constant jacobson
    constant triangle
    constant divideByContent
  • kskernel.lib
    constant minim
    constant sorter
    constant MonoDec
    constant KSker
    constant KSconvert
    constant KSlinear
    constant seq
    constant mix
    constant bracket_k
    constant StringS
    constant StringF
    constant KScoef
  • latex.lib
    constant closetex
    constant tex
    constant opentex
    constant texdemo
    constant texfactorize
    constant texmap
    constant manipul
    constant texname
    constant texobj
    constant texproc
    constant tvar
    constant texring
    constant rmx
    constant xdvi
    constant parsr
    constant parsg
    constant texpoly
    constant parsp
    constant parst
    constant parselong
    constant part0
    constant part1
    constant part2
    constant part3
  • lejeune.lib
    constant trunc
    constant fgset
    constant plugincoeffs
    constant tpolys
    constant formaldiff
    constant ringchange
    constant variables_list
    constant atoz
    constant diffidealstep
    constant order
    constant simplifyvar
    constant modd
    constant Hnew
    constant simplifymodd
    constant minpower
    constant equalitytest
  • linalg.lib
    constant const_mat
    constant red
    constant inner_product
    constant inverse
    constant sym_gauss
    constant orthogonalize
    constant diag_test
    constant busadj
    constant charpoly
    constant charpoly_B
    constant adjoint
    constant inverse_B
    constant det_B
    constant inverse_L
    constant gaussred
    constant gaussred_pivot
    constant gauss_nf
    constant mat_rk
    constant U_D_O
    constant pos_def
    constant linsolve
    constant rowcolswap
    constant rowelim
    constant colelim
    constant hessenberg
    constant eigenvals
    constant minipoly
    constant spnf
    constant spprint
    constant jordan
    constant jordanbasis
    constant jordanmatrix
    constant jordannf
  • locnormal.lib
    constant changeDenom
    constant changeDenomQ
    constant locNormal
    constant locNormal_parallelTask
    constant locComps
    constant subset
    constant locIdeals
  • lrcalc.lib
    constant LRinstall
    constant LRcoef
    constant LRskew
    constant LRmult
    constant LRcoprod
    constant LRschubmult
    constant string2list
    constant string2int
  • makedbm.lib
    constant makedbm_init
    constant dbm_read
    constant dbm_getnext
  • mathml.lib
    constant mathmlStringReplace
    constant mathmlRingType
    constant mathmlLeadCoef
    constant mathmlVariablesEncoding
    constant mathmlMonomial
    constant mathmlHilf1
    constant mathmlHilf
    constant SignumLeadcoef
    constant mathmlPolyGAL
    constant mathmlTermGAL
    constant mathmlPolyR
    constant mathmlPolyN
    constant mathmlPoly
    constant mathmlRing
    constant mathmlMap
    constant mathmlIdeal
    constant mathmlList
    constant mathmlBigInt
    constant mathmlInt
    constant mathmlString
    constant mathmlNumber
    constant mathmlVector
    constant mathmlIntvec
    constant mathmlIntmat
    constant mathmlBigintmat
    constant mathmlMatrix
    constant viewMathml
  • matrix.lib
    constant compress
    constant concat
    constant diag
    constant dsum
    constant flatten
    constant genericmat
    constant is_complex
    constant outer
    constant power
    constant skewmat
    constant submat
    constant symmat
    constant tensor
    constant unitmat
    constant gauss_col
    constant gauss_row
    constant addcol
    constant addrow
    constant multcol
    constant multrow
    constant permcol
    constant permrow
    constant rowred
    constant colred
    constant linear_relations
    constant findfirst
    constant rm_unitcol
    constant rm_unitrow
    constant headStand
    constant symmetricBasis
    constant exteriorBasis
    constant chooseSafeVarName
    constant mapPower
    constant symmetricPower
    constant exteriorPower
  • maxlike.lib
    constant likeIdeal
    constant prodideal
    constant logHessian
    constant is_neg_def
    constant getMaxPoints
    constant maxPoints
    constant maxPointsProb
  • modnormal.lib
    constant pTestNormal
    constant modpNormal
    constant modNormal
    constant jacobIdOne
    constant norComp
    constant outComp
    constant polyHomogenize
    constant normalCheck
  • modstd.lib
    constant modStd
    constant groebner_norm
    constant primeTest_std
    constant deleteUnluckyPrimes_std
    constant pTest_std
    constant finalTest_std
    constant reduce_parallel
    constant reduce_task
    constant mod_init
    constant redFork
    constant isIncluded
    constant deleteUnluckyPrimes
    constant primeTest
    constant primeList
  • modular.lib
    constant mod_init
    constant modular
    constant chinrem_recursive
    constant primeList
    constant primeList_task
    constant modp
    constant primeTest_default
    constant deleteUnluckyPrimes_default
    constant pTest_default
    constant finalTest_default
    constant farey_parallel
    constant farey_task
    constant par_range
    constant NbModProcs
  • modwalk.lib
    constant modWalk
    constant modrWalk
    constant modfWalk
    constant modfrWalk
    constant primeTest_std
    constant deleteUnluckyPrimes_std
    constant pTest_std
    constant finalTest_std
    constant reduce_parallel
    constant reduce_task
    constant TestSBstd
    constant TestSBred
    constant sPolynomial
  • mondromy.lib
    constant pcvladdl
    constant pcvpmull
    constant pcvmindeg
    constant pcvp2cv
    constant pcvcv2p
    constant pcvdim
    constant pcvbasis
    constant min
    constant max
    constant mdivp
    constant codimV
    constant quotV
    constant invunit
    constant detadj
    constant jacoblift
    constant getdeltaP1
    constant getdeltaP2
    constant getdeltaPe
    constant incK
    constant nablaK
    constant MK
    constant mid
    constant decmide
    constant nonqhmonodromy
    constant qhmonodromy
    constant monodromyB
    constant H2basis
  • monomialideal.lib
    constant checkIdeal
    constant quotientIdealMon
    constant soporte
    constant irredAux
    constant contents
    constant equal
    constant radicalAux
    constant primAux
    constant maxExp
    constant irredundant
    constant alexDif
    constant irredPrimary
    constant isMinimal
    constant isMonomialGB
    constant areEqual
    constant isMonomial
    constant minbaseMon
    constant gcdMon
    constant lcmMon
    constant membershipMon
    constant intersectMon
    constant quotientMon
    constant radicalMon
    constant isprimeMon
    constant isprimaryMon
    constant isirreducibleMon
    constant isartinianMon
    constant isgenericMon
    constant dimMon
    constant irredDec1
    constant primDec1
    constant primDec2
    constant irredDec3
    constant primDec3
    constant irredDec4
    constant primDec4
    constant irredDec5
    constant primDec5
    constant maximoExp
    constant artinian
    constant generic
    constant nonGeneric
    constant initialFacet
    constant adyacency
    constant ScarfMethod
    constant scarfMethodPrim
    constant phi
    constant pi
    constant conditionComplex
    constant findFaces
    constant labelAlgorithm
    constant labelAlgPrim
    constant divide
    constant incrementalAlg
    constant incrementalAlgPrim
    constant divideMon
    constant pivot
    constant simplification
    constant con
    constant irredDecMonSlice
    constant primDecMonSlice
  • mprimdec.lib
    constant separator
    constant PrimdecA
    constant PrimdecB
    constant modDec
    constant zeroMod
    constant GTZmod
    constant prepareSat
    constant lcm_chr
    constant testit
    constant annil
    constant splitting
    constant sp1
    constant sp2
    constant primTest
    constant preComp
    constant indSet
    constant GTZopt
    constant dec1var
    constant zeroOpt
    constant clrSBmod
    constant minSatMod
    constant quotMinMod
    constant specialModulesEqual
    constant sat2mod
    constant stdModulesEqual
    constant modulesEqual
    constant getData
  • mregular.lib
    constant regIdeal
    constant depthIdeal
    constant satiety
    constant regMonCurve
    constant NoetherPosition
    constant is_NP
    constant is_nested
  • multigrading.lib
    constant concatintmat
    constant createGradedRingHomomorphism
    constant isGradedRingHomomorphism
    constant createQuotientGroup
    constant createTorsionFreeGroup
    constant createGroup
    constant printGroup
    constant areIsomorphicGroups
    constant isGroup
    constant setBaseMultigrading
    constant getVariableWeights
    constant getGradingGroup
    constant getLattice
    constant getGradedGenerator
    constant getModuleGrading
    constant setModuleGrading
    constant multiDegTensor
    constant multiDegTor
    constant isGroupHomomorphism
    constant isTorsionFree
    constant gcdcomb
    constant lll
    constant smithNormalForm
    constant hermiteNormalForm
    constant areZeroElements
    constant isZeroElement
    constant defineHomogeneous
    constant gradiator
    constant pushForward
    constant equalMultiDeg
    constant isFreeRepresented
    constant isHomogeneous
    constant multiDeg
    constant multiDegPartition
    constant unitMatrix
    constant finestMDeg
    constant newMap
    constant matrix2intmat
    constant leftKernelZ
    constant hilbert4ti2intmat
    constant getMonomByExponent
    constant multiDegBasis
    constant multiDegSyzygy
    constant multiDegModulo
    constant multiDegGroebner
    constant multiDegResolution
    constant hilbertSeries
    constant evalHilbertSeries
    constant isPositive
    constant testMultigradingLib
    constant multiDegTruncate
    constant imageLattice
    constant intRank
    constant isSublattice
    constant latticeBasis
    constant kernelLattice
    constant preimageLattice
    constant isPrimitiveSublattice
    constant isIntegralSurjective
    constant projectLattice
    constant intersectLattices
    constant intInverse
    constant intAdjoint
    constant integralSection
    constant primitiveSpan
  • ncHilb.lib
    constant nchilb
  • ncalg.lib
    constant defInt
    constant makeUsl2
    constant makeUsl
    constant makeUg2
    constant makeUgl
    constant makeQso3
    constant Qso3Casimir
    constant makeQsl2
    constant makeQsl3
    constant GKZsystem
    constant makeUso3
    constant makeUso5
    constant makeUso7
    constant makeUso9
    constant makeUso11
    constant makeUsp1
    constant makeUsp2
    constant makeUsp3
    constant makeUsp4
    constant makeUsp5
    constant makeUso6
    constant makeUso8
    constant makeUso10
    constant makeUso12
    constant makeUf4
    constant makeUe6
    constant makeUe7
    constant makeUe8
  • ncall.lib
  • ncdecomp.lib
    constant testncdecomplib
    constant CharKernel
    constant CentralQuotPoly
    constant MyIsEqual
    constant CentralQuot
    constant CentralSaturation
    constant CenCharDec
    constant IntersectWithSub
  • ncfactor.lib
    constant tst_ncfactor
    constant delete_duplicates_noteval
    constant test_delete_duplicates_noteval
    constant delete_duplicates_noteval_and_sort
    constant test_delete_duplicates_noteval_and_sort
    constant combinekfinlf
    constant test_combinekfinlf
    constant permpp
    constant test_permpp
    constant binarySearch
    constant test_binarySearch
    constant getAllDivisorsFromFactList
    constant test_getAllDivisorsFromFactList
    constant triangNum
    constant test_triangNum
    constant fromListToIntvec
    constant test_fromListToIntvec
    constant fromIntvecToList
    constant test_fromIntvecToList
    constant produceHomogListForProduct
    constant test_produceHomogListForProduct
    constant possibleHomogPartsInBetween
    constant test_possibleHomogPartsInBetween
    constant nextSmallerEntry
    constant test_nextSmallerEntry
    constant possibleHomogPartsInBetweenNonRecursive
    constant test_possibleHomogPartsInBetweenNonRecursive
    constant increment_intvec
    constant test_increment_intvec
    constant Min
    constant test_Min
    constant isListEqual
    constant test_isListEqual
    constant ncfactor_isWeyl
    constant test_ncfactor_isWeyl
    constant ncfactor_isQWeyl
    constant test_ncfactor_isQWeyl
    constant ncfactor_isShift
    constant test_ncfactor_isShift
    constant checkIfProperNthShift
    constant test_checkIfProperNthShift
    constant checkIfProperNthWeyl
    constant test_checkIfProperNthWeyl
    constant checkIfProperNthQWeyl
    constant test_checkIfProperNthQWeyl
    constant isInCommutativeSubRing
    constant test_isInCommutativeSubRing
    constant factor_commutative
    constant test_factor_commutative
    constant factorizeInt
    constant test_factorizeInt
    constant getAllCoeffTuplesComb
    constant test_getAllCoeffTuplesComb
    constant normalizeFactors
    constant test_normalizeFactors
    constant divides
    constant test_divides
    constant multiplyFactIntOutput
    constant test_multiplyFactIntOutput
    constant testNCfac
    constant test_testNCfac
    constant monsSmallerThan
    constant test_monsSmallerThan
    constant getMaxDegreeVec
    constant test_getMaxDegreeVec
    constant isFactorizationSmaller
    constant test_isFactorizationSmaller
    constant sortedInsert
    constant test_sortedInsert
    constant isFactorizationEqual
    constant test_isFactorizationEqual
    constant sortFactorizations
    constant test_sortFactorizations
    constant homogfacNthWeyl
    constant test_homogfacNthWeyl
    constant homogfacNthWeyl_all
    constant test_homogfacNthWeyl_all
    constant facWeyl
    constant test_facWeyl
    constant facFirstWeyl
    constant test_checkForHomogInhomogInterchangabilityNthWeyl
    constant sfacwaNthWeyl
    constant test_sfacwaNthWeyl
    constant sfacwa2NthWeyl
    constant test_sfacwa2NthWeyl
    constant determineRestOfHomogPartsNthWeyl
    constant test_determineRestOfHomogPartsNthWeyl
    constant gammaForThetaNthWeyl
    constant test_gammaForThetaNthWeyl
    constant extractHomogeneousDivisorsNthWeyl
    constant test_extractHomogeneousDivisorsNthWeyl
    constant extractHomogeneousDivisorsLeftNthWeyl
    constant test_extractHomogeneousDivisorsLeftNthWeyl
    constant extractHomogeneousDivisorsRightNthWeyl
    constant test_extractHomogeneousDivisorsRightNthWeyl
    constant computeCombinationsMinMaxHomogNthWeyl
    constant test_computeCombinationsMinMaxHomogNthWeyl
    constant getAllCombOfHomogFact
    constant test_getAllCombOfHomogFact
    constant getPossibilitiesForRightSides
    constant test_getPossibilitiesForRightSides
    constant homogDistributionNthWeyl
    constant test_homogDistributionNthWeyl
    constant extractLeadingTermOfNthWeylPoly
    constant test_extractLeadingTermOfNthWeylPoly
    constant degreeOfNthWeylPoly
    constant test_degreeOfNthWeylPoly
    constant degreeOfNthWeylPolyInverted
    constant test_degreeOfNthWeylPolyInverted
    constant homogwithorderNthWeyl
    constant test_homogwithorderNthWeyl
    constant isInWeylSubAlg
    constant test_isInWeylSubAlg
    constant facSubWeyl
    constant test_facSubWeyl
    constant facFirstShift
    constant facShift
    constant test_facShift
    constant sFacNthShift
    constant test_sFacNthShift
    constant combineNonnegativeNthShift
    constant test_combineNonnegativeNthShift
    constant test_fromNthWeylToNthShiftPoly
    constant homogfacFirstQWeyl
    constant homogfacFirstQWeyl_all
    constant homogfacNthQWeyl
    constant test_homogfacNthQWeyl
    constant homogfacNthQWeyl_all
    constant test_homogfacNthQWeyl_all
    constant ncfactor
    constant test_ncfactor
    constant ncfactor_without_opt
    constant test_ncfactor_without_opt
    constant factorize_nc_s
    constant test_factorize_nc_s
  • nchomolog.lib
    constant contraHom
    constant coHom
    constant ncHom
    constant ncHom_alt
    constant ncHom_R
    constant is_cenBimodule
    constant is_cenSubbimodule
    constant ncExt
    constant ncExt_R
    constant nctors
    constant altExt_R
    constant tensorMaps
    constant ncTensorMod
    constant ncTor
    constant Hochschild
    constant Lie
    constant AllExts
    constant dmodualtest
    constant dmodoublext
    constant part_Ext_R
  • ncpreim.lib
    constant testncpreimlib
    constant admissibleSub
    constant isUpperTriangular
    constant appendWeight2Ord
    constant checkIntvec
    constant elimWeight
    constant orderingConditionEngine
    constant eliminateNC
    constant extendedTensor
    constant preimageNC
    constant ex1
    constant ex2
    constant ex3
  • nctools.lib
    constant Gweights
    constant weightedRing
    constant Cij
    constant Ct
    constant SimplMat
    constant weightvector
    constant ncRelations
    constant findimAlgebra
    constant isCentral
    constant UpOneMatrix
    constant ndcond
    constant Weyl
    constant makeHeisenberg
    constant superCommutative
    constant SuperCommutative
    constant ParseSCA
    constant AltVarStart
    constant AltVarEnd
    constant IsSCA
    constant Exterior
    constant makeWeyl
    constant isNC
    constant rightStd
    constant rightSyz
    constant rightNF
    constant rightModulo
    constant isCommutative
    constant isWeyl
    constant embedMat
    constant moduloSlim
    constant makeModElimRing
    constant isLieType
  • nfmodstd.lib
    constant testPrime
    constant minpolyTask
    constant PrimeTestTask
    constant factmodp
    constant testfact
    constant degtest
    constant chinRm
    constant chinrempoly
    constant check_leadmonom_and_size
    constant LiftPolyCRT
    constant final_Test_minpolyzero
    constant final_Test
    constant PtestStd_minpolyzero
    constant PtestStd
    constant cleardenomIdeal
    constant modStdparallelized
    constant nfmodStd
  • nfmodsyz.lib
    constant testPrime
    constant minpolyTask
    constant PrimeTestTask_syz
    constant factmodp
    constant testfact
    constant degtest
    constant check_leadmonom_and_size
    constant LiftPolyCRT_syz
    constant final_Test_syz
    constant final_test
    constant pTest_syzmod
    constant pTest_syz
    constant cleardenomIdeal
    constant modStdparallelized_syzSB
    constant nfmodSyz
  • noether.lib
    constant NPos_test
    constant modNpos_test
    constant NPos
    constant modNPos
    constant TestLastVarIsInGenericPos
    constant nsatiety
    constant modsatiety
    constant regCM
    constant modregCM
  • normal.lib
    constant normal
    constant normalOutputText
    constant HomJJ
    constant iMult
    constant locAtZero
    constant normalizationPrimes
    constant substpart
    constant deltaP
    constant genus
    constant deltaLoc
    constant w_deg
    constant primeClosure
    constant closureFrac
    constant closureGenerators
    constant normalP
    constant normalityTest
    constant substpartSpecial
    constant computeRing
    constant normalM
    constant normalMEqui
    constant lineUpLast
    constant lineUp
    constant getOneVar
    constant getSmallest
    constant getGenerators
    constant testIdeal
    constant changeDenominator
    constant changeDenominatorQ
    constant checkInclusions
    constant degSubring
    constant mapBackIdeal
    constant mapBackPoly
    constant getAttrib
    constant setAttrib
    constant copyAttribs
    constant normalC
    constant closureRingtower
    constant timeNormal
    constant sqroot
    constant norTest
    constant normalConductor
  • normaliz.lib
    constant desInt
    constant desString
    constant queryInt
    constant queryString
    constant fileExists
    constant appendSlash
    constant setNmzExecPath
    constant setNmzFilename
    constant setNmzDataPath
    constant writeNmzPaths
    constant startNmz
    constant getNmzFile
    constant makeTempNmzDataPath
    constant eraseTempNmzDataPath
    constant setNmzExec
    constant rmNmzFiles
    constant digit
    constant nextWord
    constant getInt
    constant getRational
    constant findWord
    constant skipEqualsign
    constant doWriteNmzData
    constant prepareGrading
    constant writeNmzData
    constant readNmzData
    constant defNmzOptions
    constant setNmzOption
    constant collectNmzOptions
    constant showNmzOptions
    constant runNormaliz
    constant normaliz
    constant getNuminvs
    constant showNuminvs
    constant exportNuminvs
    constant mons2intmat
    constant intmat2mons
    constant intmat2monsSel
    constant binomials2intmat
    constant runIntclToricRing
    constant intclToricRing
    constant normalToricRing
    constant normalToricRingFromBinomials
    constant runIntclMonIdeal
    constant ehrhartRing
    constant intclMonIdeal
    constant torusInvariants
    constant finiteDiagInvariants
    constant diagInvariants
    constant intersectionValRings
    constant intersectionValRingIdeals
  • ntsolve.lib
    constant nt_solve
    constant sqrt
    constant il2norm
    constant ml2norm
    constant linesearch
    constant triMNewton
  • numerAlg.lib
    constant Degree
    constant Incl
    constant Equal
    constant NumLocalDim
  • numerDecom.lib
    constant re2squ
    constant Singular2bertini
    constant UseBertini
    constant bertini2Singular
    constant WitSupSet
    constant ReJunkUseHomo
    constant JuReTopDim
    constant JuReZeroDim
    constant WitSet
    constant ZSR1
    constant perSumZ
    constant ZSROFWitSet
    constant ReWitZSR
    constant NumIrrDecom
    constant defl
    constant NIDofDI
    constant NumPrimDecom
  • orbitparam.lib
    constant tangentGens
    constant matrixExp
    constant matrixLog
    constant parametrizeOrbit
    constant maxZeros
  • parallel.lib
    constant parallelWaitN
    constant parallelWaitFirst
    constant parallelWaitAll
    constant parallelTestAND
    constant parallelTestOR
  • paraplanecurves.lib
    constant invertBirMap
    constant checkAssumptions
    constant paraPlaneCurve
    constant w_deg
    constant findCoordChange
    constant adjointIdeal
    constant adjointIdealAtWork
    constant adjointIdealIB
    constant adjointIdealIQ
    constant mapToRatNormCurve
    constant rncAntiCanonicalMap
    constant rncItProjOdd
    constant rncItProjEven
    constant geomGenusIB
    constant geomGenusLA
    constant deltaLocMod
    constant paraConic
    constant projConic
    constant isIrreducible
    constant isQuadratic
    constant largestSquare
    constant jIndex
    constant aMod
    constant aDiv
    constant polyModP
    constant rootModP
    constant inverseModP
    constant squareRoot
    constant chineseRemainder
    constant rationalPointSpecial
    constant extendedEuclid
    constant legendreSymbol
    constant buildExtension
    constant testRationalPointConic
    constant rationalPointConic
    constant testParametrization
    constant testPointConic
  • perron.lib
    constant perron
  • phindex.lib
    constant signatureL
    constant signatureLqf
    constant PH_ais
    constant PH_nais
    constant SigntL
    constant SignatLalt
  • pointid.lib
    constant subst1
    constant nonMonomials
    constant cornerMonomials
    constant facGBIdeal
  • poly.lib
    constant bino
    constant hilbPoly
    constant substitute
    constant cyclic
    constant elemSymmPoly
    constant elemSymmId
    constant kat_var
    constant maxcoef
    constant maxdeg
  • polybori.lib
    constant mod_init
    constant lead_bpoly
    constant lead_monom_bpoly
    constant lead_coef_bpoly
    constant ring2bring
    constant bpoly2bideal
    constant nvars_bring
    constant bvar
    constant bring_mark_cache
    constant bring_from_cache
    constant bring_to_cache
    constant boolean_poly_ring
    constant op_getitem
    constant bideal_add
    constant bpoly_check
    constant bpoly_mult
    constant bpoly_add
    constant bpoly2pyobject
    constant bideal2pyobject
    constant poly2bpoly
    constant zdd2bset
    constant bpoly2bset
    constant bset2zdd
    constant bset2bpoly
    constant type2bideal
    constant bpoly2poly
    constant bideal2ideal
    constant pyobject2bpoly
    constant pyobject2bideal
    constant print_bpoly
    constant print_bideal
    constant size_pyobject
    constant size_bideal
    constant print_zdd
    constant zdd_check
    constant boolean_set
    constant from_boolean_set
    constant direct_from_boolean_poly
    constant from_boolean_poly_update
    constant coeff_check
    constant check_additional_ring
    constant boolean_constant
    constant boolean_poly
    constant from_boolean_poly
    constant direct_boolean_poly
    constant boolean_poly_update
    constant recursive_boolean_poly
    constant boolean_ideal
    constant from_boolean_ideal
    constant boolean_std
    constant from_boolean_constant
    constant recursive_from_boolean_poly
    constant poly2zdd
    constant zdd2poly
    constant disp_zdd
  • polymake.lib
    constant mod_init
    constant polymakePolytope
    constant newtonPolytopeP
    constant newtonPolytopeLP
    constant triangulations
    constant secondaryPolytope
    constant cycleLength
    constant splitPolygon
    constant eta
    constant findOrientedBoundary
    constant cyclePoints
    constant latticeArea
    constant picksFormula
    constant ellipticNF
    constant ellipticNFDB
    constant scalarproduct
    constant intmatcoldelete
    constant intmatconcat
    constant sortlist
    constant minInList
    constant stringdelete
    constant abs
    constant commondenominator
    constant maxPosInIntvec
    constant maxPosInIntmat
    constant sortintvec
    constant sortlistbyintvec
    constant matrixtointmat
    constant polygonToCoordinates
    constant intmatAddFirstColumn
    constant boundaryLatticePoints
    constant ehrhartPolynomialCoeff
    constant fVectorP
    constant facetVertexLatticeDistances
    constant facetWidth
    constant facetWidths
    constant gorensteinIndex
    constant gorensteinVector
    constant hStarVector
    constant hVector
    constant hilbertBasis
    constant interiorLatticePoints
    constant isBounded
    constant isCanonical
    constant isCompressed
    constant isGorenstein
    constant isLatticeEmpty
    constant isNormal
    constant isReflexive
    constant isSmooth
    constant isTerminal
    constant isVeryAmple
    constant latticeCodegree
    constant latticeDegree
    constant latticePoints
    constant latticeVolume
    constant maximalFace
    constant maximalValue
    constant minimalFace
    constant minimalValue
    constant minkowskiSum
    constant nBoundaryLatticePoints
    constant nHilbertBasis
    constant nInteriorLatticePoints
    constant nLatticePoints
    constant normalFan
    constant vertexAdjacencyGraph
    constant vertexEdgeGraph
    constant visual
  • presolve.lib
    constant shortid
    constant degreepart
    constant linearpart
    constant elimlinearpart
    constant elimpart
    constant elimpartanyr
    constant fastelim
    constant faststd
    constant findvars
    constant hilbvec
    constant tolessvars
    constant solvelinearpart
    constant sortandmap
    constant sortvars
    constant valvars
    constant idealSplit
    constant idealSimplify
  • primdec.lib
    constant sat1
    constant sat2
    constant minSat
    constant quotMin
    constant testFactor
    constant factor
    constant idealsEqual
    constant specialIdealsEqual
    constant stdIdealsEqual
    constant primaryTest
    constant gcdTest
    constant splitPrimary
    constant splitCharp
    constant zero_decomp
    constant extF
    constant zeroSp
    constant zeroSepClos
    constant insepDecomp_i
    constant clearSB
    constant clearSBNeu
    constant teilt
    constant independSet
    constant maxIndependSet
    constant prepareQuotientring
    constant cleanPrimary
    constant minAssPrimesoldE
    constant minAssPrimesold
    constant minAssPrimesold_i
    constant primT
    constant minAssPrimesE
    constant minAssPrimes
    constant minAssPrimes_i
    constant union
    constant equidim
    constant equidimMax
    constant islp
    constant algeDecoE
    constant algeDeco
    constant algeDeco_i
    constant prepare_absprimdec
    constant decompE
    constant decomp
    constant decomp_i
    constant powerCoeffs
    constant sep
    constant zeroRad
    constant algeRad
    constant radicalEHV
    constant Ann
    constant int_ass_primary_e
    constant AnnExt_R
    constant analyze
    constant simplifyIdeal
    constant ini_mod
    constant min_ass_prim_charsets_i
    constant min_ass_prim_charsets0_i
    constant min_ass_prim_charsets1_i
    constant prim_dec_i
    constant pseudo_prim_dec_charsets_i
    constant pseudo_prim_dec_special_charsets_i
    constant pseudo_prim_dec_i_i
    constant extraction
    constant minsat
    constant minsat_ppd
    constant minquot
    constant special_ideals_equal
    constant convList
    constant reconvList
    constant primdecGTZE
    constant primdecGTZ
    constant primdecGTZ_i
    constant absPrimdecGTZE
    constant absPrimdecGTZ
    constant absPrimdecGTZ_i
    constant primdecSYE
    constant primdecSY
    constant primdecSY_i
    constant minAssGTZE
    constant minAssGTZ
    constant minAssGTZ_i
    constant minAssCharE
    constant minAssChar
    constant minAssChar_i
    constant equiRadical
    constant radical
    constant radicalKL
    constant radicalSL
    constant radicalReduction
    constant radicalSLIteration
    constant newMaxIndependSetDp
    constant prepareAss
    constant equidimMaxEHV
    constant testPrimaryE
    constant testPrimary
    constant testPrimary_i
    constant zerodec
    constant newDecompStepE
    constant newDecompStep
    constant newDecompStep_i
    constant newReduction
    constant minAssE
    constant minAss
    constant minAss_i
    constant minAssSL
    constant minAssSLIteration
    constant newMaxIndependSetLp
    constant newZero_decomp
    constant check_variables
    constant prep_decomp
  • primdecint.lib
    constant primdecZ
    constant minAssZ
    constant heightZ
    constant radicalZ
    constant equidimZ
    constant intersectZ
    constant modp
    constant coefPrimeZ
    constant coefZ
    constant specialPowerZ
    constant separatorsZ
    constant extractZ
    constant normalizeZ
    constant satZ
    constant quotientOneZ
    constant quotientZ
    constant reduceZ
    constant stdZ
    constant testPrimaryZ
    constant pseudo_primdecZM
    constant prepare_extractZM
    constant extractZM
    constant primdecZM
  • primitiv.lib
    constant primitive
    constant primitive_extra
    constant splitring
  • purityfiltration.lib
    constant testPurityfiltrationLib
    constant iszero
    constant lsyz
    constant rsyz
    constant rinv
    constant linv
    constant rlift
    constant llift
    constant concatz
    constant purityFiltration
    constant purityTriang
    constant gradeNumber
    constant allExtOfLeft
    constant allExtOfRight
    constant rightreso
    constant showgrades
    constant doubleExt
    constant allDoubleExt
    constant is_pure
    constant purelist
    constant projectiveDimension
    constant prodim
  • qhmoduli.lib
    constant ModEqn
    constant UpperMonomials
    constant ArnoldAction
    constant StabOrder
    constant StabEqn
    constant StabEqnId
    constant ArnoldFormMain
    constant MonosAndTerms
    constant SelectMonos
    constant Expand
    constant PolyProduct
    constant PolyPower1
    constant RingVarsToList
    constant APSubstitution
    constant StabVar
    constant StabVarComb
    constant AllCombinations
    constant AllSingleCombinations
    constant AllCombinationsAux
    constant Partitions
    constant NumFactor
    constant Table
    constant FlattenQHM
    constant IntersectionQHM
    constant FirstEntryQHM
    constant PSum
    constant Max
    constant Min
  • qmatrix.lib
    constant SymGroup
    constant LengthSymElement
    constant LengthSym
    constant quantMat
    constant qminor
    constant itoij
    constant ijtoi
  • random.lib
    constant genericid
    constant randomid
    constant randommat
    constant sparseid
    constant sparseHomogIdeal
    constant sparsemat
    constant sparsematrix
    constant sparsepoly
    constant sparsetriag
    constant triagmatrix
    constant randomLast
    constant randomBinomial
  • ratgb.lib
    constant rm_content_id
    constant ratstd
  • realclassify.lib
    constant realclassify
    constant caseA1
    constant caseAk
    constant caseD4
    constant caseDk
    constant caseE6
    constant caseE7
    constant caseE8
    constant modality1NF
    constant addnondegeneratevariables
    constant realmorsesplit
    constant sym_reduce
    constant rewriteformorsesplit
    constant milnornumber
    constant determinacy
  • realizationMatroids.lib
    constant gcdvector
    constant balanced
    constant genPoly
    constant prodvar
    constant lessThan
    constant sortSlope
    constant coefMonomial
    constant ismultiple
    constant simplifyList
    constant realizationDimIdeal
    constant realizationDim
    constant irrRealizationDim
    constant realizationDimPoly
  • realrad.lib
    constant realrad
    constant zeroreduct
    constant realzero
    constant GeneralPos
    constant realpoly
    constant decision
    constant isolset
    constant BernsteinCoefficients
    constant binlog
    constant is_real
    constant prepare_max
    constant length
    constant isuniv
    constant search_first
    constant subsets
    constant permutation
    constant simplify_gen
    constant contnonloc
  • recover.lib
    constant getposi
    constant string2digit
    constant string2poly
    constant roundstringpoly
    constant roundpoly
    constant substAll
    constant veronese
    constant veronese_radical
    constant randlincom
    constant getmatrix
    constant getpolys
    constant getD
    constant mat2list
    constant list2bigintmat
    constant bigint2poly
    constant bigintmat2matrix
    constant use_LLL
    constant use_LLL_bigintmat
    constant use_FLINT_LLL
    constant use_NTL_LLL
    constant getRelations
    constant getRelationsRadical
    constant find_unused_nonzero
    constant gaussRowWithoutPerm
    constant gaussColWithoutPerm
    constant multwithmaxideal
    constant prodofallringvars
    constant getcoefmat
    constant getconcatcoefmats
    constant string2intdigit
    constant string2bigint
    constant mat2bigintmat
    constant findnonzero
    constant superfluousL
    constant minrelations
    constant getWitnessSet
    constant get_hom_var_group_str
    constant get_declare_function_str
    constant remove_brackets
    constant get_function_str
    constant get_coef_bound_poly
    constant get_coef_bound_ideal
    constant get_prec_in_bits
    constant writeBertiniInput
    constant find_string
    constant read_point
    constant string2num
    constant string2e
    constant dismantle_string
    constant convert_p
    constant getP_plus_posis
    constant getPi_from_main_data
    constant get_relations_as_bigintmats
    constant get_relations_radical_as_bigintmats
    constant check_is_zero
    constant get_relations_over_rationals
    constant getP_from_known_posis
    constant check_is_zero_lincomradical
    constant get_relations_lincomradical_over_rationals
    constant num_prime_decom
    constant num_prime_decom1
    constant num_radical_via_decom
    constant num_radical_via_randlincom
    constant num_radical1
    constant num_radical2
    constant project_p
    constant project_P
    constant get_projection_intvec
    constant get_elvec
    constant num_elim
    constant num_elim1
    constant eucl
    constant red
    constant initBBsU
    constant mymax
    constant realLLL
  • redcgs.lib
    constant setglobalrings
    constant cld
    constant memberpos
    constant subset
    constant elimintfromideal
    constant simpqcoeffs
    constant pdivi
    constant pspol
    constant facvar
    constant Wred
    constant pnormalform
    constant idint
    constant redspec
    constant lesspol
    constant delfromideal
    constant delidfromid
    constant sortideal
    constant mingb
    constant redgb
    constant splitspec
    constant discusspolys
    constant lcmlmonoms
    constant placepairinlist
    constant orderingpairs
    constant criterion
    constant discussSpolys
    constant buildtree
    constant recbuildtree
    constant buildtreetoMaple
    constant btterminal
    constant btbasis
    constant btN
    constant btW
    constant btlpp
    constant btcond
    constant comp1
    constant comp
    constant adaptcoef
    constant WW
    constant WPred
    constant genimage
    constant extendpoly
    constant nonnull
    constant decide
    constant finalcases
    constant groupsegments
    constant elimrepeated
    constant decideF
    constant newredspec
    constant selectcases
    constant equalideals
    constant delintvec
    constant redtocanspec
    constant difftocanspec
    constant tree
    constant GCS
    constant sortbylab
    constant lesslab
    constant cantree
    constant addcase
    constant reduceR
    constant containedP
    constant simplifynewadded
    constant lastchildrenindex
    constant nextbrother
    constant firstchild
    constant deletebrotherscontaining
    constant deleteverts
    constant relabelingindices
    constant mrcgs
    constant reduceconds
    constant cantreetoMaple
    constant ctlppbasis
    constant ishomog
    constant rcgs
    constant difflpp
    constant postredgb
    constant crcgs
    constant idintR
    constant gbR
    constant cantodiffcgs
  • reesclos.lib
    constant ReesAlgebra
    constant ClosureRees
    constant ClosurePower
    constant normalI
  • resbinomial.lib
    constant inidata
    constant changeoriginalvar
    constant identifyvar
    constant data
    constant Edatalist
    constant EOrdlist
    constant maxEord
    constant elimrep
    constant Emaxcont
    constant cleanunit
    constant ECoef
    constant determinecenter
    constant Blowupcenter
    constant tradblwup
    constant Nonhyp
    constant calculateI
    constant Eresol
    constant resfunction
    constant BINresol
    constant Maxord
    constant Gamma
    constant convertdata
    constant lcmofall
    constant salida
    constant genoutput
    constant computemcm
    constant constructH
    constant constructblwup
    constant constructlastblwup
    constant tradtoideal
    constant iniD
    constant sumlist
    constant reslist
    constant multiplylist
    constant dividelist
    constant createlist
    constant list0
  • resgraph.lib
    constant InterDiv
    constant goodFilename
    constant buildFilename
    constant ResTree
    constant finalCharts
    constant plugInNumZero
    constant replaceInStr
    constant map2Surf
    constant prepareDcE
  • resjung.lib
    constant jungfib
    constant jungnormal
    constant jungresolve
    constant branchlocus
    constant buildFP
    constant embresolve
    constant resolve2
    constant NoetherP_test
    constant normalCrossing
  • resolve.lib
    constant showDataTypes
    constant createBO
    constant blowUp
    constant blowUp2
    constant Center
    constant blowUpBO
    constant slocusE
    constant inters_E
    constant Delta
    constant redMax
    constant findMinor
    constant indexSet
    constant DeltaList
    constant CenterBM
    constant invGreater
    constant CenterTail
    constant deleteInt
    constant concatInt
    constant dropDim
    constant CenterBO
    constant CoverCenter
    constant SpecialCoeff
    constant DropCoeff
    constant DropRedundant
    constant transversalT
    constant transversalTB
    constant powerI
    constant Coeff
    constant goodChoice
    constant presentTree
    constant showBO
    constant resolve
    constant CompMeetsE
    constant testRes
    constant testBlowUp
    constant normalCross
    constant normalCrossB
    constant norC
    constant specialReduce
  • resources.lib
    constant mod_init
    constant addcores
    constant setcores
    constant getcores
    constant semaphore
    constant setcores_subtree
    constant resetcores_subtree
  • reszeta.lib
    constant spectral1
    constant spectralNeg
    constant ordE
    constant computeV
    constant jacobDet
    constant computeH
    constant computeN
    constant countEijk
    constant chiEij
    constant chiEij_local
    constant computeChiE
    constant computeChiE_local
    constant chi_ast
    constant chi_ast_local
    constant discrepancy
    constant zetaDL
    constant abstractR
    constant decompE
    constant prepEmbDiv
    constant decompEinX
    constant getMinpoly
    constant getNumZeros
    constant simplifyMinpoly
    constant grad
    constant Kontakt
    constant abstractNC
    constant nodes
    constant intersectionDiv
    constant intersComp
    constant addSelfInter
    constant invSort
    constant addToRE
    constant collectDiv
    constant cleanUpDiv
    constant findTrans
    constant compareE
    constant fetchInTree
    constant findInIVList
    constant inIVList
    constant Vielfachheit
    constant genus_E
  • ring.lib
    constant optionIsSet
    constant testOptionIsSet
    constant changechar
    constant changeord
    constant changevar
    constant defring
    constant defrings
    constant defringp
    constant extendring
    constant fetchall
    constant imapall
    constant mapall
    constant ord_test
    constant ringtensor
    constant ringweights
    constant preimageLoc
    constant rootofUnity
    constant isQuotientRing
    constant testIsQuotientRing
    constant hasFieldCoefficient
    constant hasAlgExtensionCoefficient
    constant hasTransExtensionCoefficient
    constant hasGFCoefficient
    constant hasZp_aCoefficient
    constant hasZpCoefficient
    constant hasQQCoefficient
    constant hasGlobalOrdering
    constant hasCommutativeVars
    constant hasNumericCoeffs
    constant isSubModule
    constant hasMixedOrdering
    constant changeordTo
    constant addvarsTo
    constant addNvarsTo
  • ringgb.lib
    constant findZeroPoly
    constant zeroReduce
    constant testZero
    constant noElements
    constant getZeroCoef
    constant getZeroPolyRaw
    constant getZeroPoly
    constant findZeroPolyWrap
  • rinvar.lib
    constant EquationsOfEmbedding
    constant ImageGroup
    constant HilbertWeights
    constant HilbertSeries
    constant ImageVariety
    constant LinearizeAction
    constant LinearActionQ
    constant LinearCombinationQ
    constant InvariantRing
    constant InvariantQ
    constant MinimalDecomposition
    constant NullCone
    constant ReynoldsOperator
    constant ReynoldsImage
    constant SimplifyCoefficientMatrix
    constant SimplifyIdeal
    constant RingVarProduct
  • rootisolation.lib
    constant mod_init
    constant bounds
    constant lengthBox
    constant boxCenter
    constant splitBox
    constant boxIsInterior
    constant ivmatNrows
    constant ivmatNcols
    constant ivmatPrint
    constant ivmatGet
    constant ivmatSet
    constant diagMatrix
    constant unitMatrix
    constant ivmatMultiply
    constant ivmatGaussian
    constant applyMatrix
    constant evalJacobianAtBox
    constant testPolyBox
    constant evalIdealAtBox
    constant rootIsolationNoPreprocessing
    constant noRootsOnBoundary
    constant rootIsolation
  • rootsmr.lib
    constant nrRootsProbab
    constant nrRootsDeterm
    constant symsignature
    constant sturmquery
    constant mysymmsig
    constant matbil
    constant tracemult
    constant matmult
    constant coords
    constant isSquare
    constant randcharpoly
    constant verify
    constant randlinpoly
    constant powersums
    constant symmfunc
    constant univarpoly
    constant qbase
    constant reverseideal
  • rootsur.lib
    constant isparametric
    constant isparam
    constant isuni
    constant whichvariable
    constant varsigns
    constant boundBuFou
    constant boundposDes
    constant boundDes
    constant allrealst
    constant maxabs
    constant sturm
    constant sturmseq
    constant allreal
    constant sturmha
    constant sturmhaseq
    constant nrroots
    constant abs
    constant sign
    constant reverse
    constant D
    constant search
    constant searchnot
    constant W
  • rstandard.lib
    constant orderIdeal
    constant border
    constant coneM
    constant maxO
    constant borderBasis
    constant modBorder
    constant rJanet
    constant modJanet
    constant minimizeS
    constant finalTest_std_new
  • rwalk.lib
    constant OrderStringalp_NP
    constant rwalk
    constant prwalk
    constant frandwalk
  • sagbi.lib
    constant assumeQring
    constant uniqueVariableName
    constant extendRing
    constant stdKernPhi
    constant spolynomialsGB
    constant spolynomialsToric
    constant reductionGB
    constant reduceByMonomials
    constant sagbiConstruction
    constant sagbiSPoly
    constant sagbiReduce
    constant sagbi
    constant sagbiPart
    constant algebraicDependence
    constant interreduced
    constant sagbiReduction
    constant canonicalform
    constant canonicalform_poly
  • schreyer.lib
    constant prepareSyz
    constant separateSyzGB
    constant splitSyzGB
    constant Sinit
    constant Sstep
    constant Scontinue
    constant Ssyz
    constant Sres
    constant MySort
    constant SSinit
    constant SSComputeLeadingSyzygyTerms
    constant SSCompute2LeadingSyzygyTerms
    constant SSFindReducer
    constant SSReduceTerm
    constant SSTraverseTail
    constant SSSchreyerSyzygyNF
    constant SSComputeSyzygy
    constant SSstep
    constant SScontinue
    constant SSsyz
    constant SSres
    constant SRES_betti2
    constant SRES_betti1
    constant SRES_print
    constant SRES_minres
    constant SRES_list
    constant mod_init
    constant testallSexamples
    constant testallSSexamples
    constant StartResTesting
    constant StopResTesting
    constant StartAddResTest
    constant StopAddResTest
    constant SCheck
    constant TestSSres
    constant s_res
    constant s_res_bm
    constant s_syz
    constant TestSSSres
    constant TestSres
    constant Testsres
    constant Testlres
    constant Testnres
    constant TestSSresAttribs
    constant TestSSresAttribs2tr
    constant testSimple
    constant testAGR
    constant testAGRhard
  • schubert.lib
    constant mod_init
    constant printStack
    constant moduliSpace
    constant dimStack
    constant fixedPoints
    constant torusList
    constant contributionBundle
    constant normalBundle
    constant multipleCover
    constant linesHypersurface
    constant sumofquotients
    constant rationalCurve
    constant printGraphG
    constant makeGraphVE
    constant graph1
    constant graph2
    constant graph31
    constant graph32
    constant graph41
    constant graph42
    constant graph43
    constant graph51
    constant graph52
    constant graph53
    constant graph54
    constant graph55
    constant graph56
    constant graph61
    constant graph62
    constant graph63
    constant graph64
    constant graph65
    constant graph66
    constant graph67
    constant graph68
    constant graph69
    constant graph610
    constant graph611
    constant homog_part
    constant homog_parts
    constant logg
    constant expp
    constant adams
    constant wedges
    constant schur
    constant printVariety
    constant makeVariety
    constant ChowRing
    constant Grassmannian
    constant projectiveSpace
    constant projectiveBundle
    constant productVariety
    constant integral
    constant SchubertClass
    constant dualPartition
    constant printSheaf
    constant makeSheaf
    constant rankSheaf
    constant totalChernClass
    constant ChernClass
    constant topChernClass
    constant totalSegreClass
    constant dualSheaf
    constant tensorSheaf
    constant symmetricPowerSheaf
    constant quotSheaf
    constant addSheaf
  • sheafcoh.lib
    constant jacobM
    constant TensorModuleMult
    constant truncate
    constant truncateFast
    constant dimGradedPart
    constant CM_regularity
    constant sheafCohBGG
    constant showResult
    constant sheafCohBGG2
    constant dimH
    constant sheafCoh
    constant displayCohom
    constant getStructureSheaf
    constant getCotangentialBundle
    constant getIdealSheafPullback
    constant getIdealSheaf
  • signcond.lib
    constant firstoct
    constant signcnd
    constant psigncnd
    constant psign
    constant isIn
    constant expprod
    constant initlist
    constant evalp
    constant incexp
  • sing.lib
    constant deform
    constant dim_slocus
    constant is_active
    constant is_ci
    constant is_is
    constant is_reg
    constant is_regs
    constant milnor
    constant nf_icis
    constant slocus
    constant slocusEqi
    constant qhspectrum
    constant Tjurina
    constant tjurina
    constant T_1
    constant T_2
    constant T_12
    constant codim
    constant tangentcone
    constant locstd
  • sing4ti2.lib
    constant markov4ti2
    constant graver4ti2
    constant hilbert4ti2
  • solve.lib
    constant laguerre_solve
    constant checkv
    constant checkim
    constant makemult
    constant cmp1
    constant exdiv
    constant splitsqrfree
    constant nerr
    constant checkroots
    constant transroots
    constant divzero
    constant addzero
    constant solve
    constant zerolist
    constant multsol
    constant checksol
    constant cmpn
    constant delequal
    constant linreduce
    constant trisolve
    constant finalclear
    constant splittolist
    constant multlist
    constant addlist
    constant mutrisolve
    constant l_mutrisolve
    constant ures_solve
    constant mp_res_mat
    constant interpolate
    constant psubst
    constant fglm_solve
    constant lex_solve
    constant triangLf_solve
    constant triangM_solve
    constant triangL_solve
    constant triang_solve
    constant simplexOut
  • spcurve.lib
    constant isCMcod2
    constant CMtype
    constant matrixT1
    constant semiCMcod2
    constant discr
    constant qhmatrix
    constant relweight
    constant posweight
    constant KSpencerKernel
  • spectrum.lib
    constant spectrumnd
  • standard.lib
    constant stdfglm
    constant stdhilb
    constant quotientList
    constant par2varRing
    constant hilbRing
    constant qslimgb
    constant groebner
    constant res
    constant quot
    constant quot1
    constant quotient0
    constant quotient1
    constant quotient2
    constant quotient3
    constant quotient5
    constant quotient4
    constant intersect1
    constant sprintf
    constant printf
    constant fprintf
    constant weightKB
    constant datetime
    constant kbclass
    constant delkbclass
    constant kbprepare
    constant checkww
    constant widkbase
    constant weightmon
    constant max
    constant min
    constant mod_init
  • stratify.lib
    constant prepMat
    constant minorList
    constant strataList
    constant cleanup
    constant joinRS
    constant stratify
    constant killdups
  • surf.lib
    constant num_of_vars
    constant plot
    constant surfer
    constant isWindows
    constant isMacOSX
    constant isInteractiveShell
    constant getShellOutput
    constant windowsCorrection
    constant FindDisplayProgram
  • surf_jupyter.lib
    constant num_of_vars
    constant plot_jupyter
    constant isMacOSX
    constant getShellOutput
  • surfacesignature.lib
    constant exponentSequence
    constant signatureBrieskorn
    constant signaturePuiseux
    constant dedekindSum
    constant isRupture
    constant sumExcepDiv
    constant sumEdges
    constant etaRes
    constant signatureRes
    constant fracPart
    constant etaSpec
    constant signatureSpec
    constant signatureNemethi
  • surfex.lib
    constant plotRot
    constant plotRotated
    constant plotRotatedList
    constant plotRotatedListFromSpecifyList
    constant plotRotatedListFromStringList
    constant plotRotatedDirect
    constant plotRotatedFromCode
    constant getSurfexCodeFromListDirect
    constant getSurfexCodeFromList
    constant getSurfexCodeFromStringList
    constant getSurfexCodeFromSpecifyList
    constant numBaseColors
    constant baseSurfaceColors
    constant getInsideColorStr
    constant getOutsideColorStr
    constant surfEqnDir
    constant surfEqn
    constant num_vars_id
    constant findInList
    constant std_primdecGTZ
    constant std_for_pd
    constant real_solve
    constant rootminpoly
    constant allroots_minpoly
    constant decstr2ratstr
    constant real2ratstr
    constant truncdec
    constant string_of_vars
  • swalk.lib
    constant swalk
    constant rswalk
    constant inprod
    constant diffExpo
    constant collectDiffExpo
    constant changeType
    constant changeTypeInt
    constant last
    constant initialForm
    constant Initial
    constant Lift
    constant Convert
    constant interreduceSd
    constant OrderStringalp
    constant OrderStringalp_NP
    constant test_in_cone
    constant PertVectors
    constant RandomNextWeight
  • symodstd.lib
    constant genSymId
    constant isSymmetric
    constant permute
    constant order
    constant modExpo
    constant primRoot
    constant permMat
    constant genTransId
    constant eigenvalues
    constant symmStd
    constant divPrimeTest
    constant divPrimeList
    constant spTestSB
    constant smpStd
    constant syModStd
  • tasks.lib
    constant mod_init
    constant createTask
    constant killTask
    constant copyTask
    constant compareTasks
    constant printTask
    constant startTasks
    constant startTasks_child
    constant startTasks_grandchild
    constant removeDemanded
    constant give_priority
    constant stopTask
    constant waitTasks
    constant waitAllTasks
    constant pollTask
    constant getCommand
    constant getArguments
    constant getResult
    constant getState
    constant argsToString
  • teachstd.lib
    constant ecart
    constant leadmonomial
    constant tail
    constant sameComponent
    constant monomialLcm
    constant spoly
    constant minEcart
    constant NFMora
    constant prodcrit
    constant chaincrit
    constant pairset
    constant updatePairs
    constant standard
    constant localstd
  • template.lib
    constant mdouble
    constant mtriple
    constant msum
  • toric.lib
    constant toric_ideal_1
    constant toric_ideal_2
    constant toric_std
  • triang.lib
    constant triangL
    constant triangLfak
    constant triangLbas
    constant invertieren
    constant invertieren_oT
    constant Erw_ggt_oT
    constant normieren_oT
    constant triangM
    constant triangMH
    constant sort_red
    constant Listenrest
    constant Idealrest
    constant H_anhaengen
    constant faktorisiere_letzten
    constant faktorisiere_DB
    constant degv
    constant pdiv
    constant lvar
    constant lcoef
  • tropical.lib
    constant tropicalLifting
    constant displayTropicalLifting
    constant puiseuxExpansion
    constant displayPuiseuxExpansion
    constant tropicalCurve
    constant drawTropicalCurve
    constant drawNewtonSubdivision
    constant tropicalJInvariant
    constant weierstrassForm
    constant jInvariant
    constant conicWithTangents
    constant tropicalise
    constant tropicaliseSet
    constant tInitialForm
    constant tInitialIdeal
    constant initialForm
    constant weightVectorToOrderMatrix
    constant initialIdeal
    constant texNumber
    constant texPolynomial
    constant texMatrix
    constant texDrawBasic
    constant texDrawTropical
    constant texDrawNewtonSubdivision
    constant texDrawTriangulation
    constant radicalMemberShip
    constant tInitialFormPar
    constant tInitialFormParMax
    constant solveTInitialFormPar
    constant detropicalise
    constant tDetropicalise
    constant dualConic
    constant parameterSubstitute
    constant tropicalSubst
    constant randomPolyInT
    constant cleanTmp
    constant phiOmega
    constant cutdown
    constant tropicalparametriseNoabs
    constant findzeros
    constant basictransformideal
    constant testw
    constant simplifyToOrder
    constant scalarproduct
    constant intvecdelete
    constant invertorder
    constant ordermaximalidealsNoabs
    constant displaypoly
    constant displaycoef
    constant choosegfanvector
    constant tropicalliftingresubstitute
    constant tropicalparametrise
    constant eliminatecomponents
    constant findzerosAndBasictransform
    constant ordermaximalideals
    constant verticesTropicalCurve
    constant bunchOfLines
    constant clearintmat
    constant sortintvec
    constant sortintmat
    constant intmatcoldelete
    constant intmatconcat
    constant minInIntvec
    constant positionInList
    constant sortlist
    constant minInList
    constant vergleiche
    constant koeffizienten
    constant minOfPolys
    constant shorten
    constant minOfStringDecimal
    constant decimal
    constant stringcontainment
    constant stringdelete
    constant stringinsert
    constant texmonomial
    constant texcoefficient
    constant abs
    constant findNonLoopVertex
    constant coordinatechange
    constant weierstrassFormOfACubic
    constant weierstrassFormOfA4x2Curve
    constant weierstrassFormOfA2x2Curve
    constant jInvariantOfACubic
    constant jInvariantOfA2x2Curve
    constant jInvariantOfA4x2Curve
    constant jInvariantOfAPuiseuxCubic
    constant drawTwoTropicalCurves
    constant minScaleFactor
    constant nsdScaleFactor
    constant groebnerCone
    constant maximalGroebnerCone
    constant homogeneitySpace
    constant initial
    constant tropicalVariety
    constant groebnerFan
    constant groebnerComplex
  • tropicalNewton.lib
    constant setUniformizingParameter
    constant val
    constant newtonPolygonNegSlopes
    constant listDot
    constant lexSmallestVariableIndex
    constant numbersLessThanAsRationalNumbers
    constant expectedValuation
    constant expectedNewtonPolygonNegSlopes
    constant randomValuedNumber
    constant listOfNumbersToMatrix
    constant cccMatrixToPositiveIntvec
    constant oneVector
    constant addOneVectorUntilPositive
    constant tropicalPointNewton
    constant sumOfLeadExpV
    constant isTriangularSet
    constant tropicalVarietyNewton
    constant switchRingsAndComputeInitialIdeal
    constant pivotIndices
    constant varstrIntvec
    constant substRing
    constant extendTropNewton
    constant mergeTropNewton
    constant tropicalLinkNewton
  • tst.lib
    constant tst_system
    constant tst_ignore
    constant Get_tst_timer
    constant Set_tst_timer
    constant GetTstStatusFile
    constant tst_status_out
    constant tst_status
    constant tst_init
    constant tst_InitTimer
    constant tst_StopTimer
    constant tst_GetTimer
    constant tst_ReportTimer
    constant tst_OutTimer
    constant tst_groebnerTest
    constant tst_stdEqual
    constant idPrintShort
    constant tst_test_res
    constant tst_rgen_init_weights
    constant tst_rgen_init_matrix
    constant tst_rgen_generate_block
    constant tst_rgen_generate_blocks
    constant tst_rgen_generate_product_orderings
    constant tst_rgen_init
    constant tst_next_ring
    constant tst_FullIdeal
    constant tst_cyclic
    constant tst_hom_cyclic
    constant tst_TestMult
    constant tst_TestAdd
    constant tst_PrintStats
  • weierstr.lib
    constant generalOrder
    constant weierstrDiv
    constant weierstrPrep
    constant lastvarGeneral
  • zeroset.lib
    constant roots
    constant rootsMain
    constant zeroSet
    constant invertNumberMain
    constant MultPolys
    constant LeadTerm
    constant Quotient
    constant quotientMain
    constant remainder
    constant remainderMain
    constant egcdMain
    constant MEGCD
    constant sqfrNorm
    constant sqfrNormMain
    constant factorMain
    constant zeroSetMain
    constant zeroSetMainWork
    constant LinearZeroSetMain
    constant NonLinearZeroSetMain
    constant ExtendSolutions
    constant MergeSolutions
    constant SubsMapIdeal
    constant SimplifyZeroset
    constant Variables
    constant containedQ
    constant sameQ
    constant SimplifyPoly
    constant SimplifyData
    constant TransferRing
    constant NewBaseRing