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.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 Names in procedures
3.7.3 Parameter list
3.7.4 Procedure commands
3.8 Libraries
3.8.1 Loading of a library
3.8.2 Format of a library
3.9 Guidelines for writing a library
3.9.1 Procedures in a library
3.9.2 Documentation of a library
3.9.2.1 lib2doc
3.9.3 Typesetting of help strings
3.9.4 The help string of a library
3.9.5 The help string of procedures
3.9.6 template_lib
3.9.6.1 mdouble
3.9.6.2 mtripple
3.9.6.3 msum
3.10 Debugging tools
3.10.1 Tracing of procedures
3.10.2 Source code debugger
3.10.3 Break points
3.10.4 Printing of data
3.10.5 libparse
4. Data types
4.1 def
4.1.1 def declarations
4.2 ideal
4.2.1 ideal declarations
4.2.2 ideal expressions
4.2.3 ideal operations
4.2.4 ideal related functions
4.3 int
4.3.1 int declarations
4.3.2 int expressions
4.3.3 int operations
4.3.4 int related functions
4.3.5 boolean expressions
4.3.6 boolean operations
4.4 intmat
4.4.1 intmat declarations
4.4.2 intmat expressions
4.4.3 intmat type cast
4.4.4 intmat operations
4.4.5 intmat related functions
4.5 intvec
4.5.1 intvec declarations
4.5.2 intvec expressions
4.5.3 intvec operations
4.5.4 intvec related functions
4.6 link
4.6.1 link declarations
4.6.2 link expressions
4.6.3 link related functions
4.6.4 ASCII links
4.6.5 MP links
4.6.5.1 MPfile links
4.6.5.2 MPtcp links
4.6.6 DBM links
4.7 list
4.7.1 list declarations
4.7.2 list expressions
4.7.3 list operations
4.7.4 list related functions
4.8 map
4.8.1 map declarations
4.8.2 map expressions
4.8.3 map operations
4.8.4 map related functions
4.9 matrix
4.9.1 matrix declarations
4.9.2 matrix expressions
4.9.3 matrix type cast
4.9.4 matrix operations
4.9.5 matrix related functions
4.10 module
4.10.1 module declarations
4.10.2 module expressions
4.10.3 module operations
4.10.4 module related functions
4.11 number
4.11.1 number declarations
4.11.2 number expressions
4.11.3 number operations
4.11.4 number related functions
4.12 poly
4.12.1 poly declarations
4.12.2 poly expressions
4.12.3 poly operations
4.12.4 poly related functions
4.13 proc
4.13.1 proc declaration
4.14 qring
4.14.1 qring declaration
4.15 resolution
4.15.1 resolution declarations
4.15.2 resolution expressions
4.15.3 resolution related functions
4.16 ring
4.16.1 ring declarations
4.16.2 ring related functions
4.16.3 ring operations
4.17 string
4.17.1 string declarations
4.17.2 string expressions
4.17.3 string type cast
4.17.4 string operations
4.17.5 string related functions
4.18 vector
4.18.1 vector declarations
4.18.2 vector expressions
4.18.3 vector operations
4.18.4 vector related functions
5. Functions and system variables
5.1 Functions
5.1.1 attrib
5.1.2 bareiss
5.1.3 betti
5.1.4 char
5.1.5 char_series
5.1.6 charstr
5.1.7 cleardenom
5.1.8 close
5.1.9 coef
5.1.10 coeffs
5.1.11 contract
5.1.12 dbprint
5.1.13 defined
5.1.14 deg
5.1.15 degree
5.1.16 delete
5.1.17 det
5.1.18 diff
5.1.19 dim
5.1.20 division
5.1.21 dump
5.1.22 eliminate
5.1.23 eval
5.1.24 ERROR
5.1.25 example
5.1.26 execute
5.1.27 exit
5.1.28 extgcd
5.1.29 facstd
5.1.30 factorize
5.1.31 fetch
5.1.32 fglm
5.1.33 fglmquot
5.1.34 files, input from
5.1.35 find
5.1.36 finduni
5.1.37 fprintf
5.1.38 freemodule
5.1.39 frwalk
5.1.40 gcd
5.1.41 gen
5.1.42 getdump
5.1.43 groebner
5.1.44 help
5.1.45 highcorner
5.1.46 hilb
5.1.47 homog
5.1.48 hres
5.1.49 imap
5.1.50 impart
5.1.51 indepSet
5.1.52 insert
5.1.53 interred
5.1.54 intersect
5.1.55 jacob
5.1.56 janet
5.1.57 jet
5.1.58 kbase
5.1.59 kill
5.1.60 killattrib
5.1.61 koszul
5.1.62 laguerre
5.1.63 lead
5.1.64 leadcoef
5.1.65 leadexp
5.1.66 leadmonom
5.1.67 LIB
5.1.68 lift
5.1.69 liftstd
5.1.70 listvar
5.1.71 lres
5.1.72 maxideal
5.1.73 memory
5.1.74 minbase
5.1.75 minor
5.1.76 minres
5.1.77 modulo
5.1.78 monitor
5.1.79 mpresmat
5.1.80 mres
5.1.81 mstd
5.1.82 mult
5.1.83 nameof
5.1.84 names
5.1.85 ncols
5.1.86 npars
5.1.87 nres
5.1.88 nrows
5.1.89 nvars
5.1.90 open
5.1.91 option
5.1.92 ord
5.1.93 ordstr
5.1.94 par
5.1.95 pardeg
5.1.96 parstr
5.1.97 preimage
5.1.98 prime
5.1.99 print
5.1.100 printf
5.1.101 prune
5.1.102 qhweight
5.1.103 quot
5.1.104 quote
5.1.105 quotient
5.1.106 random
5.1.107 read
5.1.108 reduce
5.1.109 regularity
5.1.110 repart
5.1.111 res
5.1.112 reservedName
5.1.113 resultant
5.1.114 rvar
5.1.115 setring
5.1.116 simplex
5.1.117 simplify
5.1.118 size
5.1.119 sortvec
5.1.120 sprintf
5.1.121 sres
5.1.122 status
5.1.123 std
5.1.124 stdfglm
5.1.125 stdhilb
5.1.126 subst
5.1.127 system
5.1.128 syz
5.1.129 trace
5.1.130 transpose
5.1.131 type
5.1.132 typeof
5.1.133 uressolve
5.1.134 vandermonde
5.1.135 var
5.1.136 varstr
5.1.137 vdim
5.1.138 wedge
5.1.139 weight
5.1.140 write
5.2 Control structures
5.2.1 break
5.2.2 breakpoint
5.2.3 continue
5.2.4 else
5.2.5 export
5.2.6 for
5.2.7 if
5.2.8 keepring
5.2.9 quit
5.2.10 return
5.2.11 while
5.2.12 ~ (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 Major differences to the C programming language
6.2.1 No rvalue of increments and assignments
6.2.2 Evaluation of logical expressions
6.2.3 No case or switch statement
6.2.4 Usage of commas
6.2.5 Usage of brackets
6.2.6 Behavior of continue
6.2.7 Return type of procedures
6.3 Miscellaneous oddities
6.4 Identifier resolution
A. Examples
A.1 Milnor and Tjurina
A.2 Procedures and LIB
A.3 Critical points
A.4 Saturation
A.5 Long coefficients
A.6 Parameters
A.7 T1 and T2
A.8 Deformations
A.9 Finite fields
A.10 Elimination
A.11 Free resolution
A.12 Computation of Ext
A.13 Polar curves
A.14 Depth
A.15 Formatting output
A.16 Cyclic roots
A.17 G_a -Invariants
A.18 Invariants of a finite group
A.19 Factorization
A.20 Puiseux pairs
A.21 Primary decomposition
A.22 Normalization
A.23 Branches of an Isolated Space Curve Singularity
A.24 Kernel of module homomorphisms
A.25 Algebraic dependence
A.26 Classification
A.27 Fast lexicographical GB
A.28 Parallelization with MPtcp links
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
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 References
D. SINGULAR libraries
D.1 standard_lib
D.2 General purpose
D.2.1 all_lib
D.2.2 general_lib
D.2.2.1 A_Z
D.2.2.2 ASCII
D.2.2.3 absValue
D.2.2.4 binomial
D.2.2.5 deleteSublist
D.2.2.6 factorial
D.2.2.7 fibonacci
D.2.2.8 kmemory
D.2.2.9 killall
D.2.2.10 number_e
D.2.2.11 number_pi
D.2.2.12 primes
D.2.2.13 product
D.2.2.14 sort
D.2.2.15 sum
D.2.2.16 watchdog
D.2.2.17 which
D.2.2.18 primecoeffs
D.2.2.19 primefactors
D.2.2.20 timeStd
D.2.2.21 timeFactorize
D.2.2.22 factorH
D.2.3 inout_lib
D.2.3.1 allprint
D.2.3.2 lprint
D.2.3.3 pmat
D.2.3.4 rMacaulay
D.2.3.5 show
D.2.3.6 showrecursive
D.2.3.7 split
D.2.3.8 tab
D.2.3.9 writelist
D.2.3.10 pause
D.2.4 poly_lib
D.2.4.1 cyclic
D.2.4.2 katsura
D.2.4.3 freerank
D.2.4.4 is_zero
D.2.4.5 lcm
D.2.4.6 maxcoef
D.2.4.7 maxdeg
D.2.4.8 maxdeg1
D.2.4.9 mindeg
D.2.4.10 mindeg1
D.2.4.11 normalize
D.2.4.12 rad_con
D.2.4.13 content
D.2.4.14 numerator
D.2.4.15 denominator
D.2.4.16 mod2id
D.2.4.17 id2mod
D.2.4.18 substitute
D.2.4.19 subrInterred
D.2.4.20 hilbPoly
D.2.5 random_lib
D.2.5.1 genericid
D.2.5.2 randomid
D.2.5.3 randommat
D.2.5.4 sparseid
D.2.5.5 sparsematrix
D.2.5.6 sparsemat
D.2.5.7 sparsepoly
D.2.5.8 sparsetriag
D.2.5.9 triagmatrix
D.2.5.10 randomLast
D.2.5.11 randomBinomial
D.2.6 ring_lib
D.2.6.1 changechar
D.2.6.2 changeord
D.2.6.3 changevar
D.2.6.4 defring
D.2.6.5 defrings
D.2.6.6 defringp
D.2.6.7 extendring
D.2.6.8 fetchall
D.2.6.9 imapall
D.2.6.10 mapall
D.2.6.11 ord_test
D.2.6.12 ringtensor
D.2.6.13 ringweights
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 tensor
D.3.1.14 unitmat
D.3.1.15 gauss_col
D.3.1.16 gauss_row
D.3.1.17 addcol
D.3.1.18 addrow
D.3.1.19 multcol
D.3.1.20 multrow
D.3.1.21 permcol
D.3.1.22 permrow
D.3.1.23 rowred
D.3.1.24 colred
D.3.1.25 rm_unitrow
D.3.1.26 rm_unitcol
D.3.1.27 headStand
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 evnf
D.3.2.19 eigenvals
D.3.2.20 minipoly
D.3.2.21 jordan
D.3.2.22 jordanbasis
D.3.2.23 jordanmatrix
D.3.2.24 jordannf
D.3.2.25 spnf
D.3.2.26 spprint
D.4 Commutative algebra
D.4.1 algebra_lib
D.4.1.1 algebra_containment
D.4.1.2 module_containment
D.4.1.3 inSubring
D.4.1.4 algDependent
D.4.1.5 alg_kernel
D.4.1.6 is_injective
D.4.1.7 is_surjective
D.4.1.8 is_bijective
D.4.1.9 noetherNormal
D.4.1.10 mapIsFinite
D.4.1.11 finitenessTest
D.4.2 elim_lib
D.4.2.1 blowup0
D.4.2.2 elim
D.4.2.3 elim1
D.4.2.4 nselect
D.4.2.5 sat
D.4.2.6 select
D.4.2.7 select1
D.4.3 homolog_lib
D.4.3.1 cup
D.4.3.2 cupproduct
D.4.3.3 depth
D.4.3.4 Ext_R
D.4.3.5 Ext
D.4.3.6 fitting
D.4.3.7 flatteningStrat
D.4.3.8 Hom
D.4.3.9 homology
D.4.3.10 isCM
D.4.3.11 isFlat
D.4.3.12 isLocallyFree
D.4.3.13 isReg
D.4.3.14 kernel
D.4.3.15 kohom
D.4.3.16 kontrahom
D.4.3.17 KoszulHomology
D.4.3.18 tensorMod
D.4.3.19 Tor
D.4.4 mprimdec_lib
D.4.4.1 separator
D.4.4.2 PrimdecA
D.4.4.3 PrimdecB
D.4.4.4 modDec
D.4.4.5 zeroMod
D.4.4.6 GTZmod
D.4.4.7 dec1var
D.4.4.8 annil
D.4.4.9 splitting
D.4.4.10 primTest
D.4.4.11 preComp
D.4.4.12 indSet
D.4.4.13 GTZopt
D.4.4.14 zeroOpt
D.4.4.15 clrSBmod
D.4.4.16 minSatMod
D.4.4.17 specialModulesEqual
D.4.4.18 stdModulesEqual
D.4.4.19 modulesEqual
D.4.4.20 getData
D.4.5 mregular_lib
D.4.5.1 reg_CM
D.4.5.2 reg_curve
D.4.5.3 reg_moncurve
D.4.6 normal_lib
D.4.6.1 normal
D.4.6.2 HomJJ
D.4.6.3 genus
D.4.6.4 deltaLoc
D.4.7 primdec_lib
D.4.7.1 Ann
D.4.7.2 primdecGTZ
D.4.7.3 primdecSY
D.4.7.4 minAssGTZ
D.4.7.5 minAssChar
D.4.7.6 testPrimary
D.4.7.7 radical
D.4.7.8 radicalEHV
D.4.7.9 equiRadical
D.4.7.10 prepareAss
D.4.7.11 equidim
D.4.7.12 equidimMax
D.4.7.13 equidimMaxEHV
D.4.7.14 zerodec
D.4.8 primitiv_lib
D.4.8.1 primitive
D.4.8.2 primitive_extra
D.4.8.3 splitring
D.4.9 reesclos_lib
D.4.9.1 ReesAlgebra
D.4.9.2 normalI
D.4.9.3 primeClosure
D.4.9.4 closureRingtower
D.4.9.5 closureFrac
D.4.10 resol_lib
D.4.10.1 blowUp
D.4.10.2 Center
D.4.10.3 resolve
D.4.10.4 blowUpBO
D.4.10.5 createBO
D.4.10.6 CenterBO
D.4.10.7 Delta
D.4.10.8 DeltaList
D.4.10.9 showBO
D.4.11 intprog_lib
D.4.11.1 solve_IP
D.4.12 toric_lib
D.4.12.1 toric_ideal
D.4.12.2 toric_std
D.4.13 zeta_lib
D.4.13.1 intersectionDiv
D.4.13.2 spectralNeg
D.4.13.3 collectDiv
D.4.13.4 prepEmbDiv
D.4.13.5 abstractR
D.4.14 groebnerwalk_lib
D.4.14.1 gwalk
D.4.14.2 pwalk
D.4.14.3 fwalk
D.4.14.4 twalk
D.4.14.5 awalk1
D.4.14.6 awalk2
D.5 Singularities
D.5.1 alexpoly_lib
D.5.1.1 resolutiongraph
D.5.1.2 totalmultiplicities
D.5.1.3 alexanderpolynomial
D.5.1.4 semigroup
D.5.1.5 proximitymatrix
D.5.1.6 multseq2charexp
D.5.1.7 charexp2multseq
D.5.1.8 charexp2generators
D.5.1.9 charexp2inter
D.5.1.10 charexp2conductor
D.5.1.11 charexp2poly
D.5.1.12 tau_es
D.5.1.13 delete_zero_rows
D.5.1.14 intmat_inverse
D.5.2 classify_lib
D.5.2.1 basicinvariants
D.5.2.2 classify
D.5.2.3 corank
D.5.2.4 Hcode
D.5.2.5 init_debug
D.5.2.6 internalfunctions
D.5.2.7 milnorcode
D.5.2.8 morsesplit
D.5.2.9 quickclass
D.5.2.10 singularity
D.5.2.11 swap
D.5.2.12 A_L
D.5.2.13 normalform
D.5.2.14 debug_log
D.5.3 deform_lib
D.5.3.1 versal
D.5.3.2 mod_versal
D.5.3.3 lift_kbase
D.5.3.4 lift_rel_kb
D.5.3.5 kill_rings
D.5.4 equising_lib
D.5.4.1 tau_es
D.5.4.2 esIdeal
D.5.4.3 esStratum
D.5.4.4 isEquising
D.5.4.5 control_Matrix
D.5.5 gaussman_lib
D.5.5.1 gmsring
D.5.5.2 gmsnf
D.5.5.3 gmscoeffs
D.5.5.4 bernstein
D.5.5.5 monodromy
D.5.5.6 spectrum
D.5.5.7 sppairs
D.5.5.8 sppnf
D.5.5.9 vfilt
D.5.5.10 vwfilt
D.5.5.11 tmatrix
D.5.5.12 endvfilt
D.5.5.13 spprint
D.5.5.14 sppprint
D.5.5.15 spadd
D.5.5.16 spsub
D.5.5.17 spmul
D.5.5.18 spissemicont
D.5.5.19 spsemicont
D.5.5.20 spmilnor
D.5.5.21 spgeomgenus
D.5.5.22 spgamma
D.5.6 gmspoly_lib
D.5.6.1 istame
D.5.6.2 gbasis
D.5.7 gmssing_lib
D.5.7.1 gmsring
D.5.7.2 gmsnf
D.5.7.3 gmscoeffs
D.5.7.4 bernstein
D.5.7.5 monodromy
D.5.7.6 spectrum
D.5.7.7 sppairs
D.5.7.8 vfilt
D.5.7.9 vwfilt
D.5.7.10 tmatrix
D.5.7.11 endvfilt
D.5.7.12 sppnf
D.5.7.13 sppprint
D.5.7.14 spadd
D.5.7.15 spsub
D.5.7.16 spmul
D.5.7.17 spissemicont
D.5.7.18 spsemicont
D.5.7.19 spmilnor
D.5.7.20 spgeomgenus
D.5.7.21 spgamma
D.5.8 hnoether_lib
D.5.8.1 hnexpansion
D.5.8.2 sethnering
D.5.8.3 develop
D.5.8.4 extdevelop
D.5.8.5 parametrisation
D.5.8.6 displayHNE
D.5.8.7 invariants
D.5.8.8 displayInvariants
D.5.8.9 multsequence
D.5.8.10 displayMultsequence
D.5.8.11 intersection
D.5.8.12 stripHNE
D.5.8.13 is_irred
D.5.8.14 delta
D.5.8.15 newtonpoly
D.5.8.16 is_NND
D.5.8.17 puiseux2generators
D.5.8.18 separateHNE
D.5.8.19 squarefree
D.5.8.20 allsquarefree
D.5.8.21 further_hn_proc
D.5.9 mondromy_lib
D.5.9.1 detadj
D.5.9.2 invunit
D.5.9.3 jacoblift
D.5.9.4 monodromyB
D.5.9.5 H2basis
D.5.10 qhmoduli_lib
D.5.10.1 ArnoldAction
D.5.10.2 ModEqn
D.5.10.3 QuotientEquations
D.5.10.4 StabEqn
D.5.10.5 StabEqnId
D.5.10.6 StabOrder
D.5.10.7 UpperMonomials
D.5.10.8 Max
D.5.10.9 Min
D.5.10.10 Table
D.5.11 sing_lib
D.5.11.1 deform
D.5.11.2 dim_slocus
D.5.11.3 is_active
D.5.11.4 is_ci
D.5.11.5 is_is
D.5.11.6 is_reg
D.5.11.7 is_regs
D.5.11.8 locstd
D.5.11.9 milnor
D.5.11.10 nf_icis
D.5.11.11 slocus
D.5.11.12 qhspectrum
D.5.11.13 Tjurina
D.5.11.14 tjurina
D.5.11.15 T_1
D.5.11.16 T_2
D.5.11.17 T_12
D.5.11.18 tangentcone
D.5.12 spcurve_lib
D.5.12.1 isCMcod2
D.5.12.2 CMtype
D.5.12.3 matrixT1
D.5.12.4 semiCMcod2
D.5.12.5 discr
D.5.12.6 qhmatrix
D.5.12.7 relweight
D.5.12.8 posweight
D.5.12.9 KSpencerKernel
D.5.13 spectrum_lib
D.5.13.1 spectrumnd
D.6 Invariant theory
D.6.1 finvar_lib
D.6.1.1 invariant_ring
D.6.1.2 invariant_ring_random
D.6.1.3 primary_invariants
D.6.1.4 primary_invariants_random
D.6.1.5 cyclotomic
D.6.1.6 group_reynolds
D.6.1.7 molien
D.6.1.8 reynolds_molien
D.6.1.9 partial_molien
D.6.1.10 evaluate_reynolds
D.6.1.11 invariant_basis
D.6.1.12 invariant_basis_reynolds
D.6.1.13 primary_char0
D.6.1.14 primary_charp
D.6.1.15 primary_char0_no_molien
D.6.1.16 primary_charp_no_molien
D.6.1.17 primary_charp_without
D.6.1.18 primary_char0_random
D.6.1.19 primary_charp_random
D.6.1.20 primary_char0_no_molien_random
D.6.1.21 primary_charp_no_molien_random
D.6.1.22 primary_charp_without_random
D.6.1.23 power_products
D.6.1.24 secondary_char0
D.6.1.25 secondary_charp
D.6.1.26 secondary_no_molien
D.6.1.27 secondary_and_irreducibles_no_molien
D.6.1.28 secondary_not_cohen_macaulay
D.6.1.29 orbit_variety
D.6.1.30 relative_orbit_variety
D.6.1.31 image_of_variety
D.6.2 ainvar_lib
D.6.2.1 invariantRing
D.6.2.2 derivate
D.6.2.3 actionIsProper
D.6.2.4 reduction
D.6.2.5 completeReduction
D.6.2.6 localInvar
D.6.2.7 furtherInvar
D.6.2.8 sortier
D.6.3 rinvar_lib
D.6.3.1 HilbertSeries
D.6.3.2 HilbertWeights
D.6.3.3 ImageVariety
D.6.3.4 ImageGroup
D.6.3.5 InvariantRing
D.6.3.6 InvariantQ
D.6.3.7 LinearizeAction
D.6.3.8 LinearActionQ
D.6.3.9 LinearCombinationQ
D.6.3.10 MinimalDecomposition
D.6.3.11 NullCone
D.6.3.12 ReynoldsImage
D.6.3.13 ReynoldsOperator
D.6.3.14 SimplifyIdeal
D.6.3.15 TransferIdeal
D.6.4 stratify_lib
D.6.4.1 prepMat
D.6.4.2 stratify
D.7 Symbolic-numerical solving
D.7.1 presolve_lib
D.7.1.1 degreepart
D.7.1.2 elimlinearpart
D.7.1.3 elimpart
D.7.1.4 elimpartanyr
D.7.1.5 fastelim
D.7.1.6 findvars
D.7.1.7 hilbvec
D.7.1.8 linearpart
D.7.1.9 tolessvars
D.7.1.10 solvelinearpart
D.7.1.11 sortandmap
D.7.1.12 sortvars
D.7.1.13 shortid
D.7.1.14 valvars
D.7.1.15 idealSimplify
D.7.1.16 idealSplit
D.7.2 solve_lib
D.7.2.1 laguerre_solve
D.7.2.2 solve
D.7.2.3 ures_solve
D.7.2.4 mp_res_mat
D.7.2.5 interpolate
D.7.2.6 fglm_solve
D.7.2.7 lex_solve
D.7.2.8 simplexOut
D.7.2.9 triangLf_solve
D.7.2.10 triangM_solve
D.7.2.11 triangL_solve
D.7.2.12 triang_solve
D.7.3 triang_lib
D.7.3.1 triangL
D.7.3.2 triangLfak
D.7.3.3 triangM
D.7.3.4 triangMH
D.7.4 ntsolve_lib
D.7.4.1 nt_solve
D.7.4.2 triMNewton
D.7.5 zeroset_lib
D.7.5.1 Quotient
D.7.5.2 Remainder
D.7.5.3 Roots
D.7.5.4 SQFRNorm
D.7.5.5 ZeroSet
D.7.5.6 InvertNumberMain
D.7.5.7 QuotientMain
D.7.5.8 RemainderMain
D.7.5.9 RootsMain
D.7.5.10 SQFRNormMain
D.7.5.11 ContainedQ
D.7.5.12 SameQ
D.8 Visualization
D.8.1 graphics_lib
D.8.1.1 staircase
D.8.1.2 mathinit
D.8.1.3 mplot
D.8.2 latex_lib
D.8.2.1 closetex
D.8.2.2 opentex
D.8.2.3 tex
D.8.2.4 texdemo
D.8.2.5 texfactorize
D.8.2.6 texmap
D.8.2.7 texname
D.8.2.8 texobj
D.8.2.9 texpoly
D.8.2.10 texproc
D.8.2.11 texring
D.8.2.12 rmx
D.8.2.13 xdvi
D.8.3 paramet_lib
D.8.3.1 parametrize
D.8.3.2 parametrizepd
D.8.3.3 parametrizesing
D.8.4 surf_lib
D.8.4.1 plot
D.9 Coding theory
D.9.1 brnoeth_lib
D.9.1.1 Adj_div
D.9.1.2 NSplaces
D.9.1.3 BrillNoether
D.9.1.4 Weierstrass
D.9.1.5 extcurve
D.9.1.6 AGcode_L
D.9.1.7 AGcode_Omega
D.9.1.8 prepSV
D.9.1.9 decodeSV
D.9.1.10 closed_points
D.9.1.11 dual_code
D.9.1.12 sys_code
D.9.1.13 permute_L
E. Release Notes
E.1 News and changes
E.2 Downloading instructions
E.3 Unix installation instructions
E.4 Windows installation instructions
E.5 Macintosh installation instructions
F. Index
User manual for
Singular
version 2-0-6, November 2004, generated by
texi2html
.