Macaulay2Doc : Table of Contents
- Macaulay2Doc
- Copyright and license
- Acknowledgements
- The authors
- Other sources of information about Macaulay2
- getting started
- rings
- ideals
- matrices
- substitution and maps between rings
- modules
- chain complexes
- varieties
- Gröbner bases
- normal forms
- elimination of variables
- combinatorial functions
- The Macaulay2 language
- variables -- The variables of a complex or co-complex.
- numeric types
- strings and nets
- lists and sequences
- hash tables
- operators
- = -- assignment
- := -- assignment of method or new local variable
- <- -- assignment with left side evaluated
- == -- equality
- != -- inequality
- Thing === Thing -- strict equality
- =!= -- strict inequality
- < -- less than
- <= -- less than or equal
- > -- greater than
- >= -- greater than or equal
- ? -- comparison operator
- and -- conjunction
- or -- disjunction
- not -- negation
- SPACE -- blank operator; often used for function application, making polynomial rings
- -> -- make a function
- @@ -- a binary operator
- \\ -- a binary operator
- \ -- a binary operator
- _ -- a binary operator, used for subscripting and access to elements
- . -- access to elements whose key is a symbol
- .? -- check for presence of elements whose key is a symbol
- # -- length, or access to elements
- #? -- check for presence of elements
- ! -- factorial
- + -- a unary or binary operator, usually used for addition
- - -- a unary or binary operator, usually used for negation or subtraction
- * -- a binary operator, usually used for multiplication
- / -- a binary operator, usually used for division
- // -- a binary operator, usually used for quotient
- % -- a binary operator, usually used for remainder and reduction
- ^ -- a binary operator, usually used for powers
- & -- a binary operator
- ++ -- a binary operator, usually used for direct sum
- ** -- a binary operator, usually used for tensor product or Cartesian product
- ^** -- a binary operator, usually used for tensor or Cartesian power
- ~ -- a unary postfix operator
- (*) -- a unary postfix operator, used for indicating a graded object
- : -- a binary operator, uses include repetition; ideal quotients
- .. -- a binary operator, used for sequences of consecutive items
- ..< -- a binary operator, used for sequences of consecutive items, not including the endpoint
- << -- a binary operator (file output, ...)
- >> -- a binary operator, uses include bit shifting, or attaching optional inputs to functions
- | -- a binary operator, often used for horizontal concatenation
- || -- a binary operator, often used for vertical concatenation
- @ -- a binary operator
- ^^ -- a binary operator
- |- -- a binary operator
- <==> -- a binary operator
- ===> -- a binary operator
- ==> -- a binary operator
- <=== -- a unary and binary operator
- <== -- a unary and binary operator
- => -- produce an Option
- , -- the comma, used for separating entries in a list or sequence
- ; -- statement separator
- precedence of operators
- operatorAttributes
- conditional execution -- if-then-else statements
- while -- while loops
- for -- for loops
- mapping over lists -- apply a function to each element of a list
- mapping over hash tables -- apply a function to each element of a hash table
- error handling -- signalling and trapping errors
- error -- deliver error message
- try -- catch an error
- catch -- catch a thrown exception
- using functions
- using functions with optional inputs
- making functions
- local variables in a function
- making functions with a variable number of arguments
- making functions with multiple return values
- making new functions with optional arguments
- what a class is
- installing methods
- binary methods
- inheritance
- making new classes
- new -- new objects and new types
- newClass -- set the class and parent of an object
- printing and formatting for new classes
- making a new method function
- method -- make a new method function
- printing to the screen
- reading files
- getting input from the user
- creating and writing files
- saving polynomials and matrices in files
- two dimensional formatting
- file manipulation -- Unix file manipulation functions
- communicating with programs
- using sockets
- packages
- system facilities
- debugging
- packages provided with Macaulay2
- changes to Macaulay2, by version
- mathematical examples
- basic commutative algebra
- replacements for commands and scripts from Macaulay
- how Macaulay2 finds its files
- Type -- the class of all types
- Function -- the class of all functions
- " -- delineate a string with quotation marks
- # HashTable -- length
- # Set -- cardinality
- # String -- length
- - List -- negation of a vector
- -- -- comment
- > ZZ -- greater than
- >= ZZ -- greater than or equal
- ^* -- a unary postfix operator, used for indicating pullback maps
- _* -- a unary postfix operator, used for indicating pushforward maps
- abs -- absolute value function
- AbsoluteLinks -- name for an optional argument
- accumulate -- apply binary operator repeatedly
- accumulate(Function,Thing,VisibleList)
- accumulate(Function,VisibleList)
- accumulate(VisibleList,Function)
- accumulate(VisibleList,Thing,Function)
- acos -- arccosine
- acosh -- inverse hyperbolic cosine
- acot -- compute the inverse cotangent
- addHook -- add a hook function to an object for later processing
- addHook(HashTable,Thing,Function) -- add a hook function to an object for later processing
- addHook(Symbol,Function) -- add a hook function to an object for later processing
- Adjacent -- the class of all adjacent expression pairs
- adjoint(Matrix,Module,Module) -- an adjoint map
- adjoint1(Matrix,Module,Module) -- an adjoint map
- AffineVariety -- the class of all affine varieties
- AffineVariety ** Ring -- a binary operator, usually used for tensor product or Cartesian product
- AfterEval -- top level method applied after evaluation
- AfterNoPrint -- top level method applied after not printing
- AfterPrint -- top level method applied after printing
- agm -- arithmetic-geometric mean
- Algorithm -- name for an optional argument
- Alignment -- name for an optional argument
- all -- whether all elements satisfy a specified condition
- all(BasicList,BasicList,Function) -- whether all corresponding elements of a pair of lists satisfy a condition
- all(HashTable,Function) -- whether all key/value pairs in a hash table satisfy a specified condition
- ambient -- ambient free module of a subquotient, or ambient ring
- ambient(AffineVariety)
- ambient(CoherentSheaf)
- ambient(GaloisField) -- corresponding quotient ring
- ambient(GradedModule)
- ambient(Matrix)
- ambient(Module) -- ambient free module
- ambient(ProjectiveVariety)
- ambient(Ring) -- ambient polynomial ring
- ancestors -- the ancestors of something
- annihilator -- the annihilator ideal
- annihilator of a module
- any -- whether any elements satisfy a specified condition
- any(BasicList,BasicList,Function) -- whether any corresponding elements of a pair of lists satisfy a condition
- any(HashTable,Function) -- whether all key/value pairs in a hash table satisfy a specified condition
- append(BasicList,Thing) -- append an element to a list
- applicationDirectory -- the path to the user's application directory
- applicationDirectorySuffix -- suffix that determines the user's application directory
- apply -- apply a function to each element
- apply(BasicList,BasicList,Function) -- apply a function to pairs of elements, one from each list
- apply(ZZ,Function) -- apply a function to {0,..., n-1}
- applyTable -- apply a function to elements of a table
- apropos(String) -- symbols matching a pattern
- argument -- specify the function in a scripted functor for an argument
- Ascending
- ascii -- ASCII character conversion
- ascii(List) -- ASCII character conversion
- ascii(String) -- ASCII character conversion
- asin -- arcsine
- asinh -- inverse hyperbolic sine
- assert -- assert something is true
- associatedPrimes -- find the associated primes of an ideal
- associatedPrimes(..., Strategy => ...)
- AssociativeExpression -- the class of associative expressions
- atan -- compute the arctangent
- atan(RR) -- compute the arctangent of a number
- atan2(RR,RR) -- compute an angle of a certain triangle
- atEndOfFile(File) -- test for end of file
- backtrace -- whether a backtrace is displayed following an error message
- backupFileRegexp -- a regular expression for recognizing names of backup files
- Bag -- the class of all bags
- Bareiss
- baseFilename -- the base part of a filename or path
- baseName -- the base name of a generator
- baseRings -- store the list of base rings of a ring
- BaseRow -- name for an optional argument
- BasisElementLimit -- name for an optional argument
- Bayer -- a Strategy option value for saturate
- BeforePrint -- top level method applied before printing results
- benchmark -- accurate timing of execution
- BesselJ -- Bessel function of the first kind
- BesselY -- Bessel function of the second kind
- betti -- display degrees
- betti(..., Weights => ...)
- betti(BettiTally) -- view and set the weights of a betti display
- betti(GradedModule) -- display of degrees in a graded module
- betti(GroebnerBasis) -- diagram of the degrees of a groebner basis
- betti(Ideal) -- gives the degrees of generators.
- betti(Matrix) -- display of the degrees of a map
- betti(Module) -- show the degrees of the generators and relations of a module or a coherent sheaf
- BettiTally -- the class of all Betti tallies
- between(Thing,VisibleList) -- insert something between elements of a list
- BinaryOperation -- the class of all binary operation expressions
- Binomial -- name for an optional argument
- binomial -- binomial coefficient
- Boolean -- the class of Boolean values
- borel(Matrix) -- make a Borel fixed submodule
- Boxes -- name for an optional argument
- break -- break from a loop
- cache -- a key under which to store cache tables
- CacheExampleOutput -- name for an optional argument
- CacheFunction -- the class of cache functions
- CacheTable -- hash tables for caching
- cacheValue -- cache values of functions in their arguments
- capture(String) -- evaluate Macaulay2 code and capture the output (under development)
- CC -- the class of all complex numbers
- ceiling -- ceiling function
- Center -- value for an optional argument
- centerString -- center a string or net
- Certification -- name for an optional argument
- ChainComplex -- the class of all chain complexes
- chainComplex -- make a chain complex
- ChainComplex ** ChainComplex -- tensor product
- ChainComplex ** ChainComplexMap -- tensor product
- ChainComplex ** GradedModule -- tensor product
- ChainComplex ** Ring -- a binary operator, usually used for tensor product or Cartesian product
- ChainComplex ++ ChainComplex -- direct sum
- ChainComplex ^ ZZ -- access member, cohomological degree
- ChainComplex _ ZZ -- component
- ChainComplex _ ZZ = Thing -- install component of chain complex
- ChainComplex Array -- degree shift
- chainComplex(GradedModule) -- make a chain complex from a graded module
- chainComplex(List) -- make a chain complex
- chainComplex(Matrix) -- make a small chain complex
- chainComplex(Ring) -- make an empty chain complex over a ring
- ChainComplexMap -- the class of all maps between chain complexes
- ChainComplexMap ** ChainComplex -- tensor product
- ChainComplexMap ** ChainComplexMap -- tensor product
- ChainComplexMap ^ ZZ -- iterated composition
- ChainComplexMap _ ZZ -- component map
- ChainComplexMap _ ZZ = Thing -- install component of chain complex map
- ChainComplexMap Array -- degree shift
- ChangeMatrix -- name for an optional argument
- char -- computes the characteristic of the ring or field
- characters -- get characters from a string
- CheckDocumentation -- name for an optional argument
- clean -- Set to zero elements that are approximately zero
- clearAll -- forget everything
- clearOutput -- forget output values
- close -- close a file
- closeIn -- close an input file
- closeOut -- close an output file
- ClosestFit -- name for an optional argument
- code -- display source code
- codim -- compute the codimension
- codim(CoherentSheaf) -- codimension of the support of a coherent sheaf on a projective variety
- codim(Ideal) -- compute the codimension
- codim(Ideal, Generic => ...)
- codim(Module) -- codimension of the support of a module
- codim(MonomialIdeal) -- compute the codimension
- codim(ProjectiveVariety) -- codimension of the projective variety
- codim(QuotientRing) -- compute the codimension
- CodimensionLimit -- name for an optional argument
- coefficient -- coefficient of a monomial
- CoefficientRing -- name for an optional argument
- coefficientRing -- get the coefficient ring
- coefficients -- monomials and their coefficients
- coefficients(..., Monomials => ...) -- specify monomials
- coefficients(..., Variables => ...) -- take coefficients using these variables
- Cofactor
- CoherentSheaf -- the class of all coherent sheaves
- CoherentSheaf (*) -- sum of twists
- CoherentSheaf ** CoherentSheaf -- tensor produce of coherent sheaves
- CoherentSheaf ++ CoherentSheaf -- direct sum of coherent sheaves
- CoherentSheaf / CoherentSheaf -- quotient of coherent sheaves
- CoherentSheaf ^ ZZ -- direct sum
- CoherentSheaf ^** ZZ -- tensor power
- CoherentSheaf ZZ -- canonical twist of a coherent sheaf
- cohomology -- general cohomology functor
- cohomology(..., Degree => ...)
- coimage -- coimage of a map
- cokernel -- cokernel of a map of modules, graded modules, or chaincomplexes
- columnAdd -- add a multiple of one column to another
- columnate -- arrange strings in columns
- columnMult -- multiply a column by a ring element
- columnPermute -- permute some columns
- columnSwap -- interchange columns
- Command -- the class of all commands
- commandInterpreter -- the top level command interpreter
- commonest -- the most common elements of a list or tally
- commonRing -- find smallest containing ring
- comodule -- submodule to quotient module
- compactMatrixForm -- global flag for compact printing
- comparison operators
- CompiledFunction -- the class of all compiled functions
- CompiledFunctionBody -- the class of all compiled function bodies
- CompiledFunctionClosure -- the class of all compiled function closures
- Complement
- complement(Matrix) -- find the minimal generators for cokernel of a matrix (low level form)
- complete
- complete(ChainComplex) -- complete the internal parts
- CompleteIntersection -- name for an optional argument
- ComplexField -- the class of all complex fields
- component example
- components -- list the components of a direct sum
- components(ChainComplex) -- list the components of a direct sum
- compositions -- compositions of an integer
- compress -- extract nonzero columns from a matrix
- computing resolutions
- computing syzygies
- cone -- mapping cone of a chain map
- cone(ChainComplexMap) -- mapping cone of a chain map
- conjugate -- complex conjugate
- conjugate(CC) -- complex conjugate
- conjugate(Partition) -- conjugate a partition
- connectionCount -- the number of connections
- Constant
- constructing maps between modules
- content(RingElement) -- the content of a polynomial
- continue -- continue with the next iteration of a loop
- contract -- contract one matrix by another
- contract'(Matrix,Matrix) -- contract a matrix by a matrix, the dual notion
- contract(Matrix,Matrix) -- contract a matrix by a matrix
- conventions for documentation
- copyDirectory(..., UpdateOnly => ...)
- COPYING -- the Macaulay2 license agreement
- copyright -- a string containing the copyright notice for Macaulay2
- Core -- the core part of Macaulay2
- cos -- compute the cosine
- cosh -- compute the hyperbolic cosine
- cot -- cotangent
- cotangentSheaf -- cotangent sheaf of a projective variety
- cotangentSheaf(ProjectiveVariety) -- cotangent sheaf of a projective variety
- cotangentSheaf(ZZ,ProjectiveVariety) -- exterior powers of the cotangent sheaf of a projective variety
- coth -- hyperbolic cotangent
- cover -- get the covering free module
- cover(Matrix) -- get the covering free module
- cover(Module) -- get the covering free module
- coverMap(Module) -- the surjective map from a free module to a module corresponding to the generators
- cpuTime -- seconds of cpu time used since Macaulay2 began
- csc -- cosecant
- csch -- hyperbolic cosecant
- current -- the pseudocode that produced an error
- currentFileDirectory -- the directory containing the current input file
- currentFileName -- the current source file
- currentLineNumber -- current line number of the current input file
- currentPackage -- the current package
- currentTime -- get the current time
- Database -- the class of all database files
- Database # String -- get value from database
- Database #? String -- check for value in database
- dd -- differential in a chain complex
- debug -- open private dictionary of a package
- debugError -- a function to debug
- DebuggingMode -- name for an optional argument
- debuggingMode -- whether to enter the debugger when an error occurs
- debugLevel -- current level debugging
- Decompose -- name for an optional argument
- deepSplice -- remove subsequences
- default -- default member of a family
- defaultPrecision -- default precision of numbers
- Degree
- degree
- degree(Ideal)
- degree(Matrix)
- degree(Module)
- degree(ProjectiveHilbertPolynomial)
- degree(ProjectiveVariety)
- degree(Ring)
- degree(RingElement)
- degree(RingElement,RingElement) -- degree with respect to a variable
- degreeLength -- the number of degrees
- DegreeLift -- name for an optional argument
- DegreeLimit -- name for an optional argument
- DegreeMap -- name for an optional argument
- DegreeOrder -- sort primarily by degree
- DegreeRank -- name for an optional argument
- Degrees -- name for an optional argument
- degrees -- degrees of generators
- degrees(Matrix) -- degrees of target and source
- degrees(Ring) -- degrees of generators
- degreesMonoid -- get the monoid of degrees
- degreesRing -- the ring of degrees
- degreesRing(List) -- the ring of degrees
- degreesRing(Ring) -- the ring of degrees
- demark -- insert a string between elements of a list of strings
- denominator -- denominator of a fraction
- Dense -- name for an optional argument
- Density -- name for an optional argument
- depth -- depth of a net
- Descending -- specify descending order
- Descent
- describe -- real description
- Description -- name for an optional argument
- determinant -- determinant of a matrix
- determinant(..., Strategy => ...) -- choose between Bareiss and Cofactor algorithms
- Developer's Corner
- diagonalMatrix -- make a diagonal matrix
- diagonalMatrix(Matrix) -- make a diagonal matrix from entries of a matrix
- diagonalMatrix(Ring,ZZ,ZZ,List) -- make a diagonal matrix from a list
- Dictionary -- the class of all dictionaries
- dictionary -- determine the dictionary to which a symbol belongs
- dictionaryPath
- diff -- differentiate or take difference
- diff and contract
- diff'(Matrix,Matrix) -- differentiate a matrix by a matrix, the dual notion
- difference -- difference
- dim -- compute the Krull dimension
- dim(AffineVariety) -- dimension of the affine variety
- dim(Ideal) -- compute the Krull dimension
- dim(Module) -- compute the Krull dimension
- dim(ProjectiveHilbertPolynomial) -- the degree of the Hilbert polynomial
- dim(ProjectiveVariety) -- dimension of the projective variety
- dim(Ring) -- compute the Krull dimension
- directSum -- direct sum of modules or maps
- disassemble -- disassemble pseudocode or a function
- dismiss -- dismiss a package
- Divide -- the class of all divide expressions
- divideByVariable -- divide all columns by a (power of a) variable
- DivideConquer -- name for an optional argument
- division in polynomial rings with monomials less than 1
- do -- loop control
- document(..., BaseFunction => ...) -- function for a documented feature
- document(..., Caveat => ...) -- warnings
- document(..., Consequences => ...) -- side-effects of a function
- document(..., Inputs => ...) -- inputs for a function
- document(..., Key => ...) -- key of a documentation node
- document(..., Outputs => ...) -- outputs for a function
- document(..., SeeAlso => ...) -- crossreferences in documentation
- document(..., Subnodes => ...) -- a menu of documentation nodes
- documentation keys
- DocumentTag -- the class of all document tags
- drop(BasicList,List)
- drop(BasicList,ZZ)
- dual -- dual module or map
- dual(ChainComplex) -- dual
- dual(ChainComplexMap) -- dual of a chain complex
- dual(CoherentSheaf) -- dual coherent sheaf
- dual(Matrix) -- dual of a map
- dual(Module) -- dual module
- dual(MonomialIdeal) -- the Alexander dual of a monomial ideal
- dual(MonomialIdeal, Strategy => ...)
- dual(MonomialIdeal,List) -- the Alexander dual
- dual(MonomialIdeal,RingElement) -- the Alexander dual
- eagonNorthcott(Matrix) -- Eagon-Northcott complex of a matrix of linear forms
- echoOff -- turn off echoing
- echoOn -- turn on echoing
- edit -- edit source code
- eigenvalues -- find eigenvalues of a matrix
- eigenvalues(..., Hermitian => ...) -- Hermitian=>true means assume the matrix is symmetric or Hermitian
- eigenvectors -- find eigenvectors of a matrix over RR or CC
- eigenvectors(..., Hermitian => ...) -- Hermitian=>true means assume the matrix is symmetric or Hermitian
- eint -- exponential integral
- elements -- list of elements
- else -- condition testing
- encapDirectory -- encapsulated installation directory
- Encapsulate -- name for an optional argument
- EncapsulateDirectory -- name for an optional argument
- End -- module of endomorphisms
- end -- stop loading a file
- endl -- end an output line
- endPackage(String) -- end a new package
- Engine -- specify whether a ring is handled by the engine
- engineDebugLevel -- current engine debugging level
- EngineRing -- the class of rings handled by the engine
- entries -- lists the entries of a matrix
- entries(Vector) -- lists the entries of a vector
- epkg
- equality and containment of modules
- Equation -- the class of all equation expressions
- erase -- remove a global symbol
- erf -- error function
- erfc -- complementary error function
- errorDepth -- set the error printing depth
- euler -- Euler characteristic
- euler(CoherentSheaf) -- Euler characteristic of coherent sheaf
- euler(Ideal) -- Euler characteristic
- euler(Module) -- Euler characteristic
- euler(ProjectiveHilbertPolynomial) -- constant term of the Hilbert polynomial
- euler(ProjectiveVariety) -- topological Euler characteristic of a (smooth) projective variety
- euler(Ring) -- Euler characteristic
- EulerConstant -- the Euler-Mascheroni constant
- eulers -- list the sectional Euler characteristics
- eulers(CoherentSheaf) -- list the sectional Euler characteristics
- eulers(Ideal) -- list the sectional Euler characteristics
- eulers(Ring) -- list the sectional Euler characteristics
- even -- tell whether an integer is even
- EXAMPLE -- hypertext EXAMPLE item
- examples -- list the examples in documentation
- Exclude -- name for an optional argument
- exp -- exponential function
- expm1 -- exponential minus 1
- exponents -- list the exponents in a polynomial
- Expression -- the class of all expressions
- expression -- convert to an expression
- Ext -- compute an Ext module
- Ext(Module,Module) -- total Ext module
- Ext^ZZ(CoherentSheaf,CoherentSheaf) -- global Ext
- Ext^ZZ(CoherentSheaf,SumOfTwists) -- global Ext
- Ext^ZZ(Matrix,Module) -- map between Ext modules
- Ext^ZZ(Module,Matrix) -- map between Ext modules
- Ext^ZZ(Module,Module) -- Ext module
- extend -- extend a module map to a chain map, if possible
- extend(ChainComplex,ChainComplex,Matrix) -- extend a module map to a chain map, if possible
- exteriorPower -- exterior power
- exteriorPower(..., Strategy => ...) -- choose between Bareiss and Cofactor algorithms
- exteriorPower(ZZ,CoherentSheaf) -- exterior power
- exteriorPower(ZZ,Matrix) -- exterior power of a matrix
- exteriorPower(ZZ,Module) -- exterior power of a module
- extracting elements
- factor -- factor a ring element or a ZZ-module
- factor(Module) -- factor a ZZ-module
- factor(RingElement) -- factor a ring element
- false
- Fano -- Fano scheme
- Fano(ZZ,Ideal) -- Fano scheme
- Fano(ZZ,Ideal,Ring) -- Fano scheme
- File -- the class of all files
- File << Thing -- print to a file
- fileDictionaries -- local dictionaries for loaded files
- fileExitHooks -- a list of hooks (functions) to execute when the current file has been loaded
- fileLength -- the length of a file
- fileMode -- set or get file mode
- fileMode(File) -- get file mode
- fileMode(String) -- get file mode
- fileMode(ZZ,File) -- set file mode
- fileMode(ZZ,String) -- set file mode
- FileName -- name for an optional argument
- FilePosition -- the class of all file positions
- fillMatrix -- fill a mutable matrix with random numbers
- finding your files under cygwin
- FindOne -- find a primitive element
- findSynonyms(Symbol) -- find synonyms of symbols
- fine control of a Groebner basis computation
- First -- name for an optional argument
- firstkey -- get the first key
- fittingIdeal -- Fitting ideal of a module
- flagLookup -- flag a symbol
- FlatMonoid
- flatten(Matrix) -- puts the columns of a matrix into a single row
- flattenRing -- write a ring as a (quotient) of a polynomial ring over ZZ or a prime field
- flip(Module,Module) -- matrix of commutativity of tensor product
- floor -- floor function
- flush -- flush output to file
- fold(Function,Thing,VisibleList)
- fold(Function,VisibleList)
- fold(VisibleList,Function)
- fold(VisibleList,Thing,Function)
- FollowLinks -- name for an optional argument
- forceGB -- declare that the columns of a matrix are a Gröbner basis
- forceGB(..., ChangeMatrix => ...) -- inform Macaulay2 about the change of basis matrix from GB to generators
- forceGB(..., MinimalMatrix => ...) -- specify the minimal generator matrix
- forceGB(..., SyzygyMatrix => ...) -- specify the syzygy matrix
- ForestNode -- a type of basic list used to represent a forest, i.e., a list of rooted trees
- Format -- name for an optional argument
- frac -- construct a fraction field
- fraction
- FractionField -- the class of all fraction fields
- frames -- get the frames associated to a closure
- from -- loop control
- fromDual -- ideal from inverse system
- Function @@ Function -- composition of functions
- Function _ Thing -- attach the first argument to a function of two or more arguments
- function documentation template
- function name documentation template
- Function Thing -- function application
- FunctionApplication -- the class of all function application expressions
- FunctionBody -- the class of function bodies
- functionBody -- get the body of a function
- FunctionClosure -- the class of all function closures
- GaloisField -- the class of all Galois fields
- Gamma -- Gamma function
- gb -- compute a Gröbner basis
- GBDegrees -- name for an optional argument
- gbRemove -- remove Gröbner basis
- gbSnapshot -- the Gröbner basis matrix as so far computed
- gbTrace -- provide tracing output during various computations in the engine.
- GC error messages
- gcd -- greatest common divisor
- gcdCoefficients -- gcd with coefficients
- genera -- list of the successive linear sectional arithmetic genera
- genera(CoherentSheaf) -- list of the successive linear sectional arithmetic genera
- genera(Ideal) -- list of the successive linear sectional arithmetic genera
- genera(ProjectiveVariety) -- list of the successive linear sectional arithmetic genera
- genera(Ring) -- list of the successive linear sectional arithmetic genera
- GeneralOrderedMonoid -- the class of all ordered free commutative monoids
- generateAssertions -- generate assert statements from experimental input
- generator -- provide a single generator
- generators -- provide matrix or list of generators
- generators of ideals and modules
- generators(GeneralOrderedMonoid) -- list of generators
- generators(GroebnerBasis) -- the generator matrix of a Gröbner basis
- generators(Ideal) -- the generator matrix of an ideal
- generators(Module) -- the generator matrix of a module
- generators(Ring) -- the list of generators of a ring
- Generic -- name for an optional argument
- genericMatrix -- make a generic matrix of variables
- genericSkewMatrix -- make a generic skew symmetric matrix of variables
- genericSymmetricMatrix -- make a generic symmetric matrix
- genus -- arithmetic genus
- genus(CoherentSheaf) -- arithmetic genus
- genus(ProjectiveVariety) -- arithmetic genus
- genus(Ring) -- arithmetic genus
- get -- get the contents of a file
- getc -- get a byte
- getChangeMatrix -- get the change of basis matrix
- getGlobalSymbol -- create a global symbol in a global dictionary
- getNetFile -- get the sequence of completed lines (nets) from a net file
- getNonUnit -- retrieve a previously discovered non-unit
- getSymbol -- make a global symbol from a string
- getWWW -- get a web page
- GF -- make a finite field
- global -- get a global symbol
- globalAssign -- global assignment, in function form
- globalAssignFunction -- the standard method for the global assignment hook
- GlobalAssignHook -- hook for assignment to global variables
- globalAssignment -- install standard global assignment method
- globalAssignmentHooks -- assignment hooks for global symbols
- GlobalDictionary -- the class of all global dictionaries
- globalReleaseFunction -- the standard method for the global variable release hook
- GlobalReleaseHook
- graded modules
- GradedModule -- the class of all graded modules
- gradedModule -- make a graded module
- GradedModule ** ChainComplex -- tensor product
- GradedModule ** GradedModule -- a binary operator, usually used for tensor product or Cartesian product
- GradedModule ** Module -- a binary operator, usually used for tensor product or Cartesian product
- GradedModule Array -- degree shift
- GradedModuleMap -- the class of all maps between graded modules
- gradedModuleMap -- make a map of graded modules
- GradedModuleMap | GradedModuleMap -- a binary operator, often used for horizontal concatenation
- GradedModuleMap || GradedModuleMap -- a binary operator, often used for vertical concatenation
- Grassmannian(ZZ,ZZ) -- the Grassmannian of linear subspaces of a vector space
- GroebnerBasis -- the class of all Gröbner bases
- groebnerBasis -- Gröbner basis, as a matrix
- GroebnerBasisOptions
- groupID -- the process group identifier
- handleInterrupts
- handling hypertext
- HardDegreeLimit -- compute only up to this degree
- hash -- hash code of an object
- HashTable # Thing -- get value from hash table
- HashTable #? Thing -- check for value in hash table
- HeaderType -- a class of lists with abbreviated constructors
- Heading -- name for an optional argument
- Headline -- make a headline for a documentation node
- Heft -- name for an optional argument
- heft -- heft vector of ring, module, graded module, or resolution
- heft vectors
- Height -- name for an optional argument
- height -- height of a net
- height(File) -- get window height
- help -- help command
- Hermitian -- name for an optional argument
- HH -- general homology and cohomology functor
- hh -- Hodge numbers of a smooth projective variety
- HH ChainComplex -- homology of a chain complex
- HH ChainComplexMap -- homology of a chain complex map
- HH^ZZ ChainComplex -- cohomology of a chain complex
- HH^ZZ ChainComplexMap -- cohomology of a chain complex map
- HH^ZZ CoherentSheaf -- cohomology of a coherent sheaf on a projective variety
- HH^ZZ Module -- local cohomology of a module
- HH^ZZ SheafOfRings -- cohomology of a sheaf of rings on a projective variety
- HH^ZZ SumOfTwists -- coherent sheaf cohomology module
- HH_ZZ ChainComplex -- homology of a chain complex
- HH_ZZ ChainComplexMap -- homology of a chain complex map
- HH_ZZ Sequence
- Hilbert -- name for an optional argument
- hilbertFunction -- the Hilbert function
- hilbertPolynomial -- compute the Hilbert polynomial
- hilbertPolynomial(..., Projective => ...) -- choose how to display the Hilbert polynomial
- hilbertPolynomial(CoherentSheaf) -- compute the Hilbert polynomial of the coherent sheaf
- hilbertPolynomial(Ideal) -- compute the Hilbert polynomial of the quotient of the ambient ring by the ideal
- hilbertPolynomial(Module) -- compute the Hilbert polynomial of the module
- hilbertPolynomial(ProjectiveVariety) -- compute the Hilbert polynomial of the projective variety
- hilbertPolynomial(Ring) -- compute the Hilbert polynomial of the ring
- hilbertSeries -- compute the Hilbert series
- hilbertSeries(..., Order => ...) -- display the truncated power series expansion
- hilbertSeries(..., Reduce => ...) -- reduce the Hilbert series
- hilbertSeries(Ideal) -- compute the Hilbert series of the quotient of the ambient ring by the ideal
- hilbertSeries(Module) -- compute the Hilbert series of the module
- hilbertSeries(PolynomialRing) -- compute the Hilbert series of a ring
- hilbertSeries(ProjectiveHilbertPolynomial) -- compute the Hilbert series of a projective Hilbert polynomial
- hilbertSeries(ProjectiveVariety) -- compute the Hilbert series of a projective variety
- hold -- hold something in a holder expression
- Holder -- the class of all holder expressions
- Hom -- module of homomorphisms
- Hom(CoherentSheaf,CoherentSheaf) -- global Hom
- Hom(Matrix,Module) -- induced map on Hom modules
- Hom(Module,ChainComplex)
- Hom(Module,Module) -- module of homomorphisms
- homeDirectory -- the home directory of the user
- Homogeneous
- homogenize -- homogenize with respect to a variable
- homology -- general homology functor
- homology(Matrix,Matrix) -- homology of a pair of maps
- homomorphism -- get the homomorphism from element of Hom
- homomorphisms (maps) between modules -- including elements of modules
- HorizontalSpace -- name for an optional argument
- html -- convert hypertext to html format
- httpHeaders(String) -- prepend http headers to a string
- hypertext -- prepare hypertext for display
- hypertext list format
- id -- identity map
- Ideal -- the class of all ideals
- ideal -- make an ideal
- Ideal * Ideal -- product of ideals
- Ideal + Ideal -- sum of ideals
- Ideal / Function -- apply a function to generators of an ideal
- Ideal / Ideal -- quotient module
- Ideal ^ ZZ -- power
- Ideal _* -- get the list of generators of an ideal
- ideal(List) -- make an ideal
- ideal(Matrix) -- make an ideal
- ideal(Module) -- converts a module to an ideal
- ideal(MonomialIdeal) -- converts a monomial ideal to an ideal
- ideal(Ring) -- returns the defining ideal
- ideal(RingElement) -- make an ideal
- ideal(Variety) -- returns the defining ideal
- identity -- the identity function
- if -- condition testing
- IgnoreExampleErrors -- name for an optional argument
- ii -- the square root of -1
- image -- image of a map
- imaginaryPart -- imaginary part
- ImmutableType -- the class of immutable types
- in -- a keyword used in for-loops
- incomparable -- a result indicating incomparability
- independentSets -- some size-maximal independent subsets of variables modulo an ideal
- indeterminate -- an indeterminate number
- IndeterminateNumber -- the class of all indeterminate numbers
- index -- numeric index of a ring variable
- indexComponents -- specify keys for components of a direct sum
- IndexedVariable -- the class of all indexed variables
- IndexedVariable .. IndexedVariable -- sequences of consecutive indexed variables
- IndexedVariable ..< IndexedVariable -- sequences of consecutive indexed variables
- IndexedVariable _ Ring -- get a ring variable by name
- IndexedVariableTable
- indices -- indices of a polynomial; also components for a direct sum
- indices(HashTable) -- preferred indices of a direct sum
- indices(RingElement) -- indices of variables occurring in a polynomial
- inducedMap -- compute an induced map
- inducedMap(..., Degree => ...) -- specify the degree of a map
- inducedMap(..., Verify => ...)
- inducedMap(Module,Module) -- compute the map induced by the identity
- inducedMap(Module,Module,Matrix) -- compute the induced map
- inducesWellDefinedMap -- whether a map is well defined
- InexactField -- the class of inexact fields
- InexactFieldFamily -- the class of all families of inexact fields
- InexactNumber
- InexactNumber'
- InfiniteNumber -- the class of all infinite numbers
- infinity -- infinity
- info -- convert hypertext to info format
- infoHelp -- view online doc with info
- information about a map of modules
- Inhomogeneous
- initial help
- insert(ZZ,Thing,VisibleList) -- copy a list, inserting an element
- installAssignmentMethod -- install methods assignment to the value of an operator
- installHilbertFunction -- install a Hilbert function without computation
- installMethod -- install methods
- InstallPrefix -- name for an optional argument
- instances(Type)
- integrate -- numerical integration
- interpreterDepth -- nesting depth of the interpreter
- intersect -- compute an intersection
- Intersection -- value for an optional argument
- inverse -- compute the inverse
- inverse systems
- inverse(Matrix) -- compute the inverse
- InverseMethod -- compute reciprocals
- inversePermutation -- inverse permutation
- Inverses -- name for an optional argument
- Invoking the program
- irreducibleCharacteristicSeries -- irreducible characteristic series of an ideal
- isAffineRing -- whether something is an affine ring
- isANumber -- whether a number is a number
- isBorel -- whether an ideal is fixed by upper triangular changes of coordinates
- isCommutative -- whether a ring is commutative
- isConstant -- whether a ring element is constant
- isDirectSum -- whether something is a direct sum
- isField -- whether something is a field
- isFinite -- whether a number is finite
- isFreeModule -- whether something is a free module
- isGlobalSymbol -- whether a global symbol with a given name exists
- isHomogeneous -- whether something is homogeneous (graded)
- isIdeal -- whether something is an ideal
- isInfinite -- whether a number is infinite
- isInjective -- whether a map is injective
- isInputFile(File) -- whether a file is open for input
- isIsomorphism -- whether a map is an isomorphism
- isListener(File) -- whether a file is open for listening
- isModule -- whether something is a module
- isMonomialIdeal -- whether something is a monomial ideal
- isOpen -- whether a file or database is open
- isOutputFile(File) -- whether a file is open for output
- isPolynomialRing -- whether someting is a polynomial ring
- isPrime -- whether a integer, polynomial, or ideal is prime
- isPrimitive -- whether an element is a primitive element of a finite field
- isPseudoprime(ZZ) -- whether an integer is a pseudoprime
- isQuotientModule -- whether something is evidently a quotient of a free module
- isQuotientOf -- whether one thing is a quotient of another
- isQuotientOf(Ring,Ring) -- whether one ring is a quotient of another
- isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type
- isQuotientRing -- whether something is a quotient ring
- isReady(File) -- whether a file has data available for reading
- isReal -- whether a number is real
- isRing -- whether something is a ring
- isSkewCommutative -- whether a ring has skew commuting variables
- isSorted(VisibleList) -- whether a list is sorted
- isSquareFree -- whether something is square free monomial ideal
- isSubmodule -- whether a module is evidently a submodule of a free module
- isSubquotient(Module,Module) -- check whether a module is a subquotient of another
- isSubset -- whether one object is a subset of another
- isSubset(Ideal,Ideal) -- whether one object is a subset of another
- isSubset(Module,Module) -- whether one object is a subset of another
- isSubset(Set,Set) -- whether one object is a subset of another
- isSurjective -- whether a map is surjective
- isTable -- whether something is a rectangular list of lists
- isUnit -- whether a ring element is a unit
- isWellDefined -- whether a map is well defined
- Iterate -- a Strategy option value for saturate
- jacobian -- the Jacobian matrix of partial derivatives
- jacobian(Ideal) -- the Jacobian matrix of the generators of an ideal
- jacobian(Matrix) -- the matrix of partial derivatives of polynomials in a matrix
- jacobian(Ring) -- the Jacobian matrix of the polynomials defining a quotient ring
- Join -- name for an optional argument
- KeepZeroes -- name for an optional argument
- kernel -- kernel of a ringmap, matrix, or chain complex
- kernel(..., SubringLimit => ...)
- kernel(ChainComplexMap) -- kernel of a chain complex map
- kernel(Matrix) -- kernel of a matrix
- kernel(RingMap) -- kernel of a ringmap
- keys(HashTable) -- keys used in a hash table
- Keyword -- the class of all keywords
- kill -- kill a process
- koszul -- Koszul complex or specific matrix in the Koszul complex
- koszul(Matrix) -- the Koszul complex
- koszul(ZZ,Matrix) -- a differential in a Koszul complex
- lcm -- least common multiple
- lcm(MonomialIdeal) -- least common multiple of all minimal generators
- leadCoefficient -- the leading coefficient
- leadComponent -- the leading component of a vector or matrix
- leadMonomial -- the leading monomial
- leadTerm -- get the greatest term
- leadTerm(Ideal) -- get the ideal of greatest terms
- leadTerm(Matrix) -- get the greatest term of each column
- leadTerm(RingElement) -- get the greatest term
- leadTerm(ZZ,Ideal) -- get the ideal of lead polynomials
- leadTerm(ZZ,Matrix) -- get the matrix of lead polynomials of each column
- leadTerm(ZZ,RingElement) -- get the lead polynomials using part of the monomial order
- Left -- value for an optional argument
- left shift
- length -- length
- length(ChainComplex) -- length of a chain complex or graded module
- length(Dictionary) -- length of a dictionary
- length(GradedModule) -- length of a graded module
- length(Module) -- length
- length(String) -- length of a string
- length(VisibleList) -- length of a visible list
- LengthLimit -- stop when the resolution reaches this length
- lift -- lift to another ring
- liftable -- whether lifting to another ring is possible
- Limit -- name for an optional argument
- Linear -- a Strategy option value for saturate
- lineNumber -- current line number
- list -- loop control
- List + List -- sum of two vectors
- List - List -- difference of two vectors
- List .. List -- rectangular sequences of consecutive lists and sequences
- List ..< List -- rectangular sequences of consecutive lists and sequences
- List / Thing -- vector division
- listForm -- convert to list form
- listLocalSymbols -- display of local symbols and their values
- listSymbols -- compact display of symbols and their values
- listUserSymbols -- display the user's symbols
- lngamma -- logarithm of the Gamma function
- loadDepth -- the load depth
- LoadDocumentation -- when loading a package, load the documentation, too
- loadedFiles
- Local -- name for an optional argument
- local -- get a local symbol
- localDictionaries -- get local dictionaries
- LocalDictionary -- the class of all local dictionaries
- locate -- locate source code
- log -- logarithm function
- log1p -- logarithm of 1+x
- LongPolynomial
- lookup -- look up methods
- lookupCount -- reference count for a symbol
- LowerBound -- the class of lower bound objects
- LUdecomposition -- LU decomposition
- MakeDocumentation -- name for an optional argument
- makeDocumentTag -- convert a documentation key to a documentation tag
- MakeInfo -- name for an optional argument
- MakeLinks -- name for an optional argument
- makePackageIndex
- making modules from matrices
- manipulating modules
- Manipulator -- the class of all file manipulators
- map -- make a map
- map(Module,Module,Function) -- create a matrix by specifying a function that gives each entry
- map(Module,Module,List) -- create a matrix by giving a sparse or dense list of entries
- map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
- map(Module,Module,Matrix) -- create the matrix induced on generators by a given matrix
- map(Module,ZZ,Function) -- create a matrix from a free module by specifying a function that gives each entry
- map(Module,Nothing,List) -- create a matrix by giving a doubly nested list of ring elements
- map(Module,ZZ,List) -- create a matrix by giving a sparse or dense list of entries
- map(Module,Nothing,Matrix) -- recast a matrix to have a new target, and a free module as source
- map(Matrix) -- make a matrix with a different degree
- map(Module,Module,RingMap,Matrix) -- homomorphism of modules over different rings
- map(Ring,Ring) -- make a ring map, using the names of the variables
- map(Ring,Ring,List) -- make a ring map
- map(Ring,Ring,Matrix) -- make a ring map
- map(ChainComplex,ChainComplex,ChainComplexMap)
- map(ChainComplex,ChainComplex,Function) -- make a map of chain complexes
- map(..., Degree => ...) -- set the degree of a map
- map(Module) -- identity map
- map(Ring,Matrix) -- make a ring map
- maps between modules
- markedGB(Matrix,Matrix) -- make a marked Gröbner basis
- mathML -- convert to MathML format
- Matrix -- the class of all matrices
- matrix -- make a matrix
- Matrix % GroebnerBasis -- calculate the normal form of ring elements and matrices using a (partially computed) Gröbner basis
- Matrix * Matrix -- matrix multiplication
- Matrix ** Matrix -- tensor product
- Matrix ** Module -- tensor product
- Matrix ** Ring -- tensor product
- Matrix ** RingElement -- a binary operator, usually used for tensor product or Cartesian product
- Matrix ++ Matrix -- direct sum of maps
- Matrix // Matrix -- factor a map through another
- Matrix ^ Array -- component of map corresponding to summand of target
- Matrix ^ List -- select rows
- Matrix ^ ZZ -- power
- Matrix _ Array -- component of map corresponding to summand of source
- Matrix _ List -- select columns
- Matrix _ Sequence -- get entry of matrix
- Matrix | Matrix -- join matrices horizontally
- Matrix || Matrix -- join matrices vertically
- matrix(List) -- create a matrix from a doubly-nested list of ring elements or matrices
- matrix(Matrix) -- the matrix between generators
- matrix(MutableMatrix) -- make a matrix from a mutable one
- matrix(Ring,List) -- create a matrix from a doubly nested list of ring elements or matrices
- matrix(RingMap) -- the matrix associated to a ring map
- matrix(Vector)
- MatrixExpression -- the class of all matrix expressions
- max -- maximum of elements of a list
- max(GradedModule) -- maximum of elements of a list
- maxExponent
- MaximalRank -- name for an optional argument
- maxPosition -- position of largest element
- MaxReductionCount -- name for an optional argument
- member -- test membership in a list or set
- memoize -- record results of function evaluation for future use
- mergePairs -- merge sorted lists of pairs
- MethodFunction -- a type of method function
- MethodFunctionWithOptions -- a type of method function
- methodOptions(Function) -- recover the options used when a method function was created
- methods -- list methods
- methods for normal forms and remainder -- calculate the normal form of ring elements and matrices
- min -- minimum of elements of a list
- min(GradedModule) -- minimum of elements of a list
- minExponent
- mingens -- minimal generator matrix
- mingens(GroebnerBasis) -- (partially constructed) minimal generator matrix
- mingens(Module) -- minimal generator matrix
- minimal presentations and generators
- MinimalGenerators
- MinimalMatrix -- name for an optional argument
- minimalPresentation -- compute a minimal presentation
- minimalPresentation(Ideal) -- compute a minimal presentation of the quotient ring defined by an ideal
- minimalPresentation(Matrix) -- minimally present source and target of a matrix
- minimalPresentation(Module) -- minimal presentation of a module
- minimalPresentation(Ring) -- compute a minimal presentation of a quotient ring
- minimalPrimes -- minimal associated primes of an ideal
- Minimize -- name for an optional argument
- minimizeFilename -- minimize a file name
- minors(..., Strategy => ...) -- choose between Bareiss and Cofactor algorithms
- minors(ZZ,Matrix) -- ideal generated by minors
- minPosition -- position of smallest element
- Minus -- the class of all minus expressions
- minus -- additive inverse
- mod -- reduce modulo an integer
- Module -- the class of all modules
- module -- make or get a module
- Module ** Module -- tensor product
- Module ** Ring -- tensor product
- Module + Module -- sum of submodules
- Module ++ Module -- direct sum of modules
- Module / Module -- quotient module
- Module ^ Array -- projection onto summand
- Module ^ List -- projection onto summand
- Module ^ ZZ -- direct sum
- Module ^** ZZ -- tensor power
- Module _ Array -- inclusion from summand
- Module _ List -- map from free module to some generators
- Module Array -- make a chain complex from a module
- module(CoherentSheaf) -- get the module defining a coherent sheaf
- module(Ideal) -- turn an ideal into a module
- module(Ring)
- module(SheafOfRings) -- make or get a module
- module(Vector) -- the module of a vector
- ModuleMap -- the class of all maps between modules
- modulo(Matrix,Matrix) -- find the pre-image (pullback) of image of a map (low level version)
- Monoid -- the class of all monoids
- Monoid ** Monoid -- tensor product of monoids
- MonoidElement -- the class of all monoid elements
- Monomial -- name for an optional argument
- monomialCurveIdeal -- make the ideal of a monomial curve
- MonomialIdeal -- the class of all monomial ideals handled by the engine
- monomialIdeal -- make a monomial ideal
- MonomialIdeal - MonomialIdeal -- monomial ideal difference
- monomialIdeal(Ideal) -- monomial ideal of lead monomials of a Gröbner basis
- monomialIdeal(Matrix) -- monomial ideal of lead monomials
- Monomials -- whether to display the number of monomial
- monomials -- matrix of monomials in a ring element or matrix
- monomials(..., Variables => ...) -- specify variables
- MonomialSize -- name for an optional argument
- monomialSubideal -- find the largest monomial ideal in an ideal
- multidegree -- multidegree
- mutable matrices
- mutableIdentity(Ring,ZZ) -- make a mutable identity matrix
- MutableList -- the class of all mutable lists
- MutableMatrix -- the class of all mutable matrices
- mutableMatrix -- make a mutable matrix
- MutableMatrix _ Sequence = Thing -- assignment to an element of a mutable matrix
- mutableMatrix(Ring,ZZ,ZZ) -- make a mutable matrix filled with zeroes
- net -- format for printing, as a net
- Net ^ ZZ -- raise a net or string
- Net | Net -- join strings or nets
- Net || Net -- join nets or strings vertically
- net(String) -- convert a string to a net
- NetFile -- the class of all net files
- netList(VisibleList) -- a table of boxes
- new ChainComplex -- make a new chain complex from scratch
- new HashTable from List -- make a hash table from a list
- newCoordinateSystem -- change variables
- NewFromMethod
- newline -- the new line character sequence
- NewMethod
- newNetFile -- create a new net file
- NewOfFromMethod
- NewOfMethod
- newRing -- make a copy of a ring, with some features changed
- nextkey -- the next key in a database
- NonAssociativeProduct -- the class of all nonassociative product expressions
- NoPrint -- top level method for non-printing results
- norm
- not documented yet
- Nothing -- the empty class
- notify -- whether to notify the user when a file is loaded
- notImplemented -- print an 'not implemented' error message
- null -- the unique member of the empty class
- nullaryMethods
- nullhomotopy -- make a null homotopy
- Number -- the class of all numbers
- number -- count how many elements of a list satisfy a condition
- numColumns(Matrix) -- number of columns in a matrix or mutable matrix
- numerator -- numerator of a fraction
- numeric -- convert to floating point
- numgens -- the number of generators
- numgens(CoherentSheaf) -- the number of generators of the underlying module
- numgens(GeneralOrderedMonoid) -- number of generators of a monoid
- numgens(Ideal) -- number of generators of an ideal
- numgens(Module) -- number of generators of a module
- numgens(Ring) -- number of generators of a polynomial ring
- numRows(Matrix) -- number of rows in a matrix or mutable matrix
- odd -- tell whether an integer is odd
- of -- a keyword
- ofClass -- English phrases for types
- on -- trace a function each time it's run
- OneExpression -- the class all one expressions
- oo -- the last output value
- OO _ Variety -- the structure sheaf
- ooo -- the next to the last output value
- oooo -- the third to the last output value
- openDatabase -- open a database file
- openDatabaseOut -- open a database file for writing
- openFiles -- list the open files
- openIn(String) -- open an output file
- openInOut -- open an input output file
- openListener(String) -- open a port for listening
- openOut(String) -- open an output file
- openOutAppend(String) -- open an output file for appending
- Option -- the class of all pairs x => y
- optional argument documentation template
- optional argument name documentation template
- Options -- name for an optional argument
- options -- get options
- options(Function) -- get optional arguments and default values for a function that accepts them
- options(Monoid) -- get values used for optional arguments
- options(Package)
- options(Ring) -- get values used for optional arguments
- OptionTable -- the class of hash tables for optional arguments
- OptionTable ++ OptionTable
- OptionTable >> Function -- attaching options to a function
- Order -- specify the order of a Hilbert series required
- order -- a key used internally
- OrderedMonoid -- the class of all ordered monoids
- OutputDictionary -- the dictionary for output values
- override -- override default values for optional arguments
- overview documentation template
- Package -- the class of all packages
- package -- get containing package
- package documentation template
- PackageDictionary -- the dictionary for names of packages
- PackagePrefix -- name for an optional argument
- pad -- pad a string with spaces
- pager -- display with paging
- PairLimit -- name for an optional argument
- PairsRemaining -- whether to display the number of S-pairs remaining
- Parenthesize
- parsing precedence, in detail
- part -- select terms of a polynomial by degree or weight
- part(List,RingElement) -- sum of terms of a polynomial of a given degree(s)
- part(ZZ,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree or weight
- Partition -- a type of list representing a partition of a natural number
- partition -- partition a set or list by values of a function
- Partition _ ZZ -- get element
- partitions -- list the partitions of an integer
- partitions(ZZ) -- list the partitions of an integer
- partitions(ZZ,ZZ) -- list the partitions of an integer
- parts(RingElement) -- display a polynomial degree by degree
- pdim -- calculate the projective dimension
- pdim(CoherentSheaf) -- calculate the projective dimension
- pdim(Module) -- calculate the projective dimension of a module
- peek -- examine contents of an object
- peek'(ZZ,Thing) -- examine contents of an object
- permanents -- ideal generated by square permanents of a matrix
- permutations -- produce all permutations of a list
- pfaffians -- ideal generated by Pfaffians
- pi
- pivots(Matrix) -- list of pivot locations of a matrix
- plus -- addition
- poincare -- assemble degrees into polynomial
- poincare(ChainComplex) -- assemble degrees of a chain complex into a polynomial
- poincare(Ideal) -- assemble degrees of the quotient of the ambient ring by an ideal into a polynomial
- poincare(Module) -- assemble degrees of an module into a polynomial
- poincare(Ring) -- assemble degrees of an ring into a polynomial
- poincareN -- assemble degrees into polynomial
- PolynomialRing -- the class of all ordered monoid rings
- position(..., Reverse => ...) -- search the list in reverse order
- position(VisibleList,VisibleList,Function) -- find first element of a list satisfying a condition
- Power -- the class of all power expressions
- power -- power
- powermod -- powers of integers mod N
- powers
- precision
- prefixPath -- absolute locations of Macaulay2 files
- preimage -- preimage of an ideal under a ring map
- prepend(Thing,BasicList) -- add an element to the beginning of a list
- presentation -- presentation of a module or ring
- presentation(Module) -- presentation of a module
- presentation(PolynomialRing,QuotientRing) -- presentation of a quotient ring
- pretty -- a pretty printer
- PrimaryTag -- for internal use only: a symbol used in storing documentation
- PrimitiveElement -- specify a primitive element
- Print -- top level method for printing results
- print -- print something
- printingAccuracy -- current accuracy for printing numbers
- printingLeadLimit -- maximum number of leading zeroes to use when printing real numbers
- printingPrecision -- current precision for printing numbers
- printingSeparator -- string used to separate mantissa from exponent when printing real numbers
- printingTimeLimit
- printingTrailLimit -- maximum number of additional trailing digits to use when printing real numbers
- printString -- lowlevel function to print a string, net, or symbol
- printWidth
- Product -- the class of all product expressions
- product
- product(List) -- product of elements
- product(Set) -- product of elements
- product(Tally) -- product of elements
- product(VisibleList,Function) -- product of values of a function
- product(VisibleList,VisibleList,Function) -- product of results of applying a function pairwise
- product(ZZ,Function) -- product of consecutive values of a function
- ProductOrder -- product ordering
- profile -- profile a function
- profileSummary -- display profiling data
- Proj(Ring) -- make a projective variety
- Projective -- whether to produce a projective Hilbert polynomial
- ProjectiveHilbertPolynomial -- the class of all Hilbert polynomials
- projectiveHilbertPolynomial -- Hilbert polynomial of projective space
- ProjectiveHilbertPolynomial ZZ -- value of polynomial
- ProjectiveVariety -- the class of all projective varieties
- promote -- promote to another ring
- protect -- protect a symbol
- prune -- prune, e.g., compute a minimal presentation
- pruningMap
- Pseudocode -- the class of pseudocodes
- pseudocode -- produce the pseudocode for a function
- pseudoRemainder -- compute the pseudo-remainder
- pushForward(RingMap,Module)
- PushforwardComputation -- a type of list used internally
- QQ -- the class of all rational numbers
- Quotient -- value for an optional argument
- quotient -- quotient or division
- quotient' -- matrix quotient (opposite)
- quotient(..., BasisElementLimit => ...)
- quotient(..., DegreeLimit => ...)
- quotient(..., MinimalGenerators => ...) -- Decides whether quotient computes and outputs a trimmed set of generators; default is true
- quotient(..., PairLimit => ...)
- quotient(..., Strategy => ...) -- Possible strategies are: Iterate, Linear, and Quotient
- quotient(Ideal,Ideal) -- ideal or submodule quotient
- quotient(Matrix,GroebnerBasis) -- matrix quotient
- quotientRemainder -- matrix quotient and remainder
- quotientRemainder' -- matrix quotient and remainder (opposite)
- quotientRemainder(RingElement,RingElement) -- quotient and remainder
- QuotientRing -- the class of all quotient rings
- radical -- the radical of an ideal
- random -- get a random element
- random(List) -- shuffle a list randomly
- random(Module,Module) -- make a random module map
- random(RR) -- random real number
- random(RR,RR) -- random real number
- random(Type) -- random element of a type
- random(ZZ) -- random integer
- random(ZZ,ZZ) -- random integer in a range
- randomMutableMatrix(ZZ,ZZ,RR,ZZ) -- a random mutable matrix of integers
- rank -- compute the rank
- read -- read from a file
- read(File) -- read from a file
- read(File,ZZ) -- read from a file
- read(Sequence) -- read from a file
- read(String) -- read from a file
- RealField -- the class of all real fields
- realPart -- real part
- recursionDepth -- the current recursion depth
- recursionLimit -- set the limit on recursion
- Reduce -- name for an optional argument
- reduceHilbert -- reduce a Hilbert series expression
- registerFinalizer -- register a string that will be displayed when an object is garbage collected
- regularity -- compute the Castelnuovo-Mumford regularity
- regularity(..., Weights => ...)
- relations -- the defining relations
- relativizeFilename -- relativize a file name
- remainder -- matrix remainder
- remainder' -- matrix quotient and remainder (opposite)
- RemakeAllDocumentation -- name for an optional argument
- removeHook -- remove a hook function from an object
- removeHook(HashTable,Thing,Function) -- remove a hook function from an object
- removeHook(Symbol,Function) -- remove a hook function from an object
- removeLowestDimension -- remove components of lowest dimension
- reorganize -- reorganize a database file
- replace(String,String,String) -- regular expression replacement of substrings
- replace(ZZ,Thing,VisibleList) -- copy a list, replacing an element
- RerunExamples -- name for an optional argument
- reshape(Module,Module,Matrix) -- reshape a matrix
- Resolution -- the class of all resolution computations
- resolution -- projective resolution
- resolution(..., DegreeLimit => ...) -- compute only up to this degree
- resolution(..., HardDegreeLimit => ...)
- resolution(..., LengthLimit => ...) -- stop when the resolution reaches this length
- resolution(..., PairLimit => ...) -- stop when this number of pairs has been handled
- resolution(..., SortStrategy => ...)
- resolution(..., StopBeforeComputation => ...) -- whether to stop the computation immediately
- resolution(..., Strategy => ...)
- resolution(..., SyzygyLimit => ...) -- stop when this number of syzygies are obtained
- resolution(Ideal) -- compute a projective resolution of (the quotient ring corresponding to) an ideal
- resolution(Matrix) -- given a module map represented by a matrix, produce a comparison map between resolutions of its source and target
- resolution(Module) -- compute a projective resolution of a module
- Result -- name for an optional argument
- return -- return from a function
- returnCode
- Reverse -- name for an optional argument
- Right -- value for an optional argument
- right shift
- Ring -- the class of all rings
- ring -- get the associated ring of an object
- Ring ** Ring -- tensor product
- Ring / Ideal -- make a quotient ring
- Ring ^ List -- make a free module
- Ring ^ ZZ -- make a free module
- Ring _ List -- make a monomial from a list of exponents
- Ring _ String -- get a ring variable by name
- Ring _ ZZ -- get a ring variable by index
- Ring Array -- the standard way to make a polynomial ring
- Ring List -- make a local polynomial ring
- Ring OrderedMonoid -- make a polynomial ring
- RingElement -- the class of all ring elements handled by the engine
- RingElement .. RingElement -- a sequence of consecutive generators of a polynomial ring
- RingElement ..< RingElement -- a sequence of consecutive generators of a polynomial ring
- RingElement / RingElement -- fraction
- RingElement ^ ZZ -- power
- RingElement Array -- substitution of variables
- RingFamily
- RingFamily _* -- a unary postfix operator, used for indicating pushforward maps
- RingMap -- the class of all ring maps
- RingMap ** Matrix -- tensor product of a module map via a ring map
- RingMap ** Module -- tensor product of a module via a ring map
- RingMap RingElement -- apply a ring map
- rootPath
- rootURI
- rotate(ZZ,VisibleList) -- rotate a list
- round -- round a number
- row and column operations
- rowAdd -- add a multiple of one row to another
- RowExpression -- the class of all matrix expressions
- rowMult -- multiply a row by a ring element
- rowPermute -- permute some rows
- rowSwap -- interchange rows
- RR -- the class of all real numbers
- rsort(..., DegreeOrder => ...) -- specify Ascending, Descending, or null
- rsort(..., MonomialOrder => ...) -- specify Ascending or Descending monomial order
- RunExamples -- name for an optional argument
- runHooks -- run the hook functions stored in an object
- runHooks(HashTable,Thing,Thing) -- run the hook functions stored in an object
- runHooks(Symbol,Thing) -- run the hook functions stored in an object
- runLengthEncode(VisibleList) -- run length encoding
- same -- whether everything in a list is the same
- saturate -- saturation of ideal or submodule
- saturate(..., BasisElementLimit => ...)
- saturate(..., DegreeLimit => ...)
- saturate(..., MinimalGenerators => ...) -- whether to compute minimal generators
- saturate(..., PairLimit => ...)
- saturate(..., Strategy => ...)
- scan -- apply a function to each element
- scan(ZZ,Function) -- apply a function to 0 .. n-1
- scanKeys -- apply a function to each key in a hash table or database
- scanLines -- apply a function to each line of a file
- scanPairs -- apply a function to pairs in a hash table
- scanPairs(HashTable,Function) -- apply a function to pairs in a hash table
- scanValues -- apply a function to each value in a hash table
- schreyerOrder -- create or obtain free modules with Schryer monomial orders
- schreyerOrder(Matrix) -- create a matrix with the same entries whose source free module has a Schreyer monomial order
- schreyerOrder(Module) -- obtain Schreyer order information
- Schubert(ZZ,ZZ,VisibleList) -- find the Pluecker ideal of a Schubert variety
- scriptCommandLine -- the command line arguments to be used when running a script
- ScriptedFunctor -- the class of all scripted functors
- searchPath(List,String) -- search a path for a file
- sec -- secant
- sech -- hyperbolic secant
- seeParsing -- display parsing precedence table for Macaulay2 operators
- select -- select from a list, hash table, or string
- select(HashTable,Function) -- select part of a hash table
- select(ZZ,HashTable,Function) -- select a limited number of pairs from a hash table
- selectInSubring -- select columns in a subring
- selectVariables(List,PolynomialRing) -- make a subring of a polynomial ring generated by selected variables
- SelfInitializingType -- the class of all self initializing types
- SeparateExec -- name for an optional argument
- separateRegexp -- separate a string into pieces, with separators determined by a regular expression
- separateRegexp(String,String) -- separate a string into pieces, with separators determined by a regular expression
- separateRegexp(String,ZZ,String) -- separate a string into pieces, with separators determined by a regular expression
- Set -- the class of all sets
- set -- make a set
- Set #? Thing -- test set membership
- Set * Set -- intersection of sets
- Set ** Set -- Cartesian product
- Set + Set -- set union
- Set - Set -- set difference
- setGroupID -- set the process group identifier
- setRandomSeed -- set starting point for random number generator
- setRandomSeed() -- set starting point for random number generator
- setRandomSeed(String) -- set starting point for random number generator
- setRandomSeed(ZZ) -- set starting point for random number generator
- setup
- setupEmacs
- sheaf -- make a coherent sheaf
- sheaf(Module) -- make a coherent sheaf
- sheaf(Ring) -- make a coherent sheaf of rings
- sheaf(Variety) -- make a coherent sheaf
- sheaf(Variety,Module) -- make a coherent sheaf
- sheaf(Variety,Ring) -- make a coherent sheaf of rings
- sheafExt^ZZ(CoherentSheaf,CoherentSheaf) -- sheaf Ext of coherent sheaves
- sheafHom(CoherentSheaf,CoherentSheaf) -- sheaf Hom
- SheafOfRings -- the class of sheaves of rings
- SheafOfRings ^ List -- make a graded free coherent sheaf
- shield -- shield evaluation from interrupts
- show -- display various TeX, hypertext, or a URL, in an external application
- showClassStructure -- display class structure
- showHtml -- convert hypertext to html and display with a browser
- showStructure -- display parent structure
- showTex -- convert to TeX and display on screen
- showUserStructure -- show parent structure for those types defined by user
- sin -- compute the sine
- singularLocus -- singular locus
- sinh -- compute the hyperbolic sine
- size -- the size of an object
- size2 -- number of binary digits to the left of the point
- SizeLimit -- name for an optional argument
- smithNormalForm(Matrix) -- smith normal form for a matrix over ZZ or a PID
- solve -- solve a linear equation
- someTerms -- select some terms of a polynomial
- Sort
- sort(..., DegreeOrder => ...) -- specify Ascending, Descending, or null
- sort(..., MonomialOrder => ...) -- specify Ascending or Descending monomial order
- sort(List) -- sort a list
- sort(Matrix) -- sort the columns of a matrix
- sortColumns -- permutation giving sort order
- sortColumns(..., DegreeOrder => ...) -- specify Ascending, Descending, or null
- sortColumns(..., MonomialOrder => ...) -- specify Ascending or Descending monomial order
- SortStrategy -- specify a strategy for sorting S-pairs
- source -- source of a map
- source(ChainComplexMap) -- find the source of a map of chain complexes
- source(GradedModuleMap) -- find the source of a map of graded modules
- source(Matrix) -- find the source module of matrix
- source(RingMap) -- find the source ring for a map of rings
- SourceCode -- name for an optional argument
- SourceRing -- name for an optional argument
- SparseMonomialVectorExpression -- the class of all sparse monomial vector expressions
- SparseVectorExpression -- the class of all sparse vector expressions
- Spec(Ring) -- make an affine variety
- specifying typical values
- splice -- remove subsequences
- sqrt -- square root function
- Standard -- the standard top level printing method
- standardForm -- convert to standard form
- standardPairs -- find the standard pairs of a monomial ideal
- stashValue -- stash values of functions in their arguments
- status -- status of a resolution computation
- stderr -- the standard error output file
- stdio -- the standard input output file
- step -- step by single lines in the debugger
- StopBeforeComputation -- name for an optional argument
- stopIfError -- whether to stop the program when an error occurs
- StopWithMinimalGenerators -- name for an optional argument
- Strategy -- name for an optional argument
- String # ZZ -- get character from string
- String #? ZZ -- check for character in string
- String .. String -- a sequence of consecutive strings
- String ..< String -- a sequence of consecutive strings, not including the endpoint
- String ^ Sequence -- vertically stacked copies of a string
- String _ Sequence -- substring
- String _ ZZ -- get element from string
- sublists -- process interspersed sublists of a list
- submatrix
- submatrix' -- exclude rows and/or columns of a matrix
- submatrix(Matrix,VisibleList) -- select columns
- submatrix(Matrix,VisibleList,VisibleList) -- select part of a matrix
- subquotient -- make a subquotient module
- SubringLimit -- stop after finding enough elements of a subring
- Subscript -- the class of all subscript expressions
- subscript -- specify the function in a scripted functor for a subscript
- subsets -- produce all the subsets
- subsets(List) -- produce all the subsets
- subsets(List,ZZ) -- produce all the subsets
- subsets(Set) -- produce all the subsets
- subsets(Set,ZZ) -- produce all the subsets
- subsets(ZZ) -- produce all the subsets
- subsets(ZZ,ZZ) -- produce all the subsets
- substituting values for variables
- substring -- extract part of a string
- Sum -- the class of all sum expressions
- sum -- compute the sum
- sum(ChainComplex) -- direct sum of the components of a chain complex
- sum(ChainComplexMap) -- direct sum of the components of a chain map
- sum(List) -- sum the elements of a list
- sum(Set) -- sum of elements
- sum(Tally) -- sum of elements
- sum(VisibleList,Function) -- sum results of applying a function
- sum(VisibleList,VisibleList,Function) -- sum results of applying a function pairwise
- sum(ZZ,Function) -- sum consecutive values of a function
- SumOfTwists -- the class of all sums of twists
- super -- get the ambient module
- Superscript -- the class of all superscript expressions
- superscript -- specify the function in a scripted functor for a superscript
- support -- list of variables occurring in a polynomial or matrix
- support(Ideal) -- list of variables occurring in the generators of an ideal
- SVD -- singular value decomposition of a matrix
- SVD(..., DivideConquer => ...) -- Use the lapack divide and conquer SVD algorithm
- switch(ZZ,ZZ,VisibleList) -- copy a list, switching two elements
- Symbol -- the class of all symbols
- symbol -- get a symbol
- Symbol .. Symbol -- sequences of consecutive symbols
- Symbol ..< Symbol -- sequences of consecutive symbols
- Symbol _ Ring -- get a ring variable by name
- Symbol _ Thing -- index variable
- Symbol _ Thing = Thing -- assignment to an indexed variable
- symmetricAlgebra -- the symmetric algebra of a module
- symmetricPower -- symmetric power
- symmetricPower(ZZ,Matrix) -- symmetric power
- synonym -- synonym for members of a class
- SYNOPSIS
- SYNOPSIS(..., Heading => ...)
- syz -- the syzygy matrix
- syz(GroebnerBasis) -- retrieve the syzygy matrix
- syz(Matrix) -- compute the syzygy matrix
- Syzygies -- name for an optional argument
- SyzygyLimit -- name for an optional argument
- SyzygyMatrix -- name for an optional argument
- SyzygyRows -- name for an optional argument
- syzygyScheme -- construct a syzygy scheme
- Table -- the class of all table expressions
- take(BasicList,List)
- take(BasicList,ZZ)
- Tally -- the class of all tally results
- tally -- tally the elements of a list or sequence
- Tally ** Tally -- Cartesian product of tallies
- Tally + Tally -- union of tallies
- Tally - Tally -- difference of tallies
- Tally ^** ZZ -- Cartesian power of sets and tallies
- Tally _ Thing -- get a count from a tally
- tally(VisibleList) -- tally the elements of a list, sequence, or array
- tan -- compute the tangent
- tangentSheaf -- tangent sheaf of a projective variety
- tangentSheaf(ProjectiveVariety) -- tangent sheaf of a projective variety
- tanh -- compute the hyperbolic tangent
- target -- target of a map
- target(ChainComplexMap) -- find the target of a map of chain complexes
- target(GradedModuleMap) -- find the target of a map of graded modules
- target(GroebnerBasis) -- find target of a Gröbner basis
- target(Matrix) -- find the target module of matrix
- target(RingMap) -- find the target ring for a map of rings
- tensor -- tensor product
- tensor(Module,Module) -- tensor product
- tensor(Ring,Ring) -- tensor product
- tensor(Ring,RingMap,Matrix) -- tensor product via a ring map
- tensorAssociativity -- associativity isomorphisms for tensor products
- terms -- provide a list of terms of a polynomial
- tex -- convert to TeX format
- TeXmacs -- the TeXmacs top level printing method
- texMath -- convert to TeX math format
- the debugger
- then -- condition testing
- Thing -- the class of all things
- Thing // Function -- apply a function
- throw -- throw an exception
- Time -- the class of all timing results
- times -- multiplication
- to -- loop control
- toAbsolutePath -- the absolute path version of a file name
- toCC -- convert to high-precision complex number
- toDual -- inverse system
- toExternalString -- convert to a readable string
- toField(Ring) -- declare that a ring is a field
- toList(BasicList) -- list of elements
- toList(Set) -- list of elements
- toLower -- convert to lower case
- topCoefficients -- first variable and its coefficient of a polynomial or matrix
- topComponents -- compute top dimensional component
- topComponents(Ideal) -- compute top dimensional component
- topComponents(Module) -- compute top dimensional component
- topLevelMode -- the current top level mode
- Tor -- Tor module
- Tor_ZZ(Module,Module) -- compute a Tor module
- toRR -- convert to high-precision real number
- toString -- convert to a string
- TotalPairs -- whether to display the total number of S-pairs
- toUpper -- convert to upper case
- trace(Matrix) -- trace of a matrix
- transpose -- transpose a table or a matrix
- transpose(ChainComplexMap) -- transpose a map of chain complexes
- transpose(List) -- transposes a table
- transpose(Matrix) -- transpose a matrix
- TreeNode -- a type of basic list used to represent a rooted tree
- trim -- minimize generators and relations
- trim(Ideal)
- trim(Module)
- trim(QuotientRing)
- trim(Ring)
- true
- truncate -- truncate the module at a specified degree
- truncateOutput
- tutorial -- convert documentation from tutorial format
- typicalValues -- types of values returned by functions
- ultimate -- ultimate value for an iteration
- unbag(Bag)
- uncurry -- uncurry a function
- Undo -- name for an optional argument
- undocumented
- uniform -- test whether elements of a list are of the same class
- uninstallPackage(String) -- uninstall a package
- Unmixed -- name for an optional argument
- UpdateOnly -- only copies of newer files should replace files
- UpperTriangular -- name for an optional argument
- URL -- a type representing a URL
- Usage -- shows the usage of a function
- use -- install or activate object
- use(Package) -- activate a previously dismissed package
- use(Ring) -- install ring variables and ring operations
- UseHilbertFunction
- UserMode -- name for an optional argument
- userSymbols -- a list of the user's symbols
- using packages
- utf8 -- encode and decode unicode utf-8-encoded strings
- value -- evaluate
- value(IndexedVariable) -- retrieve the value of an indexed variable
- value(Pseudocode) -- execute pseudocode
- value(String) -- evaluate a string
- value(Symbol) -- retrieve the value of a symbol
- values(HashTable) -- values in a hash table
- Variable -- specify a name for a variable
- Variables -- name for an optional argument
- variety -- get the variety
- variety(CoherentSheaf)
- variety(Ideal) -- the closed projective subvariety defined by an ideal
- variety(SheafOfRings) -- get the variety
- vars -- variables
- vars(GeneralOrderedMonoid) -- row matrix of the variables
- vars(List) -- a sequence of variables
- vars(Ring) -- row matrix of the variables
- Vector -- the class of all elements of free modules that are handled by the engine
- vector -- make a vector
- Vector ** Vector -- tensor product
- Verbose -- request verbose feedback
- Verify -- verify that a map is well-defined
- VerticalList -- a type of visible self-initializing list that prints vertically
- VerticalSpace -- name for an optional argument
- viewHelp -- view online doc with a web browser
- VirtualTally
- VisibleList / Function -- apply a function to elements of a list
- w3
- wedgeProduct(ZZ,ZZ,Module) -- the exterior multiplication map
- weightRange -- the pair of lowest and highest weights of the monomials
- WeylAlgebra -- name for an optional argument
- what is a subquotient module?
- when -- a keyword
- width -- width of a file or net
- width(File) -- get window width
- width(Net) -- width of a net
- Wikipedia(String) -- link to a Wikipedia entry
- Wrap -- a key for methods for wrapping printed output
- wrap
- WrapperType -- a class of lists with abbreviated constructors
- xor -- logical exclusive-or
- youngest -- the youngest member of a sequence
- zero -- whether something is zero
- ZeroExpression -- the class of all zero expressions
- zeta -- Riemann zeta function
- ZZ -- the class of all integers
- ZZ & ZZ -- logical and
- ZZ .. ZZ -- sequences of consecutive integers
- ZZ ..< ZZ -- sequences of consecutive integers
- ZZ : Thing -- repeat an item
- ZZ _ Module -- integers or zero element
- ZZ | ZZ -- logical or