Table of Contents
1. Preface
2. Introduction
2.1 Background
2.2 How to use this manual
2.3 Getting started
2.3.1 First steps
2.3.2 Rings and standard bases
2.3.3 Procedures and libraries
2.3.4 Change of rings
2.3.5 Modules and their annihilator
2.3.6 Resolution
3. General concepts
3.1 Interactive use
3.1.1 How to enter and exit
3.1.2 The SINGULAR prompt
3.1.3 The online help system
3.1.4 Interrupting SINGULAR
3.1.5 Editing input
3.1.6 Command line options
3.1.7 Startup sequence
3.2 Emacs user interface
3.2.1 A quick guide to Emacs
3.2.2 Running SINGULAR under Emacs
3.2.3 Demo mode
3.2.4 Customization of the Emacs interface
3.2.5 Editing SINGULAR input files with Emacs
3.2.6 Top 20 Emacs commands
3.3 Rings and orderings
3.3.1 Examples of ring declarations
3.3.2 General syntax of a ring declaration
3.3.3 Term orderings
3.3.4 Coefficient rings
3.4 Implemented algorithms
3.5 The SINGULAR language
3.5.1 General command syntax
3.5.2 Special characters
3.5.3 Names
3.5.4 Objects
3.5.5 Type conversion and casting
3.5.6 Flow control
3.6 Input and output
3.7 Procedures
3.7.1 Procedure definition
3.7.2 Parameter list
3.7.3 Help string
3.7.4 Names in procedures
3.7.5 Procedure-specific commands
3.8 Libraries
3.8.1 Libraries in the SINGULAR Documentation
3.8.2 Version string
3.8.3 Category string
3.8.4 Info string
3.8.5 LIB commands
3.8.6 Procedures in a library
3.8.7 template_lib
3.8.7.1 mdouble
3.8.7.2 mtriple
3.8.7.3 msum
3.8.8 Formal Checker
3.8.9 Documentation Tool
3.8.10 Typesetting of help and info strings
3.8.11 Loading a library
3.9 Debugging tools
3.9.1 ASSUME
3.9.2 Tracing of procedures
3.9.3 Source code debugger
3.9.4 Break points
3.9.5 Printing of data
3.9.6 libparse
3.9.7 option(warn)
3.10 Dynamic loading
4. Data types
4.1 cring
4.1.1 cring declarations
4.1.2 cring expressions
4.1.3 cring operations
4.1.4 cring related functions
4.2 bigint
4.2.1 bigint declarations
4.2.2 bigint expressions
4.2.3 bigint operations
4.2.4 bigint related functions
4.3 bigintmat
4.3.1 bigintmat declarations
4.3.2 bigintmat expressions
4.3.3 bigintmat type cast
4.3.4 bigintmat operations
4.4 bigintvec
4.4.1 bigintvec declarations
4.4.2 bigintvec expressions
4.4.3 bigintvec type cast
4.4.4 bigintvec operations
4.5 def
4.5.1 def declarations
4.6 ideal
4.6.1 ideal declarations
4.6.2 ideal expressions
4.6.3 ideal operations
4.6.4 ideal related functions
4.7 int
4.7.1 int declarations
4.7.2 int expressions
4.7.3 int operations
4.7.4 int related functions
4.7.5 boolean expressions
4.7.6 boolean operations
4.8 intmat
4.8.1 intmat declarations
4.8.2 intmat expressions
4.8.3 intmat type cast
4.8.4 intmat operations
4.8.5 intmat related functions
4.9 intvec
4.9.1 intvec declarations
4.9.2 intvec expressions
4.9.3 intvec operations
4.9.4 intvec related functions
4.10 link
4.10.1 link declarations
4.10.2 link expressions
4.10.3 link related functions
4.10.4 ASCII links
4.10.5 Ssi links
4.10.5.1 Ssi file links
4.10.5.2 Ssi tcp links
4.10.6 Pipe links
4.10.7 DBM links
4.11 list
4.11.1 list declarations
4.11.2 list expressions
4.11.3 list operations
4.11.4 list related functions
4.12 map
4.12.1 map declarations
4.12.2 map expressions
4.12.3 map operations
4.12.4 map related functions
4.13 matrix
4.13.1 matrix declarations
4.13.2 matrix expressions
4.13.3 matrix type cast
4.13.4 matrix operations
4.13.5 matrix related functions
4.14 module
4.14.1 module declarations
4.14.2 module expressions
4.14.3 module operations
4.14.4 module related functions
4.15 number
4.15.1 number declarations
4.15.2 number expressions
4.15.3 number operations
4.15.4 number related functions
4.16 package
4.16.1 package declarations
4.16.2 package related functions
4.17 poly
4.17.1 poly declarations
4.17.2 poly expressions
4.17.3 poly operations
4.17.4 poly related functions
4.18 proc
4.18.1 proc declaration
4.18.2 proc expression
4.18.3 procs with different argument types
4.19 resolution
4.19.1 resolution declarations
4.19.2 resolution expressions
4.19.3 resolution related functions
4.20 ring
4.20.1 qring
4.20.2 ring declarations
4.20.3 ring related functions
4.20.4 ring operations
4.20.5 qring declaration
4.21 smatrix
4.22 string
4.22.1 string declarations
4.22.2 string expressions
4.22.3 string type cast
4.22.4 string operations
4.22.5 string related functions
4.23 vector
4.23.1 vector declarations
4.23.2 vector expressions
4.23.3 vector operations
4.23.4 vector related functions
4.24 User defined types
4.24.1 Definition of a user defined type
4.24.2 Declaration of objects of a user defined type
4.24.3 Access to elements of a user defined type
4.24.4 Commands for user defined types
4.24.5 Assignments for user defined types
4.25 cone
4.26 fan
4.27 polytope
4.28 pyobject
4.28.1 pyobject declarations
4.28.2 pyobject expressions
4.28.3 pyobject operations
4.28.4 pyobject related functions
4.28.5 python_eval
4.28.6 python_import
4.28.7 python_run
4.29 reference and shared (experimental)
4.29.1 reference declarations
4.29.2 reference expressions
4.29.3 shared declarations
4.29.4 shared expressions
4.29.5 reference and shared operations
4.29.6 reference and shared related functions
5. Functions and system variables
5.1 Functions
5.1.1 align
5.1.2 attrib
5.1.3 bareiss
5.1.4 betti
5.1.5 char
5.1.6 char_series
5.1.7 charstr
5.1.8 chinrem
5.1.9 cleardenom
5.1.10 close
5.1.11 coef
5.1.12 coeffs
5.1.13 contract
5.1.14 create_ring
5.1.15 crossprod
5.1.16 datetime
5.1.17 dbprint
5.1.18 defined
5.1.19 deg
5.1.20 degree
5.1.21 delete
5.1.22 denominator
5.1.23 det
5.1.24 diff
5.1.25 dim
5.1.26 division
5.1.27 dump
5.1.28 eliminate
5.1.29 eval
5.1.30 ERROR
5.1.31 example
5.1.32 execute
5.1.33 extgcd
5.1.34 facstd
5.1.35 factmodd
5.1.36 factorize
5.1.37 farey
5.1.38 fetch
5.1.39 fglm
5.1.40 fglmquot
5.1.41 files, input from
5.1.42 find
5.1.43 finduni
5.1.44 flintQ
5.1.45 Float
5.1.46 fprintf
5.1.47 freemodule
5.1.48 fres
5.1.49 frwalk
5.1.50 gcd
5.1.51 gen
5.1.52 getdump
5.1.53 groebner
5.1.54 help
5.1.55 highcorner
5.1.56 hilb
5.1.57 homog
5.1.58 hres
5.1.59 imap
5.1.60 impart
5.1.61 indepSet
5.1.62 insert
5.1.63 interpolation
5.1.64 interred
5.1.65 intersect
5.1.66 jacob
5.1.67 janet
5.1.68 jet
5.1.69 kbase
5.1.70 kernel
5.1.71 kill
5.1.72 killattrib
5.1.73 koszul
5.1.74 laguerre
5.1.75 lead
5.1.76 leadcoef
5.1.77 leadexp
5.1.78 leadmonom
5.1.79 LIB
5.1.80 lift
5.1.81 liftstd
5.1.82 listvar
5.1.83 lres
5.1.84 ludecomp
5.1.85 luinverse
5.1.86 lusolve
5.1.87 max
5.1.88 maxideal
5.1.89 memory
5.1.90 min
5.1.91 minbase
5.1.92 minor
5.1.93 minres
5.1.94 modulo
5.1.95 monitor
5.1.96 monomial
5.1.97 mpresmat
5.1.98 mres
5.1.99 mres_map
5.1.100 mstd
5.1.101 mult
5.1.102 nameof
5.1.103 names
5.1.104 ncols
5.1.105 npars
5.1.106 nres
5.1.107 nrows
5.1.108 numerator
5.1.109 nvars
5.1.110 open
5.1.111 option
5.1.112 ord
5.1.113 ordstr
5.1.114 par
5.1.115 pardeg
5.1.116 parstr
5.1.117 preimage
5.1.118 prime
5.1.119 primefactors
5.1.120 print
5.1.121 printf
5.1.122 prune
5.1.123 prune_map
5.1.124 qhweight
5.1.125 qrds
5.1.126 quote
5.1.127 quotient
5.1.128 random
5.1.129 rank
5.1.130 read
5.1.131 reduce
5.1.132 regularity
5.1.133 repart
5.1.134 res
5.1.135 reservedName
5.1.136 resultant
5.1.137 ringlist
5.1.138 ring_list
5.1.139 rvar
5.1.140 sba
5.1.141 setring
5.1.142 simplex
5.1.143 simplify
5.1.144 size
5.1.145 slimgb
5.1.146 sortvec
5.1.147 sqrfree
5.1.148 sprintf
5.1.149 sres
5.1.150 status
5.1.151 std
5.1.152 stdfglm
5.1.153 stdhilb
5.1.154 subst
5.1.155 system
5.1.156 syz
5.1.157 tensor
5.1.158 trace
5.1.159 transpose
5.1.160 type
5.1.161 typeof
5.1.162 univariate
5.1.163 uressolve
5.1.164 vandermonde
5.1.165 var
5.1.166 variables
5.1.167 varstr
5.1.168 vdim
5.1.169 waitall
5.1.170 waitfirst
5.1.171 wedge
5.1.172 weight
5.1.173 weightKB
5.1.174 write
5.2 Control structures
5.2.1 apply
5.2.2 break
5.2.3 breakpoint
5.2.4 continue
5.2.5 else
5.2.6 export
5.2.7 exportto
5.2.8 for
5.2.9 if
5.2.10 importfrom
5.2.11 keepring
5.2.12 load
5.2.13 quit
5.2.14 return
5.2.15 while
5.2.16 ~ (break point)
5.3 System variables
5.3.1 degBound
5.3.2 echo
5.3.3 minpoly
5.3.4 multBound
5.3.5 noether
5.3.6 printlevel
5.3.7 short
5.3.8 timer
5.3.9 TRACE
5.3.10 rtimer
5.3.11 voice
6. Tricks and pitfalls
6.1 Limitations
6.2 System dependent limitations
6.3 Major differences to the C programming language
6.3.1 No rvalue of increments and assignments
6.3.2 Evaluation of logical expressions
6.3.3 No case or switch statement
6.3.4 Usage of commas
6.3.5 Usage of brackets
6.3.6 Behavior of continue
6.3.7 Return type of procedures
6.3.8 First index is 1
6.4 Miscellaneous oddities
6.5 Identifier resolution
7. Non-commutative subsystem
7.1 PLURAL
7.2 Data types (plural)
7.2.1 ideal (plural)
7.2.1.1 ideal declarations (plural)
7.2.1.2 ideal expressions (plural)
7.2.1.3 ideal operations (plural)
7.2.1.4 ideal related functions (plural)
7.2.2 map (plural)
7.2.2.1 map declarations (plural)
7.2.2.2 map expressions (plural)
7.2.2.3 map (plural) operations
7.2.2.4 map related functions (plural)
7.2.3 module (plural)
7.2.3.1 module declarations (plural)
7.2.3.2 module expressions (plural)
7.2.3.3 module operations (plural)
7.2.3.4 module related functions (plural)
7.2.4 poly (plural)
7.2.4.1 poly declarations (plural)
7.2.4.2 poly expressions (plural)
7.2.4.3 poly operations (plural)
7.2.4.4 poly related functions (plural)
7.2.5 qring (plural)
7.2.5.1 qring declaration (plural)
7.2.5.2 qring related functions (plural)
7.2.6 resolution (plural)
7.2.6.1 resolution declarations (plural)
7.2.6.2 resolution expressions (plural)
7.2.6.3 resolution related functions (plural)
7.2.7 ring (plural)
7.2.7.1 ring declarations (plural)
7.2.7.2 ring operations (plural)
7.2.7.3 ring related functions (plural)
7.3 Functions (plural)
7.3.1 betti (plural)
7.3.2 bracket
7.3.3 dim (plural)
7.3.4 division (plural)
7.3.5 eliminate (plural)
7.3.6 envelope
7.3.7 fetch (plural)
7.3.8 imap (plural)
7.3.9 intersect (plural)
7.3.10 kbase (plural)
7.3.11 lift (plural)
7.3.12 liftstd (plural)
7.3.13 minres (plural)
7.3.14 modulo (plural)
7.3.15 mres (plural)
7.3.16 nc_algebra
7.3.17 ncalgebra
7.3.18 nres (plural)
7.3.19 oppose
7.3.20 opposite
7.3.21 preimage (plural)
7.3.22 quotient (plural)
7.3.23 reduce (plural)
7.3.24 ringlist (plural)
7.3.25 slimgb (plural)
7.3.26 std (plural)
7.3.27 subst (plural)
7.3.28 syz (plural)
7.3.29 twostd (plural)
7.3.30 vdim (plural)
7.4 Mathematical background (plural)
7.4.1 G-algebras
7.4.2 Groebner bases in G-algebras
7.4.3 Syzygies and resolutions (plural)
7.4.4 References (plural)
7.5 PLURAL libraries
7.5.1 bimodules_lib
7.5.1.0. bistd
7.5.1.0. bitrinity
7.5.1.0. liftenvelope
7.5.1.0. CompDecomp
7.5.1.0. isPureTensor
7.5.1.0. isTwoSidedGB
7.5.2 bfun_lib
7.5.2.0. bfct
7.5.2.0. bfctSyz
7.5.2.0. bfctAnn
7.5.2.0. bfctOneGB
7.5.2.0. bfctIdeal
7.5.2.0. pIntersect
7.5.2.0. pIntersectSyz
7.5.2.0. linReduce
7.5.2.0. linReduceIdeal
7.5.2.0. linSyzSolve
7.5.2.0. allPositive
7.5.2.0. scalarProd
7.5.2.0. vec2poly
7.5.3 central_lib
7.5.3.0. centralizeSet
7.5.3.0. centralizerVS
7.5.3.0. centralizerRed
7.5.3.0. centerVS
7.5.3.0. centerRed
7.5.3.0. center
7.5.3.0. centralizer
7.5.3.0. sa_reduce
7.5.3.0. sa_poly_reduce
7.5.3.0. inCenter
7.5.3.0. inCentralizer
7.5.3.0. isCartan
7.5.3.0. applyAdF
7.5.3.0. linearMapKernel
7.5.3.0. linearCombinations
7.5.3.0. variablesStandard
7.5.3.0. variablesSorted
7.5.3.0. PBW_eqDeg
7.5.3.0. PBW_maxDeg
7.5.3.0. PBW_maxMonom
7.5.4 dmod_lib
7.5.4.0. annfs
7.5.4.0. annfspecial
7.5.4.0. annfspecialOld
7.5.4.0. Sannfs
7.5.4.0. Sannfslog
7.5.4.0. bernsteinBM
7.5.4.0. bernsteinLift
7.5.4.0. operatorBM
7.5.4.0. operatorModulo
7.5.4.0. annfsParamBM
7.5.4.0. annfsBMI
7.5.4.0. checkRoot
7.5.4.0. SannfsBFCT
7.5.4.0. annfs0
7.5.4.0. annfs2
7.5.4.0. annfsRB
7.5.4.0. checkFactor
7.5.4.0. arrange
7.5.4.0. reiffen
7.5.4.0. isHolonomic
7.5.4.0. convloc
7.5.4.0. minIntRoot
7.5.4.0. isRational
7.5.5 dmodapp_lib
7.5.5.0. annPoly
7.5.5.0. annRat
7.5.5.0. DLoc
7.5.5.0. SDLoc
7.5.5.0. DLoc0
7.5.5.0. GBWeight
7.5.5.0. initialMalgrange
7.5.5.0. initialIdealW
7.5.5.0. inForm
7.5.5.0. restrictionIdeal
7.5.5.0. restrictionModule
7.5.5.0. integralIdeal
7.5.5.0. integralModule
7.5.5.0. deRhamCohom
7.5.5.0. deRhamCohomIdeal
7.5.5.0. charVariety
7.5.5.0. charInfo
7.5.5.0. isFsat
7.5.5.0. appelF1
7.5.5.0. appelF2
7.5.5.0. appelF4
7.5.5.0. fourier
7.5.5.0. inverseFourier
7.5.5.0. bFactor
7.5.5.0. intRoots
7.5.5.0. poly2list
7.5.5.0. fl2poly
7.5.5.0. insertGenerator
7.5.5.0. deleteGenerator
7.5.5.0. isInt
7.5.5.0. sortIntvec
7.5.6 dmodideal_lib
7.5.6.0. annfsLogIdeal
7.5.6.0. annihilatorMultiFs
7.5.6.0. BSidealFromAnn
7.5.6.0. BernsteinSatoIdeal
7.5.6.0. BFBoundsBudur
7.5.6.0. annfalphaI
7.5.6.0. extractS
7.5.7 dmodvar_lib
7.5.7.0. bfctVarIn
7.5.7.0. bfctVarAnn
7.5.7.0. SannfsVar
7.5.7.0. makeMalgrange
7.5.8 involut_lib
7.5.8.0. findInvo
7.5.8.0. findInvoDiag
7.5.8.0. findAuto
7.5.8.0. ncdetection
7.5.8.0. involution
7.5.8.0. isInvolution
7.5.8.0. isAntiEndo
7.5.9 gkdim_lib
7.5.9.0. GKdim
7.5.10 ncalg_lib
7.5.10.0. makeUsl2
7.5.10.0. makeUsl
7.5.10.0. makeUgl
7.5.10.0. makeUso5
7.5.10.0. makeUso6
7.5.10.0. makeUso7
7.5.10.0. makeUso8
7.5.10.0. makeUso9
7.5.10.0. makeUso10
7.5.10.0. makeUso11
7.5.10.0. makeUso12
7.5.10.0. makeUsp1
7.5.10.0. makeUsp2
7.5.10.0. makeUsp3
7.5.10.0. makeUsp4
7.5.10.0. makeUsp5
7.5.10.0. makeUg2
7.5.10.0. makeUf4
7.5.10.0. makeUe6
7.5.10.0. makeUe7
7.5.10.0. makeUe8
7.5.10.0. makeQso3
7.5.10.0. makeQsl2
7.5.10.0. makeQsl3
7.5.10.0. Qso3Casimir
7.5.10.0. GKZsystem
7.5.11 ncdecomp_lib
7.5.11.0. CentralQuot
7.5.11.0. CentralSaturation
7.5.11.0. CenCharDec
7.5.11.0. IntersectWithSub
7.5.12 ncfactor_lib
7.5.12.0. ncfactor
7.5.12.0. facWeyl
7.5.12.0. facFirstWeyl
7.5.12.0. testNCfac
7.5.12.0. facSubWeyl
7.5.12.0. facShift
7.5.12.0. facFirstShift
7.5.12.0. homogfacNthWeyl
7.5.12.0. homogfacNthQWeyl
7.5.12.0. homogfacFirstQWeyl
7.5.12.0. homogfacNthQWeyl_all
7.5.12.0. homogfacFirstQWeyl_all
7.5.13 nchilbert_lib
7.5.13.0. ncHilb
7.5.13.0. ncHilbertSeries
7.5.13.0. ncHilbertPolynomial
7.5.13.0. ncHilbertMultiplicity
7.5.13.0. GKExp
7.5.13.0. mondim
7.5.14 dmodloc_lib
7.5.14.0. Dlocalization
7.5.14.0. WeylClosure
7.5.14.0. WeylClosure1
7.5.14.0. holonomicRank
7.5.14.0. DsingularLocus
7.5.14.0. polSol
7.5.14.0. polSolFiniteRank
7.5.14.0. ratSol
7.5.14.0. bfctBound
7.5.14.0. annRatSyz
7.5.14.0. dmodGeneralAssumptionCheck
7.5.14.0. extendWeyl
7.5.14.0. polyVars
7.5.14.0. monomialInIdeal
7.5.14.0. vars2pars
7.5.14.0. minIntRoot2
7.5.14.0. maxIntRoot
7.5.14.0. dmodAction
7.5.14.0. dmodActionRat
7.5.14.0. simplifyRat
7.5.14.0. addRat
7.5.14.0. multRat
7.5.14.0. diffRat
7.5.14.0. commRing
7.5.14.0. rightNFWeyl
7.5.15 ncfrac_lib
7.5.15.0. hasLeftDenom
7.5.15.0. hasRightDenom
7.5.15.0. isZeroNcfrac
7.5.15.0. isOneNcfrac
7.5.15.0. zeroNcfrac
7.5.15.0. oneNcfrac
7.5.15.0. ensureLeftNcfrac
7.5.15.0. ensureRightNcfrac
7.5.15.0. negateNcfrac
7.5.15.0. isInvertibleNcfrac
7.5.15.0. invertNcfrac
7.5.15.0. testNcfrac
7.5.15.0. testNcfracExamples
7.5.16 nchomolog_lib
7.5.16.0. ncExt_R
7.5.16.0. ncHom
7.5.16.0. coHom
7.5.16.0. contraHom
7.5.16.0. dmodoublext
7.5.16.0. is_cenBimodule
7.5.16.0. is_cenSubbimodule
7.5.17 ncloc_lib
7.5.17.0. isDenom
7.5.17.0. testNcloc
7.5.17.0. testNclocExamples
7.5.18 ncModslimgb_lib
7.5.18.0. ncmodslimgb
7.5.19 ncpreim_lib
7.5.19.0. eliminateNC
7.5.19.0. preimageNC
7.5.19.0. admissibleSub
7.5.19.0. isUpperTriangular
7.5.19.0. appendWeight2Ord
7.5.19.0. elimWeight
7.5.19.0. extendedTensor
7.5.20 nctools_lib
7.5.20.0. Gweights
7.5.20.0. weightedRing
7.5.20.0. ndcond
7.5.20.0. Weyl
7.5.20.0. makeWeyl
7.5.20.0. makeHeisenberg
7.5.20.0. Exterior
7.5.20.0. findimAlgebra
7.5.20.0. superCommutative
7.5.20.0. rightStd
7.5.20.0. rightNF
7.5.20.0. rightModulo
7.5.20.0. moduloSlim
7.5.20.0. ncRelations
7.5.20.0. isCentral
7.5.20.0. isNC
7.5.20.0. isCommutative
7.5.20.0. isWeyl
7.5.20.0. UpOneMatrix
7.5.20.0. AltVarStart
7.5.20.0. AltVarEnd
7.5.20.0. IsSCA
7.5.20.0. makeModElimRing
7.5.20.0. embedMat
7.5.21 olga_lib
7.5.21.0. locStatus
7.5.21.0. testLocData
7.5.21.0. isInS
7.5.21.0. fracStatus
7.5.21.0. testFraction
7.5.21.0. leftOre
7.5.21.0. rightOre
7.5.21.0. convertRightToLeftFraction
7.5.21.0. convertLeftToRightFraction
7.5.21.0. addLeftFractions
7.5.21.0. multiplyLeftFractions
7.5.21.0. areEqualLeftFractions
7.5.21.0. isInvertibleLeftFraction
7.5.21.0. invertLeftFraction
7.5.21.0. isZeroFraction
7.5.21.0. isOneFraction
7.5.21.0. normalizeMonoidal
7.5.21.0. normalizeRational
7.5.21.0. testOlga
7.5.21.0. testOlgaExamples
7.5.22 perron_lib
7.5.22.0. perron
7.5.23 purityfiltration_lib
7.5.23.0. projectiveDimension
7.5.23.0. purityFiltration
7.5.23.0. purityTriang
7.5.23.0. gradeNumber
7.5.23.0. showgrades
7.5.23.0. allExtOfLeft
7.5.23.0. allExtOfRight
7.5.23.0. doubleExt
7.5.23.0. allDoubleExt
7.5.23.0. is_pure
7.5.23.0. purelist
7.5.24 qmatrix_lib
7.5.24.0. quantMat
7.5.24.0. qminor
7.5.24.0. SymGroup
7.5.24.0. LengthSymElement
7.5.24.0. LengthSym
7.5.25 ratgb_lib
7.5.25.0. ratstd
7.6 Graded commutative algebras (SCA)
7.7 LETTERPLACE
7.7.1 Examples of use of LETTERPLACE
7.7.2 Example of use of LETTERPLACE over Z
7.7.3 Functionality and release notes of LETTERPLACE
7.7.4 References and history of LETTERPLACE
7.8 Functions (letterplace)
7.8.1 dim (letterplace)
7.8.2 fetch (letterplace)
7.8.3 freeAlgebra (letterplace)
7.8.4 imap (letterplace)
7.8.5 lift (letterplace)
7.8.6 liftstd (letterplace)
7.8.7 modulo (letterplace)
7.8.8 ncgen
7.8.9 reduce (letterplace)
7.8.10 rightstd (letterplace)
7.8.11 std (letterplace)
7.8.12 subst (letterplace)
7.8.13 syz (letterplace)
7.8.14 twostd (letterplace)
7.8.15 vdim (letterplace)
7.9 Mathematical background (letterplace)
7.9.1 Free associative algebras
7.9.2 Monomial orderings on free algebras
7.9.3 Groebner bases for two-sided ideals in free associative algebras
7.9.4 Bimodules and syzygies and lifts
7.9.5 Letterplace correspondence
7.10 LETTERPLACE libraries
7.10.1 fpadim_lib
7.10.1.1 teach_lpKDimCheck
7.10.1.2 lpKDim
7.10.1.3 teach_lpKDim
7.10.1.4 lpMonomialBasis
7.10.1.5 lpHilbert
7.10.1.6 teach_lpSickleDim
7.10.2 fpalgebras_lib
7.10.2.1 operatorAlgebra
7.10.2.2 serreRelations
7.10.2.3 fullSerreRelations
7.10.2.4 ademRelations
7.10.2.5 baumslagSolitar
7.10.2.6 baumslagGroup
7.10.2.7 crystallographicGroupP1
7.10.2.8 crystallographicGroupPM
7.10.2.9 crystallographicGroupPG
7.10.2.10 crystallographicGroupP2MM
7.10.2.11 crystallographicGroupP2
7.10.2.12 crystallographicGroupP2GG
7.10.2.13 crystallographicGroupCM
7.10.2.14 crystallographicGroupC2MM
7.10.2.15 crystallographicGroupP4
7.10.2.16 crystallographicGroupP4MM
7.10.2.17 crystallographicGroupP4GM
7.10.2.18 crystallographicGroupP3
7.10.2.19 crystallographicGroupP31M
7.10.2.20 crystallographicGroupP3M1
7.10.2.21 crystallographicGroupP6
7.10.2.22 crystallographicGroupP6MM
7.10.2.23 dyckGroup1
7.10.2.24 dyckGroup2
7.10.2.25 dyckGroup3
7.10.2.26 fibonacciGroup
7.10.2.27 tetrahedronGroup
7.10.2.28 triangularGroup
7.10.3 fpaprops_lib
7.10.3.1 lpNoetherian
7.10.3.2 lpIsSemiPrime
7.10.3.3 lpIsPrime
7.10.3.4 lpGkDim
7.10.3.5 teach_lpGkDim
7.10.3.6 lpGlDimBound
7.10.3.7 lpSubstitute
7.10.3.8 lpCalcSubstDegBound
7.10.4 freegb_lib
7.10.4.1 isFreeAlgebra
7.10.4.2 lpDegBound
7.10.4.3 lpVarBlockSize
7.10.4.4 lpNcgenCount
7.10.4.5 lpDivision
7.10.4.6 lpGBPres2Poly
7.10.4.7 isOrderingShiftInvariant
7.10.4.8 makeLetterplaceRing
7.10.4.9 letplaceGBasis
7.10.4.10 lieBracket
7.10.4.11 setLetterplaceAttributes
7.10.4.12 testLift
7.10.4.13 testSyz
7.10.5 ncHilb_lib
7.10.5.1 nchilb
7.10.5.2 rcolon
7.10.6 ncrat_lib
7.10.6.1 ncInit
7.10.6.2 ncVarsGet
7.10.6.3 ncVarsAdd
7.10.6.4 ncratDefine
7.10.6.5 ncratAdd
7.10.6.6 ncratSubstract
7.10.6.7 ncratMultiply
7.10.6.8 ncratInvert
7.10.6.9 ncratSPrint
7.10.6.10 ncratPrint
7.10.6.11 ncratFromString
7.10.6.12 ncratFromPoly
7.10.6.13 ncratPower
7.10.6.14 ncratEvaluateAt
7.10.6.15 ncrepGet
7.10.6.16 ncrepAdd
7.10.6.17 ncrepSubstract
7.10.6.18 ncrepMultiply
7.10.6.19 ncrepInvert
7.10.6.20 ncrepPrint
7.10.6.21 ncrepDim
7.10.6.22 ncrepSubstitute
7.10.6.23 ncrepEvaluate
7.10.6.24 ncrepEvaluateAt
7.10.6.25 ncrepIsDefinedDim
7.10.6.26 ncrepIsDefined
7.10.6.27 ncrepIsRegular
7.10.6.28 ncrepRegularZeroMinimize
7.10.6.29 ncrepRegularMinimize
7.10.6.30 ncrepGetRegularZeroMinimal
7.10.6.31 ncrepGetRegularMinimal
7.10.6.32 ncrepPencilGet
7.10.6.33 ncrepPencilCombine
7.11 Release Notes (letterplace)
A. Examples
A.1 Programming
A.1.1 Basic programming
A.1.2 Writing procedures and libraries
A.1.3 Rings associated to monomial orderings
A.1.4 Long coefficients
A.1.5 Parameters
A.1.6 Formatting output
A.1.7 Cyclic roots
A.1.8 Parallelization with ssi links
A.1.9 Dynamic modules
A.2 Computing Groebner and Standard Bases
A.2.1 groebner and std
A.2.2 Groebner basis conversion
A.2.3 slim Groebner bases
A.3 Commutative Algebra
A.3.1 Saturation
A.3.2 Finite fields
A.3.3 Elimination
A.3.4 Free resolution
A.3.5 Handling graded modules
A.3.6 Computation of Ext
A.3.7 Depth
A.3.8 Factorization
A.3.9 Primary decomposition
A.3.10 Normalization
A.3.11 Kernel of module homomorphisms
A.3.12 Algebraic dependence
A.4 Singularity Theory
A.4.1 Milnor and Tjurina number
A.4.2 Critical points
A.4.3 Polar curves
A.4.4 T1 and T2
A.4.5 Deformations
A.4.6 Invariants of plane curve singularities
A.4.7 Branches of space curve singularities
A.4.8 Classification of hypersurface singularities
A.4.9 Resolution of singularities
A.5 Invariant Theory
A.5.1 G_a -Invariants
A.5.2 Invariants of a finite group
A.6 Geometric Invariant Theory
A.6.1 GIT-Fans
A.7 Non-commutative Algebra
A.7.1 Left and two-sided Groebner bases
A.7.2 Right Groebner bases and syzygies
A.8 Applications
A.8.1 Solving systems of polynomial equations
A.8.2 AG codes
B. Polynomial data
B.1 Representation of mathematical objects
B.2 Monomial orderings
B.2.1 Introduction to orderings
B.2.2 General definitions for orderings
B.2.3 Global orderings
B.2.4 Local orderings
B.2.5 Module orderings
B.2.6 Matrix orderings
B.2.7 Product orderings
B.2.8 Extra weight vector
B.2.9 Pseudo ordering L
C. Mathematical background
C.1 Standard bases
C.2 Hilbert function
C.3 Syzygies and resolutions
C.4 Characteristic sets
C.5 Gauss-Manin connection
C.6 Toric ideals and integer programming
C.6.1 Toric ideals
C.6.2 Algorithms
C.6.2.1 The algorithm of Conti and Traverso
C.6.2.2 The algorithm of Pottier
C.6.2.3 The algorithm of Hosten and Sturmfels
C.6.2.4 The algorithm of Di Biase and Urbanke
C.6.2.5 The algorithm of Bigatti, La Scala and Robbiano
C.6.3 The Buchberger algorithm for toric ideals
C.6.4 Integer programming
C.6.5 Relevant References
C.7 Non-commutative algebra
C.8 Decoding codes with Groebner bases
C.8.1 Codes and the decoding problem
C.8.2 Cooper philosophy
C.8.3 Generalized Newton identities
C.8.4 Fitzgerald-Lax method
C.8.5 Decoding method based on quadratic equations
C.8.6 References for decoding with Groebner bases
C.9 References
D. SINGULAR libraries
D.1 standard_lib
D.1.1 qslimgb
D.1.2 par2varRing
D.2 General purpose
D.2.1 all_lib
D.2.2 compregb_lib
D.2.2.1 cgs
D.2.2.2 base2str
D.2.3 general_lib
D.2.3.1 A_Z
D.2.3.2 A_Z_L
D.2.3.3 ASCII
D.2.3.4 absValue
D.2.3.5 binomial
D.2.3.6 deleteSublist
D.2.3.7 factorial
D.2.3.8 fibonacci
D.2.3.9 kmemory
D.2.3.10 killall
D.2.3.11 number_e
D.2.3.12 number_pi
D.2.3.13 primes
D.2.3.14 product
D.2.3.15 sort
D.2.3.16 sum
D.2.3.17 watchdog
D.2.3.18 primecoeffs
D.2.3.19 timeStd
D.2.3.20 timeFactorize
D.2.3.21 factorH
D.2.4 grobcov_lib
D.2.4.1 grobcov
D.2.4.2 cgsdr
D.2.4.3 pdivi
D.2.4.4 pnormalf
D.2.4.5 Crep
D.2.4.6 Prep
D.2.4.7 PtoCrep
D.2.4.8 extendpoly
D.2.4.9 extendGC
D.2.4.10 locus
D.2.4.11 locusdg
D.2.4.12 envelop
D.2.4.13 locusto
D.2.4.14 stdlocus
D.2.4.15 AssocTanToEnv
D.2.4.16 FamElemsAtEnvCompPoints
D.2.4.17 discrim
D.2.4.18 WLemma
D.2.4.19 WLCGS
D.2.4.20 intersectpar
D.2.4.21 ADGT
D.2.4.22 ConsLevels
D.2.4.23 Levels
D.2.4.24 Grob1Levels
D.2.4.25 DifConsLCSets
D.2.5 inout_lib
D.2.5.1 allprint
D.2.5.2 lprint
D.2.5.3 pmat
D.2.5.4 rMacaulay
D.2.5.5 show
D.2.5.6 showrecursive
D.2.5.7 split
D.2.5.8 tab
D.2.5.9 pause
D.2.6 modular_lib
D.2.6.1 modular
D.2.7 parallel_lib
D.2.7.1 parallelWaitN
D.2.7.2 parallelWaitFirst
D.2.7.3 parallelWaitAll
D.2.7.4 parallelTestAND
D.2.7.5 parallelTestOR
D.2.8 polylib_lib
D.2.8.1 cyclic
D.2.8.2 elemSymmId
D.2.8.3 katsura
D.2.8.4 freerank
D.2.8.5 is_zero
D.2.8.6 lcm
D.2.8.7 maxcoef
D.2.8.8 maxdeg
D.2.8.9 maxdeg1
D.2.8.10 mindeg
D.2.8.11 mindeg1
D.2.8.12 normalize
D.2.8.13 rad_con
D.2.8.14 content
D.2.8.15 mod2id
D.2.8.16 id2mod
D.2.8.17 substitute
D.2.8.18 subrInterred
D.2.8.19 newtonDiag
D.2.8.20 hilbPoly
D.2.9 redcgs_lib
D.2.9.1 setglobalrings
D.2.9.2 memberpos
D.2.9.3 subset
D.2.9.4 pdivi2
D.2.9.5 facvar
D.2.9.6 redspec
D.2.9.7 pnormalform
D.2.9.8 buildtree
D.2.9.9 buildtreetoMaple
D.2.9.10 finalcases
D.2.9.11 mrcgs
D.2.9.12 rcgs
D.2.9.13 crcgs
D.2.9.14 cantodiffcgs
D.2.10 random_lib
D.2.10.1 genericid
D.2.10.2 randomid
D.2.10.3 randommat
D.2.10.4 sparseid
D.2.10.5 sparsematrix
D.2.10.6 sparsemat
D.2.10.7 sparsepoly
D.2.10.8 sparsetriag
D.2.10.9 sparseHomogIdeal
D.2.10.10 triagmatrix
D.2.10.11 randomLast
D.2.10.12 randomBinomial
D.2.11 resources_lib
D.2.11.1 addcores
D.2.11.2 setcores
D.2.11.3 getcores
D.2.11.4 semaphore
D.2.12 ring_lib
D.2.12.1 changechar
D.2.12.2 changeord
D.2.12.3 changevar
D.2.12.4 defring
D.2.12.5 defrings
D.2.12.6 defringp
D.2.12.7 extendring
D.2.12.8 fetchall
D.2.12.9 imapall
D.2.12.10 mapall
D.2.12.11 ord_test
D.2.12.12 ringtensor
D.2.12.13 ringweights
D.2.12.14 preimageLoc
D.2.12.15 rootofUnity
D.2.12.16 optionIsSet
D.2.12.17 hasNumericCoeffs
D.2.12.18 hasCommutativeVars
D.2.12.19 hasGlobalOrdering
D.2.12.20 hasMixedOrdering
D.2.12.21 hasAlgExtensionCoefficient
D.2.12.22 hasTransExtensionCoefficient
D.2.12.23 isQuotientRing
D.2.12.24 isSubModule
D.2.12.25 changeordTo
D.2.12.26 addvarsTo
D.2.12.27 addNvarsTo
D.2.13 tasks_lib
D.2.13.1 createTask
D.2.13.2 killTask
D.2.13.3 copyTask
D.2.13.4 compareTasks
D.2.13.5 printTask
D.2.13.6 startTasks
D.2.13.7 stopTask
D.2.13.8 waitTasks
D.2.13.9 waitAllTasks
D.2.13.10 pollTask
D.2.13.11 getCommand
D.2.13.12 getArguments
D.2.13.13 getResult
D.2.13.14 getState
D.3 Linear algebra
D.3.1 matrix_lib
D.3.1.1 compress
D.3.1.2 concat
D.3.1.3 diag
D.3.1.4 dsum
D.3.1.5 flatten
D.3.1.6 genericmat
D.3.1.7 is_complex
D.3.1.8 outer
D.3.1.9 power
D.3.1.10 skewmat
D.3.1.11 submat
D.3.1.12 symmat
D.3.1.13 unitmat
D.3.1.14 gauss_col
D.3.1.15 gauss_row
D.3.1.16 addcol
D.3.1.17 addrow
D.3.1.18 multcol
D.3.1.19 multrow
D.3.1.20 permcol
D.3.1.21 permrow
D.3.1.22 rowred
D.3.1.23 colred
D.3.1.24 linear_relations
D.3.1.25 rm_unitrow
D.3.1.26 rm_unitcol
D.3.1.27 headStand
D.3.1.28 symmetricBasis
D.3.1.29 exteriorBasis
D.3.1.30 symmetricPower
D.3.1.31 exteriorPower
D.3.2 linalg_lib
D.3.2.1 inverse
D.3.2.2 inverse_B
D.3.2.3 inverse_L
D.3.2.4 sym_gauss
D.3.2.5 orthogonalize
D.3.2.6 diag_test
D.3.2.7 busadj
D.3.2.8 charpoly
D.3.2.9 adjoint
D.3.2.10 det_B
D.3.2.11 gaussred
D.3.2.12 gaussred_pivot
D.3.2.13 gauss_nf
D.3.2.14 mat_rk
D.3.2.15 U_D_O
D.3.2.16 pos_def
D.3.2.17 hessenberg
D.3.2.18 eigenvals
D.3.2.19 minipoly
D.3.2.20 spnf
D.3.2.21 spprint
D.3.2.22 jordan
D.3.2.23 jordanbasis
D.3.2.24 jordanmatrix
D.3.2.25 jordannf
D.4 Commutative algebra
D.4.1 absfact_lib
D.4.1.1 absFactorize
D.4.1.2 absFactorizeBCG
D.4.2 algebra_lib
D.4.2.1 algebra_containment
D.4.2.2 module_containment
D.4.2.3 inSubring
D.4.2.4 algDependent
D.4.2.5 alg_kernel
D.4.2.6 is_injective
D.4.2.7 is_surjective
D.4.2.8 is_bijective
D.4.2.9 noetherNormal
D.4.2.10 mapIsFinite
D.4.2.11 finitenessTest
D.4.2.12 nonZeroEntry
D.4.3 assprimeszerodim_lib
D.4.3.1 zeroRadical
D.4.3.2 assPrimes
D.4.4 cisimplicial_lib
D.4.4.1 minMult
D.4.4.2 belongSemigroup
D.4.4.3 oneDimBelongSemigroup
D.4.4.4 cardGroup
D.4.4.5 isCI
D.4.5 curveInv_lib
D.4.5.1 curveDeltaInv
D.4.5.2 curveConductorMult
D.4.5.3 curveDeligneNumber
D.4.5.4 curveColengthDerivations
D.4.6 decomp_lib
D.4.6.1 decompopts
D.4.6.2 decompose
D.4.6.3 is_composite
D.4.6.4 chebyshev
D.4.6.5 compose
D.4.6.6 makedistinguished
D.4.7 elim_lib
D.4.7.1 blowup0
D.4.7.2 elimRing
D.4.7.3 elim
D.4.7.4 elim1
D.4.7.5 elim2
D.4.7.6 nselect
D.4.7.7 sat
D.4.7.8 sat_with_exp
D.4.7.9 select
D.4.7.10 select1
D.4.8 ellipticcovers_lib
D.4.8.1 makeGraph
D.4.8.2 printGraph
D.4.8.3 propagator
D.4.8.4 computeConstant
D.4.8.5 evalutateIntegral
D.4.8.6 gromovWitten
D.4.8.7 computeGromovWitten
D.4.8.8 partitions
D.4.8.9 permute
D.4.8.10 lsum
D.4.9 ffmodstd_lib
D.4.9.1 fareypoly
D.4.9.2 polyInterpolation
D.4.9.3 modrationalInterpolation
D.4.9.4 BerlekampMassey
D.4.9.5 modberlekampMassey
D.4.9.6 sparseInterpolation
D.4.9.7 ffmodStd
D.4.10 grwalk_lib
D.4.10.1 fwalk
D.4.10.2 twalk
D.4.10.3 awalk1
D.4.10.4 awalk2
D.4.10.5 pwalk
D.4.10.6 gwalk
D.4.11 homolog_lib
D.4.11.1 canonMap
D.4.11.2 cup
D.4.11.3 cupproduct
D.4.11.4 depth
D.4.11.5 Ext_R
D.4.11.6 Ext
D.4.11.7 fitting
D.4.11.8 flatteningStrat
D.4.11.9 Hom
D.4.11.10 homology
D.4.11.11 isCM
D.4.11.12 isFlat
D.4.11.13 isLocallyFree
D.4.11.14 isReg
D.4.11.15 hom_kernel
D.4.11.16 kohom
D.4.11.17 kontrahom
D.4.11.18 KoszulHomology
D.4.11.19 tensorMod
D.4.11.20 Tor
D.4.12 integralbasis_lib
D.4.12.1 integralBasis
D.4.12.2 polyDK
D.4.12.3 monic
D.4.12.4 henselGlobal
D.4.13 intprog_lib
D.4.13.1 solve_IP
D.4.14 moddiq_lib
D.4.14.1 modQuotient
D.4.14.2 modSat
D.4.15 modules_lib
D.4.15.1 id
D.4.15.2 zero
D.4.15.3 freeModule
D.4.15.4 makeMatrix
D.4.15.5 makeIdeal
D.4.15.6 Target
D.4.15.7 Source
D.4.15.8 printMatrix
D.4.15.9 printFreeModule
D.4.15.10 printResolution
D.4.15.11 printModule
D.4.15.12 printHom
D.4.15.13 mRes
D.4.15.14 sRes
D.4.15.15 Res
D.4.15.16 Betti
D.4.15.17 printBetti
D.4.15.18 SetDeg
D.4.15.19 Deg
D.4.15.20 Degree
D.4.15.21 Degrees
D.4.15.22 subquotient
D.4.15.23 coker
D.4.15.24 image
D.4.15.25 Ker
D.4.15.26 compareModules
D.4.15.27 addModules
D.4.15.28 homomorphism
D.4.15.29 target
D.4.15.30 source
D.4.15.31 compareMatrix
D.4.15.32 freeModule2Module
D.4.15.33 makeVector
D.4.15.34 netVector
D.4.15.35 netMatrix
D.4.15.36 presentation
D.4.15.37 tensorMatrix
D.4.15.38 tensorModule
D.4.15.39 tensorModFreemod
D.4.15.40 tensorFreemodMod
D.4.15.41 tensorFreeModule
D.4.15.42 tensorProduct
D.4.15.43 pruneModule
D.4.15.44 hom
D.4.15.45 kerHom
D.4.15.46 interpret
D.4.15.47 interpretInv
D.4.15.48 reduceIntChain
D.4.15.49 interpretElem
D.4.15.50 interpretList
D.4.15.51 compareVectors
D.4.15.52 simplePrune
D.4.16 modstd_lib
D.4.16.1 modStd
D.4.16.2 modGB
D.4.16.3 modSyz
D.4.16.4 modIntersect
D.4.17 monomialideal_lib
D.4.17.1 isMonomial
D.4.17.2 minbaseMon
D.4.17.3 gcdMon
D.4.17.4 lcmMon
D.4.17.5 membershipMon
D.4.17.6 intersectMon
D.4.17.7 quotientMon
D.4.17.8 radicalMon
D.4.17.9 isprimeMon
D.4.17.10 isprimaryMon
D.4.17.11 isirreducibleMon
D.4.17.12 isartinianMon
D.4.17.13 isgenericMon
D.4.17.14 dimMon
D.4.17.15 irreddecMon
D.4.17.16 primdecMon
D.4.18 mprimdec_lib
D.4.18.1 separator
D.4.18.2 PrimdecA
D.4.18.3 PrimdecB
D.4.18.4 modDec
D.4.18.5 zeroMod
D.4.18.6 GTZmod
D.4.18.7 dec1var
D.4.18.8 annil
D.4.18.9 splitting
D.4.18.10 primTest
D.4.18.11 preComp
D.4.18.12 indSet
D.4.18.13 GTZopt
D.4.18.14 zeroOpt
D.4.19 mregular_lib
D.4.19.1 regIdeal
D.4.19.2 depthIdeal
D.4.19.3 satiety
D.4.19.4 regMonCurve
D.4.19.5 NoetherPosition
D.4.19.6 is_NP
D.4.19.7 is_nested
D.4.20 nfmodstd_lib
D.4.20.1 chinrempoly
D.4.20.2 nfmodStd
D.4.21 nfmodsyz_lib
D.4.21.1 nfmodSyz
D.4.22 noether_lib
D.4.22.1 NPos_test
D.4.22.2 modNpos_test
D.4.22.3 NPos
D.4.22.4 modNPos
D.4.22.5 nsatiety
D.4.22.6 modsatiety
D.4.22.7 regCM
D.4.22.8 modregCM
D.4.23 normal_lib
D.4.23.1 normal
D.4.23.2 locNormal
D.4.23.3 modNormal
D.4.23.4 normalP
D.4.23.5 normalC
D.4.23.6 HomJJ
D.4.23.7 genus
D.4.23.8 primeClosure
D.4.23.9 closureFrac
D.4.23.10 iMult
D.4.23.11 deltaLoc
D.4.23.12 locAtZero
D.4.23.13 norTest
D.4.23.14 getSmallest
D.4.23.15 getOneVar
D.4.23.16 changeDenominator
D.4.23.17 normalConductor
D.4.23.18 isNormal
D.4.24 normaliz_lib
D.4.24.1 intclToricRing
D.4.24.2 normalToricRing
D.4.24.3 normalToricRingFromBinomials
D.4.24.4 toricRingFromBinomials
D.4.24.5 ehrhartRing
D.4.24.6 intclMonIdeal
D.4.24.7 definingBinomialIdeal
D.4.24.8 latticeIdeal
D.4.24.9 groebnerBasis
D.4.24.10 torusInvariants
D.4.24.11 finiteDiagInvariants
D.4.24.12 diagInvariants
D.4.24.13 intersectionValRings
D.4.24.14 intersectionValRingIdeals
D.4.24.15 showNuminvs
D.4.24.16 exportNuminvs
D.4.24.17 allNmzOptions
D.4.24.18 setNmzOption
D.4.24.19 addNmzOption
D.4.24.20 showNmzOptions
D.4.24.21 resetNmzOptions
D.4.24.22 normaliz
D.4.24.23 setNmzExecPath
D.4.24.24 writeNmzData
D.4.24.25 readNmzData
D.4.24.26 setNmzFilename
D.4.24.27 setNmzDataPath
D.4.24.28 writeNmzPaths
D.4.24.29 startNmz
D.4.24.30 rmNmzFiles
D.4.24.31 mons2intmat
D.4.24.32 intmat2mons
D.4.24.33 binomials2intmat
D.4.24.34 intmat2binomials
D.4.25 pointid_lib
D.4.25.1 nonMonomials
D.4.25.2 cornerMonomials
D.4.25.3 facGBIdeal
D.4.26 primdec_lib
D.4.26.1 Ann
D.4.26.2 primdecGTZ
D.4.26.3 primdecGTZE
D.4.26.4 primdecSY
D.4.26.5 primdecSYE
D.4.26.6 minAssGTZ
D.4.26.7 minAssGTZE
D.4.26.8 minAssChar
D.4.26.9 minAssCharE
D.4.26.10 testPrimary
D.4.26.11 testPrimaryE
D.4.26.12 radical
D.4.26.13 radicalEHV
D.4.26.14 equiRadical
D.4.26.15 prepareAss
D.4.26.16 equidim
D.4.26.17 equidimMax
D.4.26.18 equidimMaxEHV
D.4.26.19 zerodec
D.4.26.20 absPrimdecGTZ
D.4.26.21 absPrimdecGTZE
D.4.26.22 sep
D.4.27 primdecint_lib
D.4.27.1 primdecZ
D.4.27.2 primdecZM
D.4.27.3 minAssZ
D.4.27.4 radicalZ
D.4.27.5 heightZ
D.4.27.6 equidimZ
D.4.27.7 intersectZ
D.4.28 primitiv_lib
D.4.28.1 primitive
D.4.28.2 primitive_extra
D.4.28.3 splitring
D.4.29 realrad_lib
D.4.29.1 realpoly
D.4.29.2 realzero
D.4.29.3 realrad
D.4.30 reesclos_lib
D.4.30.1 ReesAlgebra
D.4.30.2 normalI
D.4.31 rstandard_lib
D.4.31.1 borderBasis
D.4.31.2 modBorder
D.4.31.3 rJanet
D.4.31.4 modJanet
D.4.32 sagbi_lib
D.4.32.1 sagbiSPoly
D.4.32.2 sagbiReduce
D.4.32.3 sagbi
D.4.32.4 sagbiPart
D.4.32.5 algebraicDependence
D.4.33 sing4ti2_lib
D.4.33.1 markov4ti2
D.4.33.2 hilbert4ti2
D.4.33.3 graver4ti2
D.4.34 symodstd_lib
D.4.34.1 genSymId
D.4.34.2 isSymmetric
D.4.34.3 primRoot
D.4.34.4 eigenvalues
D.4.34.5 symmStd
D.4.34.6 syModStd
D.4.35 toric_lib
D.4.35.1 toric_ideal
D.4.35.2 toric_std
D.5 Algebraic geometry
D.5.1 brillnoether_lib
D.5.1.1 RiemannRochBN
D.5.2 chern_lib
D.5.2.1 symm
D.5.2.2 symNsym
D.5.2.3 CompleteHomog
D.5.2.4 segre
D.5.2.5 chern
D.5.2.6 chNum
D.5.2.7 chNumbers
D.5.2.8 sum_of_powers
D.5.2.9 powSumSym
D.5.2.10 chAll
D.5.2.11 chAllInv
D.5.2.12 chHE
D.5.2.13 ChernRootsSum
D.5.2.14 chSum
D.5.2.15 ChernRootsDual
D.5.2.16 chDual
D.5.2.17 ChernRootsProd
D.5.2.18 chProd
D.5.2.19 chProdE
D.5.2.20 chProdL
D.5.2.21 chProdLP
D.5.2.22 chProdM
D.5.2.23 chProdMP
D.5.2.24 ChernRootsHom
D.5.2.25 chHom
D.5.2.26 ChernRootsSymm
D.5.2.27 ChernRootsWedge
D.5.2.28 chSymm
D.5.2.29 chSymm2L
D.5.2.30 chSymm2LP
D.5.2.31 chWedge
D.5.2.32 chWedge2L
D.5.2.33 chWedge2LP
D.5.2.34 todd
D.5.2.35 toddE
D.5.2.36 Bern
D.5.2.37 tdCf
D.5.2.38 tdTerms
D.5.2.39 tdFactor
D.5.2.40 cProj
D.5.2.41 chProj
D.5.2.42 tdProj
D.5.2.43 eulerChProj
D.5.2.44 chNumbersProj
D.5.2.45 classpoly
D.5.2.46 chernPoly
D.5.2.47 chernCharPoly
D.5.2.48 toddPoly
D.5.2.49 rHRR
D.5.2.50 SchurS
D.5.2.51 SchurCh
D.5.2.52 part
D.5.2.53 dualPart
D.5.2.54 PartC
D.5.2.55 partOver
D.5.2.56 partUnder
D.5.2.57 SegreA
D.5.2.58 FultonA
D.5.2.59 CSMA
D.5.2.60 EulerAff
D.5.2.61 EulerProj
D.5.3 deRham_lib
D.5.3.1 deRhamCohomology
D.5.3.2 MVComplex
D.5.4 divisors_lib
D.5.4.1 makeDivisor
D.5.4.2 divisorplus
D.5.4.3 multdivisor
D.5.4.4 negativedivisor
D.5.4.5 normalForm
D.5.4.6 isEqualDivisor
D.5.4.7 globalSections
D.5.4.8 degreeDivisor
D.5.4.9 linearlyEquivalent
D.5.4.10 effective
D.5.4.11 makeFormalDivisor
D.5.4.12 evaluateFormalDivisor
D.5.4.13 formaldivisorplus
D.5.4.14 negativeformaldivisor
D.5.4.15 multformaldivisor
D.5.4.16 degreeFormalDivisor
D.5.4.17 makePDivisor
D.5.5 goettsche_lib
D.5.5.1 GoettscheF
D.5.5.2 PPolyH
D.5.5.3 BettiNumsH
D.5.5.4 NakYoshF
D.5.5.5 PPolyQp
D.5.5.6 BettiNumsQp
D.5.5.7 MacdonaldF
D.5.5.8 PPolyS
D.5.5.9 BettiNumsS
D.5.5.10 PPolyN
D.5.5.11 BettiNumsN
D.5.6 graal_lib
D.5.6.1 graalMixed
D.5.6.2 dimensionOfLocalization
D.5.6.3 systemOfParametersOfLocalization
D.5.6.4 isLocalizationRegular
D.5.6.5 warkedPreimageStd
D.5.6.6 resolutionInLocalization
D.5.7 hess_lib
D.5.7.1 RiemannRochHess
D.5.8 numerAlg_lib
D.5.8.1 Incl
D.5.8.2 Equal
D.5.8.3 DegreePure
D.5.8.4 NumLocalDim
D.5.9 numerDecom_lib
D.5.9.1 re2squ
D.5.9.2 UseBertini
D.5.9.3 Singular2bertini
D.5.9.4 bertini2Singular
D.5.9.5 ReJunkUseHomo
D.5.9.6 JuReTopDim
D.5.9.7 JuReZeroDim
D.5.9.8 WitSupSet
D.5.9.9 WitSet
D.5.9.10 NumIrrDecom
D.5.9.11 defl
D.5.9.12 NumPrimDecom
D.5.10 orbitparam_lib
D.5.10.1 tangentGens
D.5.10.2 matrixExp
D.5.10.3 matrixLog
D.5.10.4 parametrizeOrbit
D.5.10.5 maxZeros
D.5.11 paraplanecurves_lib
D.5.11.1 adjointIdeal
D.5.11.2 invertBirMap
D.5.11.3 paraPlaneCurve
D.5.11.4 rncAntiCanonicalMap
D.5.11.5 rationalPointConic
D.5.11.6 mapToRatNormCurve
D.5.11.7 rncItProjOdd
D.5.11.8 rncItProjEven
D.5.11.9 paraConic
D.5.11.10 testParametrization
D.5.11.11 testPointConic
D.5.12 resbinomial_lib
D.5.12.1 BINresol
D.5.12.2 Eresol
D.5.12.3 determinecenter
D.5.12.4 Blowupcenter
D.5.12.5 Nonhyp
D.5.12.6 identifyvar
D.5.12.7 Edatalist
D.5.12.8 EOrdlist
D.5.12.9 maxEord
D.5.12.10 ECoef
D.5.12.11 elimrep
D.5.12.12 Emaxcont
D.5.12.13 cleanunit
D.5.12.14 resfunction
D.5.12.15 calculateI
D.5.12.16 Maxord
D.5.12.17 Gamma
D.5.12.18 convertdata
D.5.12.19 lcmofall
D.5.12.20 computemcm
D.5.12.21 constructH
D.5.12.22 constructblwup
D.5.12.23 constructlastblwup
D.5.12.24 genoutput
D.5.12.25 salida
D.5.12.26 iniD
D.5.12.27 sumlist
D.5.12.28 reslist
D.5.12.29 multiplylist
D.5.12.30 dividelist
D.5.12.31 createlist
D.5.13 resgraph_lib
D.5.13.1 InterDiv
D.5.13.2 ResTree
D.5.13.3 finalCharts
D.5.14 resjung_lib
D.5.14.1 jungresolve
D.5.14.2 jungnormal
D.5.14.3 jungfib
D.5.15 resolve_lib
D.5.15.1 blowUp
D.5.15.2 blowUp2
D.5.15.3 Center
D.5.15.4 resolve
D.5.15.5 showBO
D.5.15.6 presentTree
D.5.15.7 showDataTypes
D.5.15.8 blowUpBO
D.5.15.9 createBO
D.5.15.10 CenterBO
D.5.15.11 Delta
D.5.15.12 DeltaList
D.5.16 reszeta_lib
D.5.16.1 intersectionDiv
D.5.16.2 spectralNeg
D.5.16.3 discrepancy
D.5.16.4 zetaDL
D.5.16.5 collectDiv
D.5.16.6 prepEmbDiv
D.5.16.7 abstractR
D.5.16.8 computeV
D.5.16.9 computeN
D.5.17 schubert_lib
D.5.17.1 makeVariety
D.5.17.2 printVariety
D.5.17.3 productVariety
D.5.17.4 ChowRing
D.5.17.5 Grassmannian
D.5.17.6 projectiveSpace
D.5.17.7 projectiveBundle
D.5.17.8 integral
D.5.17.9 makeSheaf
D.5.17.10 printSheaf
D.5.17.11 rankSheaf
D.5.17.12 totalChernClass
D.5.17.13 ChernClass
D.5.17.14 topChernClass
D.5.17.15 totalSegreClass
D.5.17.16 dualSheaf
D.5.17.17 tensorSheaf
D.5.17.18 symmetricPowerSheaf
D.5.17.19 quotSheaf
D.5.17.20 addSheaf
D.5.17.21 makeGraphVE
D.5.17.22 printGraphG
D.5.17.23 moduliSpace
D.5.17.24 printStack
D.5.17.25 dimStack
D.5.17.26 fixedPoints
D.5.17.27 contributionBundle
D.5.17.28 normalBundle
D.5.17.29 multipleCover
D.5.17.30 linesHypersurface
D.5.17.31 rationalCurve
D.5.17.32 sumofquotients
D.5.17.33 homog_part
D.5.17.34 homog_parts
D.5.17.35 logg
D.5.17.36 expp
D.5.17.37 SchubertClass
D.5.17.38 dualPartition
D.5.18 sheafcoh_lib
D.5.18.1 truncate
D.5.18.2 truncateFast
D.5.18.3 CM_regularity
D.5.18.4 sheafCohBGG
D.5.18.5 sheafCohBGGregul
D.5.18.6 sheafCohBGGregul_w
D.5.18.7 sheafCohBGG2
D.5.18.8 sheafCoh
D.5.18.9 sheafCoh_w
D.5.18.10 dimH
D.5.18.11 dimGradedPart
D.5.18.12 displayCohom
D.5.19 JMBTest_lib
D.5.19.1 Minimus
D.5.19.2 Maximus
D.5.19.3 StartOrderingV
D.5.19.4 TestJMark
D.5.20 JMSConst_lib
D.5.20.1 BorelCheck
D.5.20.2 JMarkedScheme
D.6 Singularities
D.6.1 alexpoly_lib
D.6.1.1 resolutiongraph
D.6.1.2 totalmultiplicities
D.6.1.3 alexanderpolynomial
D.6.1.4 semigroup
D.6.1.5 proximitymatrix
D.6.1.6 multseq2charexp
D.6.1.7 charexp2multseq
D.6.1.8 charexp2generators
D.6.1.9 charexp2inter
D.6.1.10 charexp2conductor
D.6.1.11 charexp2poly
D.6.1.12 tau_es2
D.6.2 arcpoint_lib
D.6.2.1 nashmult
D.6.2.2 removepower
D.6.2.3 idealsimplify
D.6.2.4 equalJinI
D.6.3 arnoldclassify_lib
D.6.3.1 arnoldListAllSeries
D.6.3.2 arnoldShowSeries
D.6.3.3 arnoldNormalForm
D.6.3.4 arnoldClassify
D.6.3.5 arnoldClassify_to_string
D.6.3.6 arnoldCorank
D.6.3.7 arnoldDeterminacy
D.6.3.8 arnoldMilnorCode
D.6.3.9 arnoldMorseSplit
D.6.4 classify_lib
D.6.4.1 basicinvariants
D.6.4.2 classify
D.6.4.3 corank
D.6.4.4 Hcode
D.6.4.5 init_debug
D.6.4.6 internalfunctions
D.6.4.7 milnorcode
D.6.4.8 morsesplit
D.6.4.9 quickclass
D.6.4.10 singularity
D.6.4.11 A_L
D.6.4.12 normalform
D.6.4.13 debug_log
D.6.4.14 swap
D.6.4.15 modality
D.6.4.16 complexSingType
D.6.4.17 prepRealclassify
D.6.5 classify2_lib
D.6.5.1 complexClassify
D.6.5.2 complexType
D.6.6 classify_aeq_lib
D.6.6.1 sagbiAlg
D.6.6.2 sagbiMod
D.6.6.3 semiGroup
D.6.6.4 semiMod
D.6.6.5 planeCur
D.6.6.6 spaceCur
D.6.6.7 HHnormalForm
D.6.6.8 modSagbiAlg
D.6.6.9 classSpaceCurve
D.6.7 classifyceq_lib
D.6.7.1 classifyCeq
D.6.8 classifyci_lib
D.6.8.1 classifyicis
D.6.8.2 Semigroup
D.6.9 classifyMapGerms_lib
D.6.9.1 coDimMap
D.6.9.2 coDim
D.6.9.3 vStd
D.6.9.4 modVStd
D.6.9.5 modVStd0
D.6.9.6 classifySimpleMaps
D.6.9.7 classifySimpleMaps1
D.6.9.8 classifyUnimodalMaps
D.6.10 curvepar_lib
D.6.10.1 BlowingUp
D.6.10.2 CurveRes
D.6.10.3 CurveParam
D.6.10.4 WSemigroup
D.6.10.5 primparam
D.6.10.6 MultiplicitySequence
D.6.10.7 CharacteristicExponents
D.6.10.8 IntersectionMatrix
D.6.10.9 ContactMatrix
D.6.10.10 plainInvariants
D.6.11 deform_lib
D.6.11.1 versal
D.6.11.2 mod_versal
D.6.11.3 lift_kbase
D.6.11.4 lift_rel_kb
D.6.12 equising_lib
D.6.12.1 tau_es
D.6.12.2 esIdeal
D.6.12.3 esStratum
D.6.12.4 isEquising
D.6.12.5 control_Matrix
D.6.13 gmssing_lib
D.6.13.1 gmsring
D.6.13.2 gmsnf
D.6.13.3 gmscoeffs
D.6.13.4 bernstein
D.6.13.5 monodromy
D.6.13.6 spectrum
D.6.13.7 sppairs
D.6.13.8 vfilt
D.6.13.9 vwfilt
D.6.13.10 tmatrix
D.6.13.11 endvfilt
D.6.13.12 sppnf
D.6.13.13 sppprint
D.6.13.14 spadd
D.6.13.15 spsub
D.6.13.16 spmul
D.6.13.17 spissemicont
D.6.13.18 spsemicont
D.6.13.19 spmilnor
D.6.13.20 spgeomgenus
D.6.13.21 spgamma
D.6.14 gmspoly_lib
D.6.14.1 isTame
D.6.14.2 goodBasis
D.6.15 hnoether_lib
D.6.15.1 hnexpansion
D.6.15.2 develop
D.6.15.3 extdevelop
D.6.15.4 param
D.6.15.5 displayHNE
D.6.15.6 invariants
D.6.15.7 displayInvariants
D.6.15.8 multsequence
D.6.15.9 displayMultsequence
D.6.15.10 intersection
D.6.15.11 is_irred
D.6.15.12 delta
D.6.15.13 newtonpoly
D.6.15.14 is_NND
D.6.15.15 stripHNE
D.6.15.16 puiseux2generators
D.6.15.17 separateHNE
D.6.15.18 squarefree
D.6.15.19 allsquarefree
D.6.15.20 further_hn_proc
D.6.16 kskernel_lib
D.6.16.1 KSker
D.6.16.2 KSconvert
D.6.16.3 KSlinear
D.6.16.4 KScoef
D.6.16.5 StringF
D.6.17 mondromy_lib
D.6.17.1 detadj
D.6.17.2 invunit
D.6.17.3 jacoblift
D.6.17.4 monodromyB
D.6.17.5 H2basis
D.6.18 qhmoduli_lib
D.6.18.1 ArnoldAction
D.6.18.2 ModEqn
D.6.18.3 QuotientEquations
D.6.18.4 StabEqn
D.6.18.5 StabEqnId
D.6.18.6 StabOrder
D.6.18.7 UpperMonomials
D.6.18.8 Max
D.6.18.9 Min
D.6.19 realclassify_lib
D.6.19.1 realclassify
D.6.19.2 realmorsesplit
D.6.19.3 milnornumber
D.6.19.4 determinacy
D.6.19.5 addnondegeneratevariables
D.6.19.6 HilbertClassPoly
D.6.20 sing_lib
D.6.20.1 codim
D.6.20.2 deform
D.6.20.3 dim_slocus
D.6.20.4 is_active
D.6.20.5 is_ci
D.6.20.6 is_is
D.6.20.7 is_reg
D.6.20.8 is_regs
D.6.20.9 locstd
D.6.20.10 milnor
D.6.20.11 nf_icis
D.6.20.12 slocus
D.6.20.13 qhspectrum
D.6.20.14 Tjurina
D.6.20.15 tjurina
D.6.20.16 T_1
D.6.20.17 T_2
D.6.20.18 T_12
D.6.20.19 tangentcone
D.6.21 spcurve_lib
D.6.21.1 isCMcod2
D.6.21.2 CMtype
D.6.21.3 matrixT1
D.6.21.4 semiCMcod2
D.6.21.5 discr
D.6.21.6 qhmatrix
D.6.21.7 relweight
D.6.21.8 posweight
D.6.21.9 KSpencerKernel
D.6.22 spectrum_lib
D.6.22.1 spectrumnd
D.6.23 surfacesignature_lib
D.6.23.1 signatureBrieskorn
D.6.23.2 signaturePuiseux
D.6.23.3 signatureNemethi
D.7 Invariant theory
D.7.1 finvar_lib
D.7.1.1 invariant_ring
D.7.1.2 invariant_ring_random
D.7.1.3 primary_invariants
D.7.1.4 primary_invariants_random
D.7.1.5 invariant_algebra_reynolds
D.7.1.6 invariant_algebra_perm
D.7.1.7 cyclotomic
D.7.1.8 group_reynolds
D.7.1.9 molien
D.7.1.10 reynolds_molien
D.7.1.11 partial_molien
D.7.1.12 evaluate_reynolds
D.7.1.13 invariant_basis
D.7.1.14 invariant_basis_reynolds
D.7.1.15 primary_char0
D.7.1.16 primary_charp
D.7.1.17 primary_char0_no_molien
D.7.1.18 primary_charp_no_molien
D.7.1.19 primary_charp_without
D.7.1.20 primary_char0_random
D.7.1.21 primary_charp_random
D.7.1.22 primary_char0_no_molien_random
D.7.1.23 primary_charp_no_molien_random
D.7.1.24 primary_charp_without_random
D.7.1.25 power_products
D.7.1.26 secondary_char0
D.7.1.27 irred_secondary_char0
D.7.1.28 secondary_charp
D.7.1.29 secondary_no_molien
D.7.1.30 irred_secondary_no_molien
D.7.1.31 secondary_and_irreducibles_no_molien
D.7.1.32 secondary_not_cohen_macaulay
D.7.1.33 orbit_variety
D.7.1.34 rel_orbit_variety
D.7.1.35 relative_orbit_variety
D.7.1.36 image_of_variety
D.7.2 ainvar_lib
D.7.2.1 invariantRing
D.7.2.2 derivate
D.7.2.3 actionIsProper
D.7.2.4 reduction
D.7.2.5 completeReduction
D.7.2.6 localInvar
D.7.2.7 furtherInvar
D.7.2.8 sortier
D.7.3 rinvar_lib
D.7.3.1 HilbertSeries
D.7.3.2 HilbertWeights
D.7.3.3 ImageVariety
D.7.3.4 ImageGroup
D.7.3.5 InvariantRing
D.7.3.6 InvariantQ
D.7.3.7 LinearizeAction
D.7.3.8 LinearActionQ
D.7.3.9 LinearCombinationQ
D.7.3.10 MinimalDecomposition
D.7.3.11 NullCone
D.7.3.12 ReynoldsImage
D.7.3.13 ReynoldsOperator
D.7.3.14 SimplifyIdeal
D.7.4 invar_lib
D.7.4.1 SL
D.7.4.2 torus
D.7.4.3 torusrep
D.7.4.4 finiterep
D.7.4.5 sympower
D.7.4.6 invar
D.7.4.7 SLreynolds
D.7.4.8 torusreynolds
D.7.5 stratify_lib
D.7.5.1 prepMat
D.7.5.2 stratify
D.8 Symbolic-numerical solving
D.8.1 ffsolve_lib
D.8.1.1 ffsolve
D.8.1.2 PEsolve
D.8.1.3 simplesolver
D.8.1.4 GBsolve
D.8.1.5 XLsolve
D.8.1.6 ZZsolve
D.8.2 interval_lib
D.8.2.1 length2
D.8.2.2 bounds2
D.8.2.3 intervalmatrixInit
D.8.2.4 unitMatrix2
D.8.2.5 applyMatrix
D.8.2.6 ivmatGaussian2
D.8.2.7 evalPolyAtBox2
D.8.2.8 exclusionTest
D.8.3 presolve_lib
D.8.3.1 degreepart
D.8.3.2 elimlinearpart
D.8.3.3 elimpart
D.8.3.4 elimpartanyr
D.8.3.5 fastelim
D.8.3.6 findvars
D.8.3.7 hilbvec
D.8.3.8 linearpart
D.8.3.9 tolessvars
D.8.3.10 solvelinearpart
D.8.3.11 sortandmap
D.8.3.12 sortvars
D.8.3.13 valvars
D.8.3.14 idealSplit
D.8.4 solve_lib
D.8.4.1 laguerre_solve
D.8.4.2 solve
D.8.4.3 ures_solve
D.8.4.4 mp_res_mat
D.8.4.5 interpolate
D.8.4.6 fglm_solve
D.8.4.7 lex_solve
D.8.4.8 simplexOut
D.8.4.9 triangLf_solve
D.8.4.10 triangM_solve
D.8.4.11 triangL_solve
D.8.4.12 triang_solve
D.8.5 triang_lib
D.8.5.1 triangL
D.8.5.2 triangLfak
D.8.5.3 triangM
D.8.5.4 triangMH
D.8.6 ntsolve_lib
D.8.6.1 nt_solve
D.8.6.2 triMNewton
D.8.7 recover_lib
D.8.7.1 substAll
D.8.7.2 veronese
D.8.7.3 getRelations
D.8.7.4 getRelationsRadical
D.8.7.5 gaussRowWithoutPerm
D.8.7.6 gaussColWithoutPerm
D.8.7.7 getWitnessSet
D.8.7.8 writeBertiniInput
D.8.7.9 num_prime_decom
D.8.7.10 num_prime_decom1
D.8.7.11 num_radical_via_decom
D.8.7.12 num_radical_via_randlincom
D.8.7.13 num_radical1
D.8.7.14 num_radical2
D.8.7.15 num_elim
D.8.7.16 num_elim1
D.8.7.17 realLLL
D.8.8 rootisolation_lib
D.8.8.1 bounds
D.8.8.2 length
D.8.8.3 boxSet
D.8.8.4 ivmatInit
D.8.8.5 ivmatSet
D.8.8.6 unitMatrix
D.8.8.7 ivmatGaussian
D.8.8.8 evalPolyAtBox
D.8.8.9 evalJacobianAtBox
D.8.8.10 rootIsolationNoPreprocessing
D.8.8.11 rootIsolation
D.8.8.12 rootIsolationPrimdec
D.8.9 signcond_lib
D.8.9.1 signcnd
D.8.9.2 psigncnd
D.8.9.3 firstoct
D.8.10 zeroset_lib
D.8.10.1 Quotient
D.8.10.2 remainder
D.8.10.3 roots
D.8.10.4 sqfrNorm
D.8.10.5 zeroSet
D.8.10.6 egcdMain
D.8.10.7 factorMain
D.8.10.8 invertNumberMain
D.8.10.9 quotientMain
D.8.10.10 remainderMain
D.8.10.11 rootsMain
D.8.10.12 sqfrNormMain
D.8.10.13 containedQ
D.8.10.14 sameQ
D.9 Visualization
D.9.1 graphics_lib
D.9.1.1 staircase
D.9.1.2 mathinit
D.9.1.3 mplot
D.9.2 latex_lib
D.9.2.1 closetex
D.9.2.2 opentex
D.9.2.3 tex
D.9.2.4 texdemo
D.9.2.5 texfactorize
D.9.2.6 texmap
D.9.2.7 texname
D.9.2.8 texobj
D.9.2.9 texpoly
D.9.2.10 texproc
D.9.2.11 texring
D.9.2.12 rmx
D.9.2.13 xdvi
D.9.3 surf_lib
D.9.3.1 plot
D.9.3.2 surfer
D.9.4 surfex_lib
D.9.4.1 plotRotated
D.9.4.2 plotRot
D.9.4.3 plotRotatedList
D.9.4.4 plotRotatedDirect
D.9.4.5 plotRotatedListFromSpecifyList
D.10 Coding theory
D.10.1 brnoeth_lib
D.10.1.1 Adj_div
D.10.1.2 NSplaces
D.10.1.3 BrillNoether
D.10.1.4 Weierstrass
D.10.1.5 extcurve
D.10.1.6 AGcode_L
D.10.1.7 AGcode_Omega
D.10.1.8 prepSV
D.10.1.9 decodeSV
D.10.1.10 closed_points
D.10.1.11 dual_code
D.10.1.12 sys_code
D.10.1.13 permute_L
D.10.2 decodegb_lib
D.10.2.1 sysCRHT
D.10.2.2 sysCRHTMindist
D.10.2.3 sysNewton
D.10.2.4 sysBin
D.10.2.5 encode
D.10.2.6 syndrome
D.10.2.7 sysQE
D.10.2.8 errorInsert
D.10.2.9 errorRand
D.10.2.10 randomCheck
D.10.2.11 genMDSMat
D.10.2.12 mindist
D.10.2.13 decode
D.10.2.14 decodeRandom
D.10.2.15 decodeCode
D.10.2.16 vanishId
D.10.2.17 sysFL
D.10.2.18 decodeRandomFL
D.11 System and Control theory
D.11.1 Control theory background
D.11.2 control_lib
D.11.2.1 control
D.11.2.2 controlDim
D.11.2.3 autonom
D.11.2.4 autonomDim
D.11.2.5 leftKernel
D.11.2.6 rightKernel
D.11.2.7 leftInverse
D.11.2.8 rightInverse
D.11.2.9 colrank
D.11.2.10 genericity
D.11.2.11 canonize
D.11.2.12 iostruct
D.11.2.13 findTorsion
D.11.2.14 controlExample
D.11.2.15 view
D.11.3 jacobson_lib
D.11.3.1 smith
D.11.3.2 jacobson
D.11.3.3 divideUnits
D.11.4 findifs_lib
D.11.4.1 findifs_example
D.11.4.2 decoef
D.11.4.3 difpoly2tex
D.11.4.4 exp2pt
D.11.4.5 texcoef
D.11.4.6 npar
D.11.4.7 magnitude
D.11.4.8 replace
D.11.4.9 xchange
D.12 Teaching
D.12.1 aksaka_lib
D.12.1.1 fastExpt
D.12.1.2 log2
D.12.1.3 PerfectPowerTest
D.12.1.4 wurzel
D.12.1.5 euler
D.12.1.6 coeffmod
D.12.1.7 powerpolyX
D.12.1.8 ask
D.12.2 crypto_lib
D.12.2.1 round
D.12.2.2 bubblesort
D.12.2.3 decimal
D.12.2.4 eexgcdN
D.12.2.5 lcmN
D.12.2.6 powerN
D.12.2.7 chineseRem
D.12.2.8 Jacobi
D.12.2.9 primList
D.12.2.10 primL
D.12.2.11 intPart
D.12.2.12 intRoot
D.12.2.13 squareRoot
D.12.2.14 solutionsMod2
D.12.2.15 powerX
D.12.2.16 babyGiant
D.12.2.17 rho
D.12.2.18 MillerRabin
D.12.2.19 SolowayStrassen
D.12.2.20 PocklingtonLehmer
D.12.2.21 PollardRho
D.12.2.22 pFactor
D.12.2.23 quadraticSieve
D.12.2.24 isOnCurve
D.12.2.25 ellipticAdd
D.12.2.26 ellipticMult
D.12.2.27 ellipticRandomCurve
D.12.2.28 ellipticRandomPoint
D.12.2.29 countPoints
D.12.2.30 ellipticAllPoints
D.12.2.31 ShanksMestre
D.12.2.32 Schoof
D.12.2.33 generateG
D.12.2.34 factorLenstraECM
D.12.2.35 ECPP
D.12.2.36 calculate_ordering
D.12.2.37 is_primitive_root
D.12.2.38 find_first_primitive_root
D.12.2.39 binary_add
D.12.2.40 inverse_modulus
D.12.2.41 is_prime
D.12.2.42 find_index
D.12.2.43 subset_sum01
D.12.2.44 subset_sum02
D.12.2.45 unbounded_knapsack
D.12.2.46 multidimensional_knapsack
D.12.2.47 naccache_stern_generation
D.12.2.48 naccache_stern_encryption
D.12.2.49 naccache_stern_decryption
D.12.2.50 m_merkle_hellman_transformation
D.12.2.51 m_merkle_hellman_encryption
D.12.2.52 m_merkle_hellman_decryption
D.12.2.53 merkle_hellman_encryption
D.12.2.54 merkle_hellman_decryption
D.12.2.55 super_increasing_knapsack
D.12.2.56 h_increasing_knapsack
D.12.2.57 injective_knapsack
D.12.2.58 calculate_max_sum
D.12.2.59 set_is_injective
D.12.2.60 is_h_injective
D.12.2.61 is_fix_injective
D.12.2.62 three_elements
D.12.3 hyperel_lib
D.12.3.1 ishyper
D.12.3.2 isoncurve
D.12.3.3 chinrestp
D.12.3.4 norm
D.12.3.5 multi
D.12.3.6 divisor
D.12.3.7 gcddivisor
D.12.3.8 semidiv
D.12.3.9 cantoradd
D.12.3.10 cantorred
D.12.3.11 double
D.12.3.12 cantormult
D.12.4 teachstd_lib
D.12.4.1 ecart
D.12.4.2 tail
D.12.4.3 sameComponent
D.12.4.4 leadmonomial
D.12.4.5 monomialLcm
D.12.4.6 spoly
D.12.4.7 minEcart
D.12.4.8 NFMora
D.12.4.9 prodcrit
D.12.4.10 chaincrit
D.12.4.11 pairset
D.12.4.12 updatePairs
D.12.4.13 standard
D.12.4.14 localstd
D.12.5 weierstr_lib
D.12.5.1 weierstrDiv
D.12.5.2 weierstrPrep
D.12.5.3 lastvarGeneral
D.12.5.4 generalOrder
D.12.6 rootsmr_lib
D.12.6.1 nrRootsProbab
D.12.6.2 nrRootsDeterm
D.12.6.3 symsignature
D.12.6.4 sturmquery
D.12.6.5 matbil
D.12.6.6 matmult
D.12.6.7 tracemult
D.12.6.8 coords
D.12.6.9 randcharpoly
D.12.6.10 verify
D.12.6.11 randlinpoly
D.12.6.12 powersums
D.12.6.13 symmfunc
D.12.6.14 univarpoly
D.12.6.15 qbase
D.12.7 rootsur_lib
D.12.7.1 isuni
D.12.7.2 whichvariable
D.12.7.3 varsigns
D.12.7.4 boundBuFou
D.12.7.5 boundposDes
D.12.7.6 boundDes
D.12.7.7 allrealst
D.12.7.8 maxabs
D.12.7.9 allreal
D.12.7.10 sturm
D.12.7.11 sturmseq
D.12.7.12 sturmha
D.12.7.13 sturmhaseq
D.12.7.14 reverse
D.12.7.15 nrroots
D.12.7.16 isparam
D.13 Tropical Geometry
D.13.1 cimonom_lib
D.13.1.1 BelongSemig
D.13.1.2 MinMult
D.13.1.3 CompInt
D.13.2 gfan_lib
D.13.2.1 fullSpace
D.13.2.2 origin
D.13.2.3 positiveOrthant
D.13.2.4 ambientDimension
D.13.2.5 canonicalizeCone
D.13.2.6 codimension
D.13.2.7 coneViaPoints
D.13.2.8 coneViaInequalities
D.13.2.9 coneLink
D.13.2.10 containsAsFace
D.13.2.11 containsInSupport
D.13.2.12 containsPositiveVector
D.13.2.13 containsRelatively
D.13.2.14 convexHull
D.13.2.15 convexIntersection
D.13.2.16 dimension
D.13.2.17 dualCone
D.13.2.18 equations
D.13.2.19 faceContaining
D.13.2.20 facets
D.13.2.21 generatorsOfLinealitySpace
D.13.2.22 generatorsOfSpan
D.13.2.23 getLinearForms
D.13.2.24 getMultiplicity
D.13.2.25 inequalities
D.13.2.26 isFullSpace
D.13.2.27 isOrigin
D.13.2.28 isSimplicial
D.13.2.29 linealityDimension
D.13.2.30 linealitySpace
D.13.2.31 negatedCone
D.13.2.32 polytopeViaInequalities
D.13.2.33 polytopeViaPoints
D.13.2.34 quotientLatticeBasis
D.13.2.35 randomPoint
D.13.2.36 rays
D.13.2.37 relativeInteriorPoint
D.13.2.38 semigroupGenerator
D.13.2.39 setLinearForms
D.13.2.40 setMultiplicity
D.13.2.41 span
D.13.2.42 uniquePoint
D.13.2.43 containsInCollection
D.13.2.44 emptyFan
D.13.2.45 fanViaCones
D.13.2.46 fullFan
D.13.2.47 fVector
D.13.2.48 getCone
D.13.2.49 insertCone
D.13.2.50 isCompatible
D.13.2.51 isPure
D.13.2.52 nmaxcones
D.13.2.53 ncones
D.13.2.54 numberOfConesOfDimension
D.13.2.55 removeCone
D.13.2.56 dualPolytope
D.13.2.57 newtonPolytope
D.13.2.58 vertices
D.13.2.59 onesVector
D.13.3 gitfan_lib
D.13.3.1 isAface
D.13.3.2 afaces
D.13.3.3 fullDimImages
D.13.3.4 minimalAfaces
D.13.3.5 orbitCones
D.13.3.6 GITcone
D.13.3.7 GITfan
D.13.3.8 GITfanFromOrbitCones
D.13.3.9 GITfanParallel
D.13.3.10 GKZfan
D.13.3.11 movingCone
D.13.3.12 computeAfaceOrbits
D.13.3.13 minimalAfaceOrbits
D.13.3.14 orbitConeOrbits
D.13.3.15 minimalOrbitConeOrbits
D.13.3.16 intersectOrbitsWithMovingCone
D.13.3.17 groupActionOnQImage
D.13.3.18 groupActionOnHashes
D.13.3.19 storeActionOnOrbitConeIndices
D.13.3.20 permutationFromIntvec
D.13.3.21 permutationToIntvec
D.13.3.22 evaluateProduct
D.13.3.23 GITfanSymmetric
D.13.3.24 GITfanParallelSymmetric
D.13.3.25 bigintToBinary
D.13.3.26 binaryToBigint
D.13.3.27 applyPermutationToIntvec
D.13.3.28 hashToCone
D.13.3.29 hashesToFan
D.13.3.30 gitCone
D.13.4 polymake_lib
D.13.4.1 triangulations
D.13.4.2 secondaryPolytope
D.13.4.3 cycleLength
D.13.4.4 splitPolygon
D.13.4.5 eta
D.13.4.6 findOrientedBoundary
D.13.4.7 cyclePoints
D.13.4.8 latticeArea
D.13.4.9 picksFormula
D.13.4.10 ellipticNF
D.13.5 realizationMatroids_lib
D.13.5.1 realizationDim
D.13.5.2 irrRealizationDim
D.13.5.3 realizationDimPoly
D.13.6 tropical_lib
D.13.6.1 tropicalLifting
D.13.6.2 displayTropicalLifting
D.13.6.3 puiseuxExpansion
D.13.6.4 displayPuiseuxExpansion
D.13.6.5 tropicalCurve
D.13.6.6 drawTropicalCurve
D.13.6.7 drawNewtonSubdivision
D.13.6.8 tropicalJInvariant
D.13.6.9 weierstrassForm
D.13.6.10 conicWithTangents
D.13.6.11 tropicalise
D.13.6.12 tropicaliseSet
D.13.6.13 tInitialForm
D.13.6.14 tInitialIdeal
D.13.6.15 initialForm
D.13.6.16 initialIdeal
D.13.6.17 texNumber
D.13.6.18 texPolynomial
D.13.6.19 texMatrix
D.13.6.20 texDrawBasic
D.13.6.21 texDrawTropical
D.13.6.22 texDrawNewtonSubdivision
D.13.6.23 texDrawTriangulation
D.13.6.24 radicalMemberShip
D.13.6.25 tInitialFormPar
D.13.6.26 tInitialFormParMax
D.13.6.27 solveTInitialFormPar
D.13.6.28 detropicalise
D.13.6.29 tDetropicalise
D.13.6.30 dualConic
D.13.6.31 parameterSubstitute
D.13.6.32 tropicalSubst
D.13.6.33 randomPolyInT
D.13.6.34 cleanTmp
D.13.6.35 groebnerCone
D.13.6.36 maximalGroebnerCone
D.13.6.37 homogeneitySpace
D.13.6.38 initial
D.13.6.39 tropicalVariety
D.13.6.40 groebnerFan
D.13.6.41 groebnerComplex
D.13.7 tropicalNewton_lib
D.13.7.1 setUniformizingParameter
D.13.7.2 val
D.13.7.3 newtonPolygonNegSlopes
D.13.7.4 cccMatrixToPositiveIntvec
D.13.7.5 tropicalPointNewton
D.13.7.6 switchRingsAndComputeInitialIdeal
D.13.7.7 tropicalVarietyNewton
D.13.7.8 tropicalLinkNewton
D.14 Miscellaneous libraries
D.14.1 arr_lib
D.14.1.1 arrSet
D.14.1.2 type2arr
D.14.1.3 mat2arr
D.14.1.4 mat2carr
D.14.1.5 arrPrintMatrix
D.14.1.6 varMat
D.14.1.7 varNum
D.14.1.8 arrSwapVar
D.14.1.9 arrLastVar
D.14.1.10 arrCenter
D.14.1.11 arrCentral
D.14.1.12 arrCentered
D.14.1.13 arrCentralize
D.14.1.14 arrCoordChange
D.14.1.15 arrCoordNormalize
D.14.1.16 arrCone
D.14.1.17 arrDecone
D.14.1.18 arrLocalize
D.14.1.19 arrRestrict
D.14.1.20 arrIsEssential
D.14.1.21 arrEssentialize
D.14.1.22 arrBoolean
D.14.1.23 arrBraid
D.14.1.24 arrTypeB
D.14.1.25 arrTypeD
D.14.1.26 arrRandom
D.14.1.27 arrRandomCentral
D.14.1.28 arrEdelmanReiner
D.14.1.29 arrOrlikSolomon
D.14.1.30 arrDer
D.14.1.31 arrIsFree
D.14.1.32 arrExponents
D.14.1.33 arr2multarr
D.14.1.34 multarr2arr
D.14.1.35 multarrRestrict
D.14.1.36 multarrMultRestrict
D.14.1.37 arrFlats
D.14.1.38 arrLattice
D.14.1.39 moebius
D.14.1.40 arrCharPoly
D.14.1.41 arrPoincare
D.14.1.42 arrChambers
D.14.1.43 arrBoundedChambers
D.14.1.44 printMoebius
D.14.2 combinat_lib
D.14.2.1 intersectLists
D.14.2.2 sublists
D.14.2.3 member
D.14.3 customstd_lib
D.14.3.1 monomialabortstd
D.14.3.2 satstd
D.14.4 methods_lib
D.14.5 nets_lib
D.14.5.1 catNets
D.14.5.2 net
D.14.5.3 netBigIntMat
D.14.5.4 netBigIntMatShort
D.14.5.5 netCoefficientRing
D.14.5.6 netIdeal
D.14.5.7 netInt
D.14.5.8 netBigInt
D.14.5.9 netIntMat
D.14.5.10 netIntMatShort
D.14.5.11 netIntVector
D.14.5.12 netIntVectorShort
D.14.5.13 netNumber
D.14.5.14 netList
D.14.5.15 netMap
D.14.5.16 netMap2
D.14.5.17 netmatrix
D.14.5.18 netmatrixShort
D.14.5.19 netPoly
D.14.5.20 netPrimePower
D.14.5.21 netRing
D.14.5.22 netString
D.14.5.23 netvector
D.14.5.24 netvectorShort
D.14.5.25 stackNets
D.14.6 phindex_lib
D.14.6.1 signatureL
D.14.6.2 signatureLqf
D.14.6.3 PH_ais
D.14.6.4 PH_nais
D.14.7 polybori_lib
D.14.7.1 boolean_std
D.14.7.2 boolean_poly_ring
D.14.7.3 boolean_constant
D.14.7.4 boolean_poly
D.14.7.5 direct_boolean_poly
D.14.7.6 recursive_boolean_poly
D.14.7.7 boolean_ideal
D.14.7.8 boolean_set
D.14.7.9 from_boolean_constant
D.14.7.10 from_boolean_poly
D.14.7.11 direct_from_boolean_poly
D.14.7.12 recursive_from_boolean_poly
D.14.7.13 from_boolean_ideal
D.14.7.14 from_boolean_set
D.14.7.15 bvar
D.14.7.16 poly2zdd
D.14.7.17 zdd2poly
D.14.7.18 disp_zdd
D.14.8 sets_lib
D.14.8.1 set
D.14.8.2 union
D.14.8.3 intersectionSet
D.14.8.4 complement
D.14.8.5 isElement
D.14.8.6 isSubset
D.14.8.7 isSuperset
D.14.8.8 addElement
D.15 Experimental libraries
D.15.1 autgradalg_lib
D.15.1.1 autKS
D.15.1.2 autGradAlg
D.15.1.3 autGenWeights
D.15.1.4 stabilizer
D.15.1.5 autXhat
D.15.1.6 autX
D.15.2 difform_lib
D.15.2.1 diffAlgebra
D.15.2.2 diffAlgebraStructure
D.15.2.3 diffAlgebraGens
D.15.2.4 diffAlgebraUnivDerIdeal
D.15.2.5 diffAlgebraChangeOrd
D.15.2.6 diffAlgebraListGen
D.15.2.7 difformFromPoly
D.15.2.8 difformCoef
D.15.2.9 difformGenToString
D.15.2.10 difformHomogDecomp
D.15.2.11 difformToString
D.15.2.12 difformPrint
D.15.2.13 difformIsGen
D.15.2.14 difformAdd
D.15.2.15 difformSub
D.15.2.16 difformNeg
D.15.2.17 difformMul
D.15.2.18 difformDiv
D.15.2.19 difformEqu
D.15.2.20 difformNeq
D.15.2.21 difformIsBigger
D.15.2.22 difformIsSmaller
D.15.2.23 difformDeg
D.15.2.24 difformIsHomog
D.15.2.25 difformIsHomogDeg
D.15.2.26 difformListCont
D.15.2.27 difformListSort
D.15.2.28 difformUnivDer
D.15.2.29 difformDiff
D.15.2.30 derivationFromList
D.15.2.31 derivationCheckList
D.15.2.32 derivationFromPoly
D.15.2.33 derivationConstructor
D.15.2.34 derivationToString
D.15.2.35 derivationPrint
D.15.2.36 derivationAdd
D.15.2.37 derivationSub
D.15.2.38 derivationNeg
D.15.2.39 derivationMul
D.15.2.40 derivationEqu
D.15.2.41 derivationNeq
D.15.2.42 derivationEval
D.15.2.43 derivationContractionGen
D.15.2.44 derivationContraction
D.15.2.45 derivationLie
D.15.3 enumpoints_lib
D.15.3.1 points
D.15.3.2 projPoints
D.15.4 finitediff_lib
D.15.4.1 visualize
D.15.4.2 u
D.15.4.3 scheme
D.15.4.4 laxfrT
D.15.4.5 laxfrX
D.15.4.6 forward
D.15.4.7 backward
D.15.4.8 central1st
D.15.4.9 central2nd
D.15.4.10 trapezoid
D.15.4.11 midpoint
D.15.4.12 pyramid
D.15.4.13 setinitials
D.15.4.14 errormap
D.15.4.15 matrixsystem
D.15.4.16 timestep
D.15.4.17 fouriersystem
D.15.4.18 PartitionVar
D.15.4.19 ComplexValue
D.15.4.20 VarToPar
D.15.4.21 ParToVar
D.15.4.22 qepcad
D.15.4.23 qepcadsystem
D.15.5 GND_lib
D.15.5.1 desingularization
D.15.6 gradedModules_lib
D.15.6.1 grobj
D.15.6.2 grtest
D.15.6.3 grdeg
D.15.6.4 grview
D.15.6.5 grshift
D.15.6.6 grzero
D.15.6.7 grtwist
D.15.6.8 grtwists
D.15.6.9 grsum
D.15.6.10 grpower
D.15.6.11 grtranspose
D.15.6.12 grgens
D.15.6.13 grpres
D.15.6.14 grorder
D.15.6.15 grtranspose1
D.15.6.16 TestGRRes
D.15.6.17 KeneshlouMatrixPresentation
D.15.6.18 grsyz
D.15.6.19 grres
D.15.6.20 grlift
D.15.6.21 grprod
D.15.6.22 grgroebner
D.15.6.23 grconcat
D.15.6.24 grrndmat
D.15.6.25 grrndmap
D.15.6.26 grrndmap2
D.15.6.27 grlifting
D.15.6.28 grlifting2
D.15.6.29 mappingcone
D.15.6.30 grlifting3
D.15.6.31 mappingcone3
D.15.6.32 grrange
D.15.6.33 grneg
D.15.6.34 matrixpres
D.15.7 hodge_lib
D.15.7.1 Vfiltration
D.15.7.2 hodgeIdeals
D.15.7.3 multIdeals
D.15.7.4 nextHodgeIdeal
D.15.8 lrcalc_lib
D.15.8.1 LRinstall
D.15.8.2 LRcoef
D.15.8.3 LRskew
D.15.8.4 LRmult
D.15.8.5 LRcoprod
D.15.8.6 LRschubmult
D.15.9 maxlike_lib
D.15.9.1 likeIdeal
D.15.9.2 logHessian
D.15.9.3 getMaxPoints
D.15.9.4 maxPoints
D.15.9.5 maxPointsProb
D.15.10 modfinduni_lib
D.15.10.1 modFinduni
D.15.11 modwalk_lib
D.15.11.1 modWalk
D.15.11.2 modrWalk
D.15.11.3 modfWalk
D.15.11.4 modfrWalk
D.15.12 multigrading_lib
D.15.12.1 setBaseMultigrading
D.15.12.2 getVariableWeights
D.15.12.3 getGradingGroup
D.15.12.4 getLattice
D.15.12.5 createGroup
D.15.12.6 createQuotientGroup
D.15.12.7 createTorsionFreeGroup
D.15.12.8 printGroup
D.15.12.9 isGroup
D.15.12.10 isGroupHomomorphism
D.15.12.11 isGradedRingHomomorphism
D.15.12.12 createGradedRingHomomorphism
D.15.12.13 setModuleGrading
D.15.12.14 getModuleGrading
D.15.12.15 isSublattice
D.15.12.16 imageLattice
D.15.12.17 intRank
D.15.12.18 kernelLattice
D.15.12.19 latticeBasis
D.15.12.20 preimageLattice
D.15.12.21 projectLattice
D.15.12.22 intersectLattices
D.15.12.23 isIntegralSurjective
D.15.12.24 isPrimitiveSublattice
D.15.12.25 intInverse
D.15.12.26 integralSection
D.15.12.27 primitiveSpan
D.15.12.28 factorgroup
D.15.12.29 productgroup
D.15.12.30 multiDeg
D.15.12.31 multiDegBasis
D.15.12.32 multiDegPartition
D.15.12.33 isTorsionFree
D.15.12.34 isPositive
D.15.12.35 isZeroElement
D.15.12.36 areZeroElements
D.15.12.37 isHomogeneous
D.15.12.38 equalMultiDeg
D.15.12.39 multiDegGroebner
D.15.12.40 multiDegSyzygy
D.15.12.41 multiDegModulo
D.15.12.42 multiDegResolution
D.15.12.43 multiDegTensor
D.15.12.44 multiDegTor
D.15.12.45 defineHomogeneous
D.15.12.46 pushForward
D.15.12.47 gradiator
D.15.12.48 hermiteNormalForm
D.15.12.49 smithNormalForm
D.15.12.50 hilbertSeries
D.15.12.51 lll
D.15.13 pfd_lib
D.15.13.1 pfd
D.15.13.2 checkpfd
D.15.13.3 evaluatepfd
D.15.13.4 displaypfd
D.15.13.5 displaypfd_long
D.15.13.6 getStringpfd
D.15.13.7 getStringpfd_indexed
D.15.13.8 readInputTXT
D.15.13.9 pfdMat
D.15.13.10 checkpfdMat
D.15.14 polyclass_lib
D.15.14.1 makePoly
D.15.14.2 printPoly
D.15.14.3 printNormalFormEquation
D.15.15 puiseuxexpansions_lib
D.15.15.1 puiseuxList
D.15.15.2 makePuiseux
D.15.15.3 makePuiseuxFromPoly
D.15.15.4 printPuiseux
D.15.15.5 puiseux
D.15.16 ringgb_lib
D.15.16.1 findZeroPoly
D.15.16.2 zeroReduce
D.15.16.3 testZero
D.15.16.4 noElements
D.15.17 rwalk_lib
D.15.17.1 prwalk
D.15.17.2 rwalk
D.15.17.3 frandwalk
D.15.18 sagbigrob_lib
D.15.18.1 LTGS
D.15.18.2 SGNF
D.15.18.3 SPOLY
D.15.18.4 SGB
D.15.19 sagbiNormaliz_lib
D.15.19.1 sagbiGeneral
D.15.19.2 sagbiByDegree
D.15.19.3 sagbiHilbControlled
D.15.20 stanleyreisner_lib
D.15.20.1 T1
D.15.20.2 T2
D.15.20.3 makeQPoly
D.15.20.4 fPiece
D.15.20.5 sPiece
D.15.20.6 makeLinks
D.15.21 stdmodule_lib
D.15.21.1 MPGS
D.15.21.2 SNF
D.15.21.3 MSPOLY
D.15.21.4 MSGB
D.15.22 swalk_lib
D.15.22.1 swalk
D.15.22.2 rswalk
D.15.23 systhreads_lib
D.15.24 tateProdCplxNegGrad_lib
D.15.24.1 productOfProjectiveSpaces
D.15.24.2 truncateM
D.15.24.3 truncateCoker
D.15.24.4 symExt
D.15.24.5 sufficientlyPositiveMultidegree
D.15.24.6 tateResolution
D.15.24.7 cohomologyMatrix
D.15.24.8 cohomologyMatrixFromResolution
D.15.24.9 eulerPolynomialTable
D.15.24.10 cohomologyHashTable
D.15.24.11 twist
D.15.24.12 beilinsonWindow
D.15.24.13 regionComplex
D.15.24.14 strand
D.15.24.15 firstQuadrantComplex
D.15.24.16 lastQuadrantComplex
D.15.25 tropicalEllipticCovers_lib
D.15.25.1 cf_of
D.15.25.2 preim
D.15.25.3 coverTuple
D.15.25.4 CoverMult
D.15.25.5 Tropicalcover
D.15.25.6 sinh
D.15.25.7 Sfunction
D.15.25.8 FloorDiagrams
D.15.25.9 PropagatorFunction
D.15.25.10 FeynmanIntegralo
D.15.25.11 FeynmanIntegralO
D.15.25.12 FeynmanIntegralA
D.15.25.13 DrawCovers
D.15.25.14 TropCovandMaps
D.15.26 VecField_lib
D.15.26.1 applyVecField
D.15.26.2 changeCoordinates
D.15.26.3 jordanVecField
D.15.26.4 diagonalizeVecFieldLin
D.15.26.5 SaitoBase
D.15.26.6 diagonalizeVecField
D.15.26.7 vecFieldToMatrix
D.15.26.8 decomposeVecField
D.15.26.9 diagonalizeMatrixSimul
D.15.26.10 invertAlgebraMorphism
E. Release Notes
E.1 News and changes
E.2 Singular 3 and Singular 4
E.2.1 Version schema for Singular
E.2.2 Notes for Singular users
E.2.3 Notes for developers
E.2.4 Building Singular
E.2.5 Side-by-side installation
E.3 libSingular
E.4 Download instructions
E.5 Used environment variables
E.6 Unix installation instructions
E.7 Windows installation instructions
E.8 Macintosh installation instructions
F. Index
User manual for
Singular
version 4.4.0, 2024, generated by
texi2html
.