Macaulay2Doc : Index

• ! -- factorial
• != -- inequality
• " -- delineate a string with quotation marks
• # -- length or access to elements
• # BasicList -- length or cardinality of a list, hash table, dictionary, set, or string
• # Dictionary -- length or cardinality of a list, hash table, dictionary, set, or string
• # HashTable -- length or cardinality of a list, hash table, dictionary, set, or string
• # List -- length or cardinality of a list, hash table, dictionary, set, or string
• # Net -- length or cardinality of a list, hash table, dictionary, set, or string
• # Sequence -- length or cardinality of a list, hash table, dictionary, set, or string
• # Set -- length or cardinality of a list, hash table, dictionary, set, or string
• # String -- length or cardinality of a list, hash table, dictionary, set, or string
• #? -- check existence of value in a list, hash table, database, or string
• % -- a binary operator, usually used for remainder and reduction
• %= -- augmented assignment for %
• & -- a binary operator
• &= -- augmented assignment for &
• (*) -- a unary postfix operator, used for indicating a graded object
• * -- a binary operator, usually used for multiplication
• ** -- a binary operator, usually used for tensor product or Cartesian product
• **= -- augmented assignment for **
• *- -- comment
• *= -- augmented assignment for *
• + -- a unary or binary operator, usually used for addition
• + CC -- a unary or binary operator, usually used for addition
• + Constant -- a unary or binary operator, usually used for addition
• + QQ -- a unary or binary operator, usually used for addition
• + RingElement -- a unary or binary operator, usually used for addition
• + RR -- a unary or binary operator, usually used for addition
• + RRi -- a unary or binary operator, usually used for addition
• + Vector -- a unary or binary operator, usually used for addition
• + ZZ -- a unary or binary operator, usually used for addition
• ++ -- a binary operator, usually used for direct sum
• ++= -- augmented assignment for ++
• += -- augmented assignment for +
• , -- the comma, used for separating entries in a list or sequence
• - -- a unary or binary operator, usually used for negation or subtraction
• - CC -- a unary or binary operator, usually used for negation or subtraction
• - Constant -- a unary or binary operator, usually used for negation or subtraction
• - InfiniteNumber -- a unary or binary operator, usually used for negation or subtraction
• - List -- a unary or binary operator, usually used for negation or subtraction
• - Matrix -- a unary or binary operator, usually used for negation or subtraction
• - MutableMatrix -- a unary or binary operator, usually used for negation or subtraction
• - QQ -- a unary or binary operator, usually used for negation or subtraction
• - RingElement -- a unary or binary operator, usually used for negation or subtraction
• - RR -- a unary or binary operator, usually used for negation or subtraction
• - RRi -- a unary or binary operator, usually used for negation or subtraction
• - Tally -- a unary or binary operator, usually used for negation or subtraction
• - Vector -- a unary or binary operator, usually used for negation or subtraction
• - VirtualTally -- negation of a virtual tally
• - ZZ -- a unary or binary operator, usually used for negation or subtraction
• -* -- comment
• -- -- comment
• -= -- augmented assignment for -
• -> -- make a function
• . -- access to elements whose key is a symbol
• .. -- a binary operator, used for sequences of consecutive items
• ..< -- a binary operator, used for sequences of consecutive items, not including the endpoint
• ..<= -- augmented assignment for ..<
• ..= -- augmented assignment for ..
• .? -- check for presence of elements whose key is a symbol
• / -- a binary operator, usually used for division
• // -- a binary operator, usually used for quotient
• /// -- delineate a string with slashes
• //= -- augmented assignment for //
• /= -- augmented assignment for /
• : -- a binary operator, uses include repetition; ideal quotients
• := -- assignment of method or new local variable
• ; -- expression separator
• < -- less than
• <- -- assignment with left side evaluated
• << -- a binary operator, used for bit shifting or file output
• << Thing -- print to a file
• <<= -- augmented assignment for <<
• <= -- less than or equal
• <== -- a unary and binary operator
• <=== -- a unary and binary operator
• <==> -- a binary operator
• <==>= -- augmented assignment for <==>
• = -- assignment
• =!= -- strict inequality
• == -- equality
• === -- strict equality
• ===> -- a binary operator
• ===>= -- augmented assignment for ===>
• ==> -- a binary operator
• ==>= -- augmented assignment for ==>
• => -- construct an option
• > -- greater than
• >= -- greater than or equal
• >> -- a binary operator, used for bit shifting or attaching optional inputs to functions
• >>= -- augmented assignment for >>
• ? -- comparison operator
• ? Function -- view brief documentation of a symbol
• ? Keyword -- view brief documentation of a symbol
• ? Package -- view brief documentation of a symbol
• ? ScriptedFunctor -- view brief documentation of a symbol
• ? Symbol -- view brief documentation of a symbol
• ? Type -- view brief documentation of a symbol
• ?? -- null coalescing operator
• ??= -- augmented assignment for ??
• @ -- a binary operator
• @= -- augmented assignment for @
• @@ -- a binary operator
• @@= -- augmented assignment for @@
• \ -- a binary operator
• \= -- augmented assignment for \
• \\ -- a binary operator
• \\= -- augmented assignment for \\
• ^ -- a binary operator, usually used for powers
• ^! -- a unary postfix operator, used for the upper shriek functor
• ^* -- a unary postfix operator, used for indicating pullback maps
• ^** -- a binary operator, usually used for tensor or Cartesian power
• ^**= -- augmented assignment for ^**
• ^< -- a binary operator, used for truncation
• ^<= -- a binary operator, used for truncation
• ^= -- augmented assignment for ^
• ^> -- a binary operator, used for truncation
• ^>= -- a binary operator, used for truncation
• ^^ -- logical exclusive-or
• ^^= -- augmented assignment for ^^
• ^~ -- a unary postfix operator, used for sheafification
• _ -- a binary operator, used for subscripting and access to elements
• _! -- a unary postfix operator, used for the lower shriek functor
• _* -- a unary postfix operator, used for indicating pushforward maps
• _< -- a binary operator, used for truncation
• _<= -- a binary operator, used for truncation
• _= -- augmented assignment for _
• _> -- a binary operator, used for truncation
• _>= -- a binary operator, used for truncation
• _~ -- a unary postfix operator
• | -- a binary operator, often used for horizontal concatenation
• |- -- a binary operator
• |-= -- augmented assignment for |-
• |= -- augmented assignment for |
• |_ -- a binary operator, used for restriction to a subset
• |_= -- augmented assignment for |_
• || -- a binary operator, often used for vertical concatenation
• ||= -- augmented assignment for ||
• ~ -- a unary postfix operator
• ·= -- augmented assignment for ·
• ⊠= -- augmented assignment for ⊠
• ⧢= -- augmented assignment for ⧢
• 4ti2
• A first course in commutative algebra
• a first Macaulay2 session
• about -- search the documentation
• about(...,Body=>...) -- search the documentation
• about(Function) -- search the documentation
• about(String) -- search the documentation
• about(Symbol) -- search the documentation
• about(Type) -- search the documentation
• abs -- absolute value function
• abs(CC) -- absolute value function
• abs(Constant) -- absolute value function
• abs(QQ) -- absolute value function
• abs(RR) -- absolute value function
• abs(RRi) -- absolute value function
• abs(ZZ) -- absolute value function
• accumulate -- apply a binary operator repeatedly
• accumulate(Function,Thing) -- apply a binary operator repeatedly
• accumulate(Function,Thing,Thing) -- apply a binary operator repeatedly
• accumulate(Function,Thing,VisibleList) -- apply a binary operator repeatedly
• accumulate(Function,VisibleList) -- apply a binary operator repeatedly
• accumulate(VisibleList,Function) -- apply a binary operator repeatedly
• accumulate(VisibleList,Thing,Function) -- apply a binary operator repeatedly
• Acknowledgement -- acknowledgements listed in a documentation node
• Acknowledgements
• acos -- arccosine
• acos(CC) -- arccosine
• acos(RR) -- arccosine
• acos(RRi) -- arccosine
• acosh -- inverse hyperbolic cosine
• acosh(Number) -- inverse hyperbolic cosine
• acot -- compute the inverse cotangent
• acot(Number) -- compute the inverse cotangent
• acoth -- compute the hyperbolic arctangent of a number
• acoth(Number) -- compute the hyperbolic arctangent of a number
• addCancelTask -- specify that the completion of one task triggers the cancellation of another
• addCancelTask(Task,Task) -- specify that the completion of one task triggers the cancellation of another
• addDependencyTask -- schedule a task, but ensure that it will not run until another task finishes
• addDependencyTask(Task,Task) -- schedule a task, but ensure that it will not run until another task finishes
• addEndFunction -- add an ending function
• addHook -- add a hook function to an object for later processing
• addHook(...,Strategy=>...) -- add a hook function to an object for later processing
• addHook(MutableHashTable,Thing,Function) -- add a hook function to an object for later processing
• addHook(Sequence,Function) -- add a hook function to an object for later processing
• addHook(Symbol,Function) -- add a hook function to an object for later processing
• AdditionalPaths -- an optional argument
• addStartTask -- schedule a task upon completion of another
• addStartTask(Task,Task) -- schedule a task upon completion of another
• Adjacent -- the class of all adjacent expression pairs
• adjoint -- the tensor-Hom adjunction maps
• adjoint' -- the tensor-Hom adjunction maps
• adjoint'(Matrix,Module,Module) -- the tensor-Hom adjunction maps
• adjoint(Matrix,Module,Module) -- the tensor-Hom adjunction maps
• 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
• agm(CC,CC) -- arithmetic-geometric mean
• agm(CC,RR) -- arithmetic-geometric mean
• agm(RR,CC) -- arithmetic-geometric mean
• agm(RR,RR) -- arithmetic-geometric mean
• alarm -- set an alarm
• algebraic geometry
• Algorithm -- an optional argument
• Alignment -- an optional argument
• all -- whether all elements satisfy a specified condition
• all(BasicList) -- whether all elements of a list satisfy a specified condition
• all(BasicList,BasicList,Function) -- whether all corresponding elements of a pair of lists satisfy a condition
• all(BasicList,Function) -- whether all elements of a list satisfy a specified condition
• all(HashTable,Function) -- whether all key/value pairs in a hash table satisfy a specified condition
• all(ZZ,Function) -- whether all elements of a list satisfy a specified condition
• allowableThreads -- the current maximum number of simultaneously running tasks
• ambient -- ambient free module of a subquotient, or ambient ring
• ambient(GaloisField) -- corresponding quotient ring
• ambient(Matrix) -- get the map between the ambient free modules
• ambient(Module) -- ambient free module
• ambient(PolynomialRing) -- ambient polynomial ring
• ambient(QuotientRing) -- ambient polynomial ring
• ambient(Ring) -- ambient polynomial ring
• an example of a package
• analytic functions
• ancestor -- whether one type is an ancestor of another
• ancestor(Type,Type) -- whether one type is an ancestor of another
• ancestors -- the ancestors of something
• and -- conjunction
• AngleBarList -- the class of lists delimited by <| ... |>
• antipode -- antipode for skew commuting polynomial rings
• antipode(RingElement) -- antipode for skew commuting polynomial rings
• 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(BasicList,Function) -- whether any elements of a list satisfy a specified condition
• any(HashTable,Function) -- whether all key/value pairs in a hash table satisfy a specified condition
• any(ZZ,Function) -- whether any elements of a list satisfy a specified condition
• append -- add an element to the end of a list
• append(BasicList,Thing) -- add an element to the end of a list
• application directory -- the path to the user's application directory
• 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(BasicList,Function) -- apply a function to each element of a list
• apply(BasicList,String,Function) -- apply a function to pairs of elements, one from each list
• apply(String,BasicList,Function) -- apply a function to pairs of elements, one from each list
• apply(String,Function) -- apply a function to each element of a list
• apply(String,String,Function) -- apply a function to pairs of elements, one from each list
• apply(Thing,Function) -- apply a function to an object with an iterator
• apply(ZZ,Function) -- apply a function to {0,..., n-1}
• applyKeys -- apply a function to each key in a hash table
• applyKeys(HashTable,Function) -- apply a function to each key in a hash table
• applyKeys(HashTable,Function,Function) -- apply a function to each key in a hash table
• applyPairs -- apply a function to each pair in a hash table
• applyPairs(BasicList,Function) -- apply a function to each pair in a hash table
• applyPairs(Dictionary,Function) -- apply a function to each pair in a hash table
• applyPairs(HashTable,Function) -- apply a function to each pair in a hash table
• applyPairs(Thing,Function) -- apply a function to each pair in a hash table
• applyTable -- apply a function to each element of a table
• applyValues -- apply a function to each value in a hash table
• applyValues(HashTable,Function) -- apply a function to each value in a hash table
• apropos -- symbols matching a pattern
• apropos(String) -- symbols matching a pattern
• argument -- specify the function in a scripted functor for an argument
• Array -- the class of all arrays -- [...]
• Array | Array -- join lists, sequences or arrays
• Ascending -- specify ascending order
• ascii -- ASCII character conversion
• ascii(BasicList) -- ASCII character conversion
• ascii(String) -- ASCII character conversion
• ascii(ZZ) -- ASCII character conversion
• asin -- arcsine
• asin(CC) -- arcsine
• asin(RR) -- arcsine
• asin(RRi) -- arcsine
• asinh -- inverse hyperbolic sine
• asinh(Number) -- inverse hyperbolic sine
• assert -- check whether something is true, raise an error if not
• assert(Expression) -- check whether something is true, raise an error if not
• assert(Thing) -- check whether something is true, raise an error if not
• assigning values
• associative algebras
• AssociativeExpression -- the class of associative expressions
• atan -- compute the arctangent of a number
• atan(CC) -- compute the arctangent of a number
• atan(RR) -- compute the arctangent of a number
• atan(RRi) -- compute the arctangent of a number
• atan2 -- compute an angle of a certain triangle
• atan2(RR,RR) -- compute an angle of a certain triangle
• atan2(RR,RRi) -- compute an angle of a certain triangle
• atan2(RRi,RR) -- compute an angle of a certain triangle
• atan2(RRi,RRi) -- compute an angle of a certain triangle
• atanh -- compute the hyperbolic arctangent of a number
• atanh(Number) -- compute the hyperbolic arctangent of a number
• atEndOfFile -- test for end of file
• atEndOfFile(File) -- test for end of file
• AtomicInt -- the class of atomic integers
• AtomicInt &= ZZ -- atomic fetch and bitwise and
• AtomicInt += ZZ -- atomic fetch and add
• AtomicInt -= ZZ -- atomic fetch and subtract
• AtomicInt ^^= ZZ -- atomic fetch and bitwise xor
• AtomicInt |= ZZ -- atomic fetch and bitwise or
• augmented assignment
• Authors -- an optional argument
• autoload -- arrange for a function to be loaded automatically
• autoload(Symbol,String) -- arrange for a function to be loaded automatically
• AuxiliaryFiles -- an optional argument
• backtrace -- whether a backtrace is displayed following an error message
• Bag -- the class of all bags
• Bag ? Bag -- the class of all bags
• Bareiss
• baseFilename -- the base part of a filename or path
• BaseFunction -- the basename of a function in a documentation node
• baseName -- the base name of a generator
• baseName(IndexedVariable) -- the base name of a generator
• baseName(IndexedVariableTable) -- the base name of a generator
• baseName(MonoidElement) -- the base name of a generator
• baseName(RingElement) -- the base name of a generator
• baseName(Subscript) -- the base name of a generator
• baseName(Symbol) -- the base name of a generator
• baseName(Thing) -- the base name of a generator
• baseRing -- produce the ring from which a ring was formed
• baseRing(Ring) -- produce the ring from which a ring was formed
• baseRings -- store the list of base rings of a ring
• BaseRow -- an optional argument
• basic arithmetic of matrices
• basic construction, source and target of a ring map
• basic rings of numbers
• BasicList -- the class of all basic lists
• BasicList # ZZ -- get value from list, hash table, database, dictionary, or string
• BasicList #? ZZ -- check existence of value in a list, hash table, database, or string
• basis -- basis or generating set of all or part of a ring, ideal or module
• basis(...,Degree=>...) -- basis or generating set of all or part of a ring, ideal or module
• basis(...,Limit=>...) -- basis or generating set of all or part of a ring, ideal or module
• basis(...,SourceRing=>...) -- basis or generating set of all or part of a ring, ideal or module
• basis(...,Strategy=>...) -- basis or generating set of all or part of a ring, ideal or module
• basis(...,Truncate=>...) -- basis or generating set of all or part of a ring, ideal or module
• basis(...,Variables=>...) -- basis or generating set of all or part of a ring, ideal or module
• basis(Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,InfiniteNumber,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,InfiniteNumber,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,InfiniteNumber,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,InfiniteNumber,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,List,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,List,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,List,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,List,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,ZZ,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,ZZ,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,ZZ,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,ZZ,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,InfiniteNumber,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,InfiniteNumber,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,InfiniteNumber,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,InfiniteNumber,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,List,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,List,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,List,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,List,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,RingMap) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,ZZ,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,ZZ,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,ZZ,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(List,ZZ,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(RingMap) -- basis or generating set of all or part of a ring, ideal or module
• basis(Sequence,RingMap) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,InfiniteNumber,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,InfiniteNumber,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,InfiniteNumber,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,InfiniteNumber,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,List,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,List,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,List,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,List,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,Ring) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,RingMap) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,ZZ,Ideal) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,ZZ,Matrix) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,ZZ,Module) -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,ZZ,Ring) -- basis or generating set of all or part of a ring, ideal or module
• BasisElementLimit -- an optional argument
• Bayer -- value of an optional argument
• BeforePrint -- top level method applied before printing results
• beginDocumentation -- start documentation section of a package
• benchmark -- accurate timing of execution
• BesselJ -- Bessel function of the first kind
• BesselJ(Number,Number) -- Bessel function of the first kind
• BesselJ(ZZ,Number) -- Bessel function of the first kind
• BesselY -- Bessel function of the second kind
• BesselY(Number,Number) -- Bessel function of the second kind
• BesselY(ZZ,Number) -- Bessel function of the second kind
• Beta -- Beta function
• Beta(CC,CC) -- Beta function
• Beta(CC,RR) -- Beta function
• Beta(RR,CC) -- Beta function
• Beta(RR,RR) -- Beta function
• Beta(RR,RRi) -- Beta function
• Beta(RRi,RR) -- Beta function
• Beta(RRi,RRi) -- Beta function
• betti -- display or modify a Betti diagram
• betti(...,Weights=>...) -- view and set the weight vector of a Betti diagram
• betti(BettiTally) -- view and set the weight vector of a Betti diagram
• betti(GroebnerBasis) -- display or modify a Betti diagram
• betti(Ideal) -- display or modify a Betti diagram
• betti(Matrix) -- display or modify a Betti diagram
• betti(Module) -- display or modify a Betti diagram
• BettiTally -- the class of all Betti tallies
• BettiTally ** BettiTally -- the class of all Betti tallies
• BettiTally ++ BettiTally -- the class of all Betti tallies
• BettiTally Array -- the class of all Betti tallies
• BettiTally ZZ -- the class of all Betti tallies
• between -- insert something between elements of a list
• between(Thing,VisibleList) -- insert something between elements of a list
• Binary -- an optional argument
• binary methods
• BinaryOperation -- the class of all binary operation expressions
• Binomial -- value of an optional argument
• binomial -- binomial coefficient
• binomial(Number,Number) -- binomial coefficient
• binomial(RingElement,ZZ) -- binomial coefficient
• binomial(ZZ,ZZ) -- binomial coefficient
• BLAS
• blockMatrixForm -- global flag for block printing
• Body -- an optional argument
• Boolean -- the class of boolean values
• Boolean >> Function -- attaching options to a function
• Boolean and Boolean -- conjunction
• Boolean or Boolean -- disjunction
• Boolean xor Boolean -- exclusive disjunction
• Boost -- a collection of C++ source libraries
• borel -- make a Borel fixed submodule
• borel(Matrix) -- make a Borel fixed submodule
• borel(MonomialIdeal) -- make a Borel fixed submodule
• Boxes -- an optional argument
• break -- break from a loop
• cache -- a key under which to store cache tables
• CacheExampleOutput -- an optional argument
• CacheTable -- hash tables for caching
• caching computation results
• CallLimit -- trace a function each time it's run
• cancelTask -- stop a task
• cancelTask(Task) -- stop a task
• capture -- evaluate Macaulay2 code and capture the output
• capture(...,PackageExports=>...) -- evaluate Macaulay2 code and capture the output
• capture(...,UserMode=>...) -- evaluate Macaulay2 code and capture the output
• capture(List) -- evaluate Macaulay2 code and capture the output
• capture(Net) -- evaluate Macaulay2 code and capture the output
• capture(String) -- evaluate Macaulay2 code and capture the output
• capture(TestInput) -- evaluate Macaulay2 code and capture the output
• CatalanConstant -- Catalan's constant
• catch -- throw and catch exceptions
• Caveat -- warnings or limitations listed in a documentation node
• CC -- the class of all complex numbers
• CC % CC -- a binary operator, usually used for remainder and reduction
• CC % QQ -- a binary operator, usually used for remainder and reduction
• CC % RR -- a binary operator, usually used for remainder and reduction
• CC % ZZ -- a binary operator, usually used for remainder and reduction
• CC * CC -- a binary operator, usually used for multiplication
• CC * QQ -- a binary operator, usually used for multiplication
• CC * RR -- a binary operator, usually used for multiplication
• CC * ZZ -- a binary operator, usually used for multiplication
• CC + CC -- a unary or binary operator, usually used for addition
• CC + InfiniteNumber -- a unary or binary operator, usually used for addition
• CC + QQ -- a unary or binary operator, usually used for addition
• CC + RR -- a unary or binary operator, usually used for addition
• CC + ZZ -- a unary or binary operator, usually used for addition
• CC - CC -- a unary or binary operator, usually used for negation or subtraction
• CC - InfiniteNumber -- a unary or binary operator, usually used for negation or subtraction
• CC - QQ -- a unary or binary operator, usually used for negation or subtraction
• CC - RR -- a unary or binary operator, usually used for negation or subtraction
• CC - ZZ -- a unary or binary operator, usually used for negation or subtraction
• CC / CC -- a binary operator, usually used for division
• CC / QQ -- a binary operator, usually used for division
• CC / RR -- a binary operator, usually used for division
• CC / ZZ -- a binary operator, usually used for division
• CC // CC -- a binary operator, usually used for quotient
• CC // QQ -- a binary operator, usually used for quotient
• CC // RR -- a binary operator, usually used for quotient
• CC // ZZ -- a binary operator, usually used for quotient
• CC << ZZ
• CC >> ZZ
• CC_* -- the parent class of all rings of complex numbers
• cdd+
• ceiling -- ceiling function
• ceiling(Number) -- ceiling function
• Center -- value of an optional argument
• centerString -- center a string or net
• Certification -- an optional argument
• changeBase -- change integer base
• changeBase(String,ZZ) -- change integer base
• changeBase(String,ZZ,ZZ) -- change integer base
• changeBase(ZZ,ZZ) -- change integer base
• changeDirectory -- change the current working directory
• ChangeMatrix -- an optional argument
• changes to Macaulay2, by version
• changes, 1.0 and 1.1
• changes, 1.2
• changes, 1.3
• changes, 1.3.1
• changes, 1.4
• changes, 1.5
• changes, 1.6
• changes, 1.7
• changes, 1.8
• changes, 1.8.1
• changes, 1.8.2
• changes, 1.9
• changes, 1.9.1
• changes, 1.9.2
• changes, 1.10
• changes, 1.11
• changes, 1.12
• changes, 1.13
• changes, 1.14
• changes, 1.15
• changes, 1.16
• changes, 1.17
• changes, 1.18
• changes, 1.19
• changes, 1.19.1
• changes, 1.20
• changes, 1.21
• changes, 1.22
• changes, 1.23
• changes, 1.24.05
• changes, 1.24.11
• changes, 1.25.05
• char -- get the characteristic of the ring or field
• char(Ring) -- get the characteristic of the ring or field
• characters -- get characters from a string
• check -- perform tests of a package
• check(...,UserMode=>...) -- perform tests of a package
• check(...,Verbose=>...) -- perform tests of a package
• check(List) -- perform tests of a package
• check(List,Package) -- perform tests of a package
• check(List,String) -- perform tests of a package
• check(Package) -- perform tests of a package
• check(String) -- perform tests of a package
• check(TestInput) -- perform tests of a package
• check(ZZ) -- perform tests of a package
• check(ZZ,Package) -- perform tests of a package
• check(ZZ,String) -- perform tests of a package
• CheckDocumentation -- an optional argument
• chi
• Citation -- an optional argument
• class -- class of an object
• class(Thing) -- class of an object
• clean -- set to zero elements that are approximately zero
• clean(RR,Matrix) -- set to zero elements that are approximately zero
• clean(RR,MutableMatrix) -- set to zero elements that are approximately zero
• clean(RR,Number) -- set to zero elements that are approximately zero
• clean(RR,RingElement) -- set to zero elements that are approximately zero
• clearAll -- forget everything
• clearEcho -- turn off echoing
• clearOutput -- forget output values
• close -- close a file
• closeIn -- close an input file
• closeOut -- close an output file
• ClosestFit -- an optional argument
• code -- display source code
• code(Command) -- display source code
• code(Function) -- display source code
• code(List) -- display source code
• code(Pseudocode) -- display source code
• code(Sequence) -- display source code
• code(Symbol) -- display source code
• code(TestInput) -- locate a package's tests
• code(ZZ) -- display source code
• codim -- compute the codimension
• codim(BettiTally) -- the class of all Betti tallies
• codim(Ideal) -- compute the codimension
• codim(Ideal,Generic=>...)
• codim(Module) -- codimension of the support of a module
• codim(Module,Generic=>...)
• codim(MonomialIdeal) -- compute the codimension
• codim(MonomialIdeal,Generic=>...)
• codim(PolynomialRing) -- compute the codimension
• codim(PolynomialRing,Generic=>...)
• codim(QuotientRing) -- compute the codimension
• codim(QuotientRing,Generic=>...)
• CodimensionLimit -- an optional argument
• coefficient -- coefficient of a monomial
• CoefficientRing -- an optional argument
• coefficientRing -- get the coefficient ring
• coefficientRing(Ring) -- get the coefficient ring
• coefficients -- get the monomials and coefficients of a polynomial or matrix
• coefficients(...,Monomials=>...) -- get the monomials and coefficients of a polynomial or matrix
• coefficients(...,Variables=>...) -- get the monomials and coefficients of a polynomial or matrix
• coefficients(Matrix) -- get the monomials and coefficients of a polynomial or matrix
• coefficients(RingElement) -- get the monomials and coefficients of a polynomial or matrix
• Cofactor
• cohomCalg
• cohomology -- general cohomology functor
• cohomology(...,Degree=>...) -- general cohomology functor
• coimage -- coimage of a map
• coimage(Matrix) -- coimage of a map
• coimage(RingMap) -- coimage of a map
• cokernel -- cokernel of a map
• cokernel(Matrix) -- cokernel of a map of modules
• cokernel(RingElement) -- cokernel of a map of modules
• collectGarbage -- collect the garbage in memory
• columnAdd -- add a multiple of one column to another
• columnAdd(MutableMatrix,ZZ,Number,ZZ) -- add a multiple of one column to another
• columnAdd(MutableMatrix,ZZ,RingElement,ZZ) -- add a multiple of one column to another
• columnate -- arrange strings in columns
• columnMult -- multiply a column by a ring element
• columnMult(MutableMatrix,ZZ,Number) -- multiply a column by a ring element
• columnMult(MutableMatrix,ZZ,RingElement) -- multiply a column by a ring element
• columnPermute -- permute some columns
• columnPermute(MutableMatrix,ZZ,List) -- permute some columns
• columnRankProfile -- find the column rank profile of a mutable matrix
• columnRankProfile(MutableMatrix) -- find the column rank profile of a mutable matrix
• columnSwap -- interchange columns
• columnSwap(MutableMatrix,ZZ,ZZ) -- interchange columns
• combinatorics
• combine -- combine hash tables
• Command -- the class of all commands
• Command \ Set -- apply a function to elements of a list
• Command \ String -- apply a function to elements of a list
• Command \ VirtualTally -- apply a function to elements of a list
• Command \ VisibleList -- apply a function to elements of a list
• Command \\ Thing -- apply a function
• Command Thing -- the class of all commands
• commandInterpreter -- the top level command interpreter
• commandLine -- the command line arguments
• comments -- comment
• commonest -- the most common elements of a list or tally
• commonest(Set) -- the most common elements of a list or tally
• commonest(Tally) -- the most common elements of a list or tally
• commonest(VisibleList) -- the most common elements of a list or tally
• commonRing -- find smallest containing ring
• commonRing(List) -- find smallest containing ring
• communicating with programs
• commutative algebra
• comodule -- submodule to quotient module
• comodule(Ideal) -- submodule to quotient module
• comodule(Module) -- submodule to quotient module
• compactMatrixForm -- global flag for compact printing
• compareExchange -- compare and possibly exchange the value of an atomic integer
• compareExchange(AtomicInt,ZZ,ZZ) -- compare and possibly exchange the value of an atomic integer
• CompiledFunction -- the class of all compiled functions
• CompiledFunctionBody -- the class of all compiled function bodies
• CompiledFunctionClosure -- the class of all compiled function closures
• Complement -- a Strategy option value
• complement -- find the minimal generators for cokernel of a matrix (low level form)
• complement(Matrix) -- find the minimal generators for cokernel of a matrix (low level form)
• complete
• ComplexField -- the class of all complex fields
• components -- list the components of a direct sum
• components(Matrix) -- list the components of a direct sum
• components(Module) -- list the components of a direct sum
• compose -- composition as a pairing on Hom-modules
• compose(Module,Module,Module) -- composition as a pairing on Hom-modules
• compose(Module,Module,Module,DegreeLimit=>...) -- composition as a pairing on Hom-modules
• compose(Module,Module,Module,MinimalGenerators=>...) -- composition as a pairing on Hom-modules
• compose(Module,Module,Module,Strategy=>...) -- composition as a pairing on Hom-modules
• compositions -- list the compositions of an integer
• compositions(ZZ) -- list the compositions of an integer
• compositions(ZZ,ZZ) -- list the compositions of an integer
• compress -- extract nonzero columns from a matrix
• compress(Matrix) -- extract nonzero columns from a matrix
• computing Groebner bases
• computing syzygies
• concatenate -- join strings
• concatenate(BasicList) -- join strings
• concatenate(Nothing) -- join strings
• concatenate(String) -- join strings
• concatenate(Symbol) -- join strings
• concatenate(ZZ) -- join strings
• concatenating matrices
• conditional execution -- if-then-else statements
• cone -- mapping cone or polyhedral cone
• Configuration -- an optional argument
• conjugate -- complex conjugate
• conjugate(CC) -- complex conjugate
• conjugate(Constant) -- complex conjugate
• conjugate(Number) -- complex conjugate
• conjugate(Partition) -- conjugate a partition
• connectionCount -- the number of connections
• Consequences -- side-effects of a function in a documentation node
• Constant
• Constant ! -- factorial
• Constant * Constant -- a binary operator, usually used for multiplication
• Constant * InexactNumber -- a binary operator, usually used for multiplication
• Constant * Number -- a binary operator, usually used for multiplication
• Constant + Constant -- a unary or binary operator, usually used for addition
• Constant + InexactNumber -- a unary or binary operator, usually used for addition
• Constant + Number -- a unary or binary operator, usually used for addition
• Constant + RingElement -- a unary or binary operator, usually used for addition
• Constant - Constant -- a unary or binary operator, usually used for negation or subtraction
• Constant - InexactNumber -- a unary or binary operator, usually used for negation or subtraction
• Constant - Number -- a unary or binary operator, usually used for negation or subtraction
• Constant - RingElement -- a unary or binary operator, usually used for negation or subtraction
• Constants -- an optional argument
• constructing maps between modules
• content -- the content of a polynomial
• content(RingElement) -- the content of a polynomial
• content(RingElement,RingElement) -- the content of a polynomial
• continue -- continue with the next iteration of a loop
• contract -- contract one matrix by another
• contract' -- contract a matrix by a matrix, the dual notion
• contract'(Matrix,Matrix) -- contract a matrix by a matrix, the dual notion
• contract(Matrix,Matrix) -- contract a matrix by a matrix
• contract(Matrix,Number) -- contract a matrix by a matrix
• contract(Matrix,RingElement) -- contract a matrix by a matrix
• contract(Matrix,Vector) -- contract a matrix by a matrix
• contract(Number,Matrix) -- contract a matrix by a matrix
• contract(Number,Number) -- contract a matrix by a matrix
• contract(Number,RingElement) -- contract a matrix by a matrix
• contract(Number,Vector) -- contract a matrix by a matrix
• contract(RingElement,Matrix) -- contract a matrix by a matrix
• contract(RingElement,Number) -- contract a matrix by a matrix
• contract(RingElement,RingElement) -- contract a matrix by a matrix
• contract(RingElement,Vector) -- contract a matrix by a matrix
• contract(Vector,Matrix) -- contract a matrix by a matrix
• contract(Vector,Number) -- contract a matrix by a matrix
• contract(Vector,RingElement) -- contract a matrix by a matrix
• contract(Vector,Vector) -- contract a matrix by a matrix
• Contributors -- non-author contributors listed in a documentation node
• control flow statements
• conventions for documentation
• copy -- copy an object
• copyDirectory
• copyDirectory(...,Exclude=>...)
• copyDirectory(...,FollowLinks=>...)
• copyDirectory(...,UpdateOnly=>...)
• copyDirectory(...,Verbose=>...)
• copyDirectory(String,String)
• copyFile
• copyFile(...,UpdateOnly=>...)
• copyFile(...,Verbose=>...)
• copyFile(String,String)
• COPYING-GPL-2 -- GNU General Public License, version 2
• COPYING-GPL-3 -- GNU General Public License, version 3
• copyright
• Copyright and license
• Core -- the core of Macaulay2
• cos -- compute the cosine
• cos(CC) -- compute the cosine
• cos(RR) -- compute the cosine
• cos(RRi) -- compute the cosine
• cosh -- compute the hyperbolic cosine
• cosh(CC) -- compute the hyperbolic cosine
• cosh(RR) -- compute the hyperbolic cosine
• cosh(RRi) -- compute the hyperbolic cosine
• cot -- cotangent
• cot(CC) -- cotangent
• cot(RR) -- cotangent
• cot(RRi) -- cotangent
• coth -- hyperbolic cotangent
• coth(CC) -- hyperbolic cotangent
• coth(RR) -- hyperbolic cotangent
• coth(RRi) -- hyperbolic cotangent
• cover -- get the covering free module
• cover(Matrix) -- get the map between the covering free modules
• cover(Module) -- get the covering free module
• coverageSummary -- profile a computation
• coverageSummary(String) -- profile a computation
• coverageSummary(Thing) -- profile a computation
• coverMap -- the surjective map from a free module to a module corresponding to the generators
• 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
• createTask -- create a task
• createTask(Function) -- create a task
• createTask(Function,Thing) -- create a task
• creating a package
• creating an ideal
• creating and writing files
• csc -- cosecant
• csc(CC) -- cosecant
• csc(RR) -- cosecant
• csc(RRi) -- cosecant
• csch -- hyperbolic cosecant
• csch(CC) -- hyperbolic cosecant
• csch(RR) -- hyperbolic cosecant
• csch(RRi) -- hyperbolic cosecant
• csdp
• current -- the pseudocode that produced an error
• currentColumnNumber -- current column number of the current input file
• currentDirectory -- current working directory
• currentFileDirectory -- the directory containing the current input file
• currentFileName -- the current source file
• currentLayout -- relative locations of Macaulay2 files
• currentPackage -- the current package
• currentPosition -- the current position in the current source file
• currentRowNumber -- current row number of the current input file
• currentString -- evaluate a string
• currentTime -- get the current time
• Daniel R. Grayson
• Database -- the class of all database files
• Database # String -- get value from list, hash table, database, dictionary, or string
• Database #? String -- check existence of value in a list, hash table, database, or string
• Date -- an optional argument
• David Eisenbud
• debug -- assistant for debugging packages, dictionaries, etc
• debug(GlobalDictionary) -- open a local or global dictionary to the user
• debug(LocalDictionary) -- open a local or global dictionary to the user
• debug(Package) -- open the private dictionary of a package
• debug(String) -- open the local dictionary of a loaded file
• debugError -- a function to debug
• debugging
• DebuggingMode -- an optional argument
• debuggingMode -- whether to enter the debugger when an error occurs
• debugLevel -- current debugging level
• Decompose -- value of an optional argument
• decompose
• deepSplice -- remove all levels of subsequences from a sequence or list
• deepSplice(BasicList) -- remove all levels of subsequences from a sequence or list
• Default -- value of an optional argument
• default -- default member of a family
• default(InexactFieldFamily) -- default member of a family
• defaultPrecision -- default precision of numbers
• definition of product (block) orders
• Degree -- an optional argument
• degree
• degree(BettiTally) -- the class of all Betti tallies
• degree(Ideal)
• degree(Module) -- get the degree of a module
• degree(ProjectiveHilbertPolynomial)
• degree(Ring)
• degree(RingElement)
• degree(RingElement,RingElement) -- degree with respect to a variable
• degree(Vector)
• DegreeGroup -- an optional argument
• degreeGroup -- the degree group of a ring or monoid
• degreeGroup(Monoid) -- the degree group of a ring or monoid
• degreeGroup(PolynomialRing) -- the degree group of a ring or monoid
• degreeGroup(QuotientRing) -- the degree group of a ring or monoid
• degreeGroup(Ring) -- the degree group of a ring or monoid
• degreeLength -- the length of the degree vector
• degreeLength(Monoid) -- the length of the degree vector
• degreeLength(Ring) -- the length of the degree vector
• DegreeLift -- an optional argument
• DegreeLimit -- an optional argument
• DegreeMap -- an optional argument
• DegreeOrder -- an optional argument
• DegreeRank -- an optional argument
• Degrees -- an optional argument
• degrees -- degrees of generators
• degrees(FractionField) -- degrees of generators
• degrees(Ideal) -- degrees of generators
• degrees(Matrix) -- degrees of target and source
• degrees(Module) -- degrees of generators
• degrees(Monoid) -- degrees of generators
• degrees(QuotientRing) -- degrees of generators
• degrees(Ring) -- degrees of generators
• degreesMonoid -- the ring or monoid of degrees
• degreesMonoid(List) -- the ring or monoid of degrees
• degreesMonoid(Monoid) -- the ring or monoid of degrees
• degreesMonoid(Ring) -- the ring or monoid of degrees
• degreesMonoid(ZZ) -- the ring or monoid of degrees
• degreesRing -- the ring or monoid of degrees
• degreesRing(List) -- the ring or monoid of degrees
• degreesRing(Monoid) -- the ring or monoid of degrees
• degreesRing(Ring) -- the ring or monoid of degrees
• degreesRing(ZZ) -- the ring or monoid of degrees
• delete -- delete some elements of a list
• delete(Thing,BasicList) -- delete some elements of a list
• demark -- insert a string between elements of a list of strings
• denominator -- denominator of a fraction
• denominator(Divide) -- denominator of a fraction
• Dense -- an optional argument
• Density -- an optional argument
• depth -- depth of an object
• depth(Net) -- depth of a net
• depth(String) -- depth of a net
• Descending -- specify descending order
• Descent
• Describe -- the class of the output of describe
• describe -- real description
• describe(FractionField) -- real description
• describe(GaloisField) -- real description
• describe(Matrix) -- real description
• describe(Module) -- real description
• describe(Monoid) -- real description
• describe(PolynomialRing) -- real description
• describe(QuotientRing) -- real description
• describe(RingMap) -- real description
• describe(Thing) -- real description
• describe(Vector) -- real description
• determinant -- determinant of a matrix
• determinant(...,Strategy=>...) -- choose between Bareiss, Cofactor and Dynamic algorithms
• determinant(Matrix) -- determinant of a matrix
• determinant(MutableMatrix) -- determinant of a matrix
• determinants and minors
• diagonalMatrix -- make a diagonal matrix
• diagonalMatrix(List) -- make a diagonal matrix from a list
• diagonalMatrix(Matrix) -- make a diagonal matrix from entries of a matrix
• diagonalMatrix(Ring,List) -- make a diagonal matrix from a list
• diagonalMatrix(Ring,ZZ,ZZ,List) -- make a diagonal matrix from a list
• diagonalMatrix(RingFamily,List) -- make a diagonal matrix from a list
• diagonalMatrix(RingFamily,ZZ,ZZ,List) -- make a diagonal matrix from a list
• diagonalMatrix(ZZ,ZZ,List) -- make a diagonal matrix from a list
• diameter -- diameter of an interval
• diameter(RRi) -- diameter of an interval
• Dictionary -- the class of all dictionaries
• dictionary -- determine the dictionary to which a symbol belongs
• Dictionary # String -- get value from list, hash table, database, dictionary, or string
• Dictionary #? String -- check existence of value in a list, hash table, database, or string
• dictionary(Keyword) -- determine the dictionary to which a symbol belongs
• dictionary(Symbol) -- determine the dictionary to which a symbol belongs
• dictionary(Thing) -- determine the dictionary to which a symbol belongs
• dictionaryPath
• diff -- differentiate or take difference
• diff and contract
• diff' -- differentiate a matrix by a matrix, the dual notion
• diff'(Matrix,Matrix) -- differentiate a matrix by a matrix, the dual notion
• diff(Matrix,Matrix) -- differentiate a matrix by a matrix
• diff(Matrix,RingElement) -- differentiation
• diff(Matrix,Vector) -- differentiate a matrix by a matrix
• diff(ProjectiveHilbertPolynomial)
• diff(ProjectiveHilbertPolynomial,ZZ)
• diff(RingElement,Matrix) -- differentiate each entry of a matrix
• diff(RingElement,RingElement) -- differentiation
• diff(RingElement,Vector) -- differentiate a matrix by a matrix
• diff(Vector,Matrix) -- differentiate a matrix by a matrix
• diff(Vector,RingElement) -- differentiate a matrix by a matrix
• diff(Vector,Vector) -- differentiate a matrix by a matrix
• difference -- difference
• Digamma -- Digamma function
• Digamma(CC) -- Digamma function
• Digamma(RR) -- Digamma function
• Digamma(RRi) -- Digamma function
• dim -- compute the Krull dimension
• dim(FractionField) -- compute the Krull dimension
• dim(GaloisField) -- compute the Krull dimension
• dim(Ideal) -- compute the Krull dimension
• dim(InexactField) -- compute the Krull dimension
• dim(Module) -- compute the Krull dimension
• dim(MonomialIdeal) -- compute the Krull dimension
• dim(PolynomialRing) -- compute the Krull dimension
• dim(ProjectiveHilbertPolynomial) -- the degree of the Hilbert polynomial
• dim(QuotientRing) -- compute the Krull dimension
• dim(Ring) -- compute the Krull dimension
• dimension, codimension, and degree
• directProduct -- direct product
• directProduct(List) -- direct product
• directProduct(Sequence) -- direct product
• DirectSum -- the class of all direct sum expressions
• directSum -- direct sum of modules or maps
• directSum(List) -- direct sum of modules or maps
• directSum(Matrix) -- direct sum of modules or maps
• directSum(Module) -- direct sum of modules or maps
• directSum(Option) -- direct sum of modules or maps
• directSum(Sequence) -- direct sum of modules or maps
• disassemble -- disassemble a pseudocode or function
• disassemble(FunctionBody) -- disassemble a pseudocode or function
• disassemble(FunctionClosure) -- disassemble a pseudocode or function
• disassemble(Pseudocode) -- disassemble a pseudocode or function
• disassemble(PseudocodeClosure) -- disassemble a pseudocode or function
• dismiss -- dismiss a package
• dismiss(Package) -- dismiss a package
• dismiss(String) -- dismiss a package
• Dispatch -- make a new method function
• Divide -- the class of all divide expressions
• divideByVariable -- divide all columns by a (power of a) variable
• divideByVariable(Matrix,RingElement) -- divide all columns by a (power of a) variable
• divideByVariable(Matrix,RingElement,ZZ) -- divide all columns by a (power of a) variable
• DivideConquer -- an optional argument
• division in polynomial rings with monomials less than 1
• do -- loop control
• document -- create a documentation node
• document(...,Acknowledgement=>...) -- acknowledgements listed in a documentation node
• document(...,BaseFunction=>...) -- the basename of a function in a documentation node
• document(...,Caveat=>...) -- warnings or limitations listed in a documentation node
• document(...,Consequences=>...) -- side-effects of a function in a documentation node
• document(...,Contributors=>...) -- non-author contributors listed in a documentation node
• document(...,ExampleFiles=>...) -- data files corresponding to a documentation node
• document(...,Headline=>...) -- headline of a documentation node
• document(...,Inputs=>...) -- inputs for a function in a documentation node
• document(...,Key=>...) -- key of a documentation node
• document(...,Outputs=>...) -- outputs for a function in a documentation node
• document(...,References=>...) -- references listed in a documentation node
• document(...,SeeAlso=>...) -- cross-references to other documentation nodes
• document(...,SourceCode=>...) -- sources displayed in a documentation node
• document(...,Subnodes=>...) -- a menu of documentation nodes
• document(...,Usage=>...) -- ways to use a function in a documentation node
• document(List) -- create a documentation node
• documentation keys
• DocumentTag -- the class of all document tags
• Down -- monomial ordering
• drop -- drop some elements from a list or sequence
• drop(BasicList,List) -- drop some elements from a list or sequence
• drop(BasicList,ZZ) -- drop some elements from a list or sequence
• dual -- dual module or map
• dual(BettiTally) -- the class of all Betti tallies
• dual(Matrix) -- dual of a map
• dual(Module) -- dual module
• dual(MonomialIdeal) -- the Alexander dual of a monomial ideal
• dual(MonomialIdeal,List) -- the Alexander dual
• dual(MonomialIdeal,List,Strategy=>...)
• dual(MonomialIdeal,RingElement) -- the Alexander dual
• dual(MonomialIdeal,RingElement,Strategy=>...)
• dual(MonomialIdeal,Strategy=>...)
• Dynamic
• eagonNorthcott -- Eagon-Northcott complex of a matrix of linear forms
• eagonNorthcott(Matrix) -- Eagon-Northcott complex of a matrix of linear forms
• echoOff -- turn off echoing
• echoOff(File) -- turn off echoing
• echoOn -- turn on echoing
• echoOn(File) -- turn on echoing
• edit -- edit source code
• editing Macaulay2 code with Emacs
• eigenvalues -- find eigenvalues of a matrix
• eigenvalues(...,Hermitian=>...) -- whether to assume the matrix is symmetric or Hermitian
• eigenvalues(Matrix) -- find eigenvalues of a matrix
• eigenvalues(MutableMatrix) -- find eigenvalues of a matrix
• eigenvectors -- find eigenvectors of a matrix over real or complex numbers
• eigenvectors(...,Hermitian=>...) -- whether to assume the matrix is symmetric or Hermitian
• eigenvectors(Matrix) -- find eigenvectors of a matrix over real or complex numbers
• eigenvectors(MutableMatrix) -- find eigenvectors of a matrix over real or complex numbers
• eint -- exponential integral
• eint(CC) -- exponential integral
• eint(RR) -- exponential integral
• eint(RRi) -- exponential integral
• elapsedTime -- time a computation including time elapsed
• elapsedTiming -- time a computation using time elapsed
• elementary arithmetic
• Elementary uses of Groebner bases I. Math 634 Fall 2005
• elements -- list of elements
• elements(Set) -- list of elements
• elements(Tally) -- list of elements
• Eliminate -- elimination order
• elimination of variables
• else -- condition testing
• Email -- the preamble of a package
• End -- module of endomorphisms
• end -- stop loading a file
• End(...,DegreeLimit=>...) -- module of endomorphisms
• End(...,MinimalGenerators=>...) -- module of endomorphisms
• End(...,Strategy=>...) -- module of endomorphisms
• endl -- end an output line
• endPackage -- end a new package
• 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 -- get the entries of a matrix
• entries(Matrix) -- get the entries of a matrix
• entries(MutableMatrix) -- get the entries of a matrix
• entries(Vector) -- get the entries of a vector
• environment -- the environment variables
• equality and containment
• equality and containment of modules
• Equation -- the class of all equation expressions
• erase -- remove a global symbol
• erf -- error function
• erf(CC) -- error function
• erf(RR) -- error function
• erf(RRi) -- error function
• erfc -- complementary error function
• erfc(CC) -- complementary error function
• erfc(RR) -- complementary error function
• erfc(RRi) -- complementary error function
• error -- deliver error message
• error handling -- signalling and trapping errors
• errorDepth -- set the error printing depth
• euler
• euler(ProjectiveHilbertPolynomial) -- constant term of the Hilbert polynomial
• EulerConstant -- the Euler-Mascheroni constant
• eulers
• evaluation and composition of ring maps
• even -- tell whether an integer is even
• EXAMPLE -- construct a hypertext item from a Macaulay2 input string
• EXAMPLE(PRE) -- construct a hypertext item from a Macaulay2 input string
• EXAMPLE(String) -- construct a hypertext item from a Macaulay2 input string
• EXAMPLE(VisibleList) -- construct a hypertext item from a Macaulay2 input string
• ExampleFiles -- data files corresponding to a documentation node
• examples -- list the examples in documentation
• examples of specifying alternate monomial orders
• examples(DocumentTag) -- list the examples in documentation
• examples(List) -- list the examples in documentation
• examples(Thing) -- list the examples in documentation
• examples(ZZ) -- list the examples in documentation
• exchange -- exchange the value of an atomic integer
• exchange(AtomicInt,ZZ) -- exchange the value of an atomic integer
• Exclude -- an optional argument
• exec -- execute another program
• exit -- exit the program
• exp -- exponential function
• exp(CC) -- exponential function
• exp(RingElement)
• exp(RR) -- exponential function
• exp(RRi) -- exponential function
• expm1 -- exponential minus 1
• expm1(CC) -- exponential minus 1
• expm1(RR) -- exponential minus 1
• expm1(RRi) -- exponential minus 1
• exponents -- the exponents of a polynomial
• exponents(MonoidElement) -- the exponents of a polynomial
• exponents(RingElement) -- the exponents of a polynomial
• export -- export symbols from a package
• export(List) -- export symbols from a package
• export(String) -- export symbols from a package
• exportFrom -- export symbols from a package's private dictionary
• exportFrom(Package,List) -- export symbols from a package's private dictionary
• exportFrom(Package,String) -- export symbols from a package's private dictionary
• exportFrom(String,List) -- export symbols from a package's private dictionary
• exportFrom(String,String) -- export symbols from a package's private dictionary
• exportMutable -- export mutable symbols from a package
• exportMutable(List) -- export mutable symbols from a package
• exportMutable(String) -- export mutable symbols from a package
• Expression -- the class of all expressions
• expression -- convert to an expression
• Ext -- compute an Ext module
• Ext(Ideal,Ideal) -- total Ext module
• Ext(Ideal,Module) -- total Ext module
• Ext(Ideal,Ring) -- total Ext module
• Ext(Module,Ideal) -- total Ext module
• Ext(Module,Module) -- total Ext module
• Ext(Module,Ring) -- total Ext module
• Ext(Ring,Ideal) -- total Ext module
• Ext(Ring,Module) -- total Ext module
• Ext(Ring,Ring) -- total Ext module
• Ext^ZZ(Ideal,Ideal) -- Ext module
• Ext^ZZ(Ideal,Matrix) -- map between Ext modules
• Ext^ZZ(Ideal,Module) -- Ext module
• Ext^ZZ(Ideal,Ring) -- Ext module
• Ext^ZZ(Matrix,Ideal) -- map between Ext modules
• Ext^ZZ(Matrix,Module) -- map between Ext modules
• Ext^ZZ(Matrix,Ring) -- map between Ext modules
• Ext^ZZ(Module,Ideal) -- Ext module
• Ext^ZZ(Module,Matrix) -- map between Ext modules
• Ext^ZZ(Module,Module) -- Ext module
• Ext^ZZ(Module,Ring) -- Ext module
• Ext^ZZ(Ring,Ideal) -- Ext module
• Ext^ZZ(Ring,Matrix) -- map between Ext modules
• Ext^ZZ(Ring,Module) -- Ext module
• Ext^ZZ(Ring,Ring) -- Ext module
• extend -- extend an object
• exterior algebras
• exterior power of a matrix
• exterior power of a module
• exteriorPower -- exterior power
• exteriorPower(...,Strategy=>...) -- choose between Bareiss, Cofactor and Dynamic algorithms
• exteriorPower(ZZ,Matrix) -- exterior power of a matrix
• exteriorPower(ZZ,Module) -- exterior power of a module
• extracting elements
• extracting generators of an ideal
• extracting information about a matrix
• factor -- factor a ring element or a ZZ-module
• factor(Module) -- factor a ZZ-module
• factor(QQ) -- factor a ring element
• factor(RingElement) -- factor a ring element
• factor(ZZ) -- factor a ring element
• factoring polynomials
• false
• Fano -- compute the ideal of a Fano scheme in the Grassmannian
• Fano(ZZ,Ideal) -- compute the ideal of a Fano scheme in the Grassmannian
• Fano(ZZ,Ideal,Ring) -- compute the ideal of a Fano scheme in the Grassmannian
• FastNonminimal -- value of an optional argument
• fflas-ffpack
• File -- the class of all files
• File << Manipulator -- print to a file
• File << Net -- print to a file
• File << String -- print to a file
• File << Symbol -- print to a file
• File << Thing -- print to a file
• file manipulation -- Unix file manipulation functions
• fileDictionaries -- local dictionaries for loaded files
• fileExecutable
• fileExecutable(String)
• fileExists -- whether a file exists
• 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 -- an optional argument
• FilePosition -- the class of all file positions
• fileReadable
• fileReadable(String)
• fileTime -- get or set file modified time
• fileWritable
• fileWritable(String)
• fillMatrix -- fill a mutable matrix with random numbers
• fillMatrix(...,Density=>...) -- fill a mutable matrix with random numbers
• fillMatrix(...,Height=>...) -- fill a mutable matrix with random numbers
• fillMatrix(...,UpperTriangular=>...) -- fill a mutable matrix with random numbers
• fillMatrix(MutableMatrix) -- fill a mutable matrix with random numbers
• fillMatrix(MutableMatrix,ZZ) -- fill a mutable matrix with random numbers
• findFiles -- find files recursively
• findFiles(...,Exclude=>...) -- find files recursively
• findFiles(...,FollowLinks=>...) -- find files recursively
• findFiles(List) -- find files recursively
• findFiles(String) -- find files recursively
• findHeft -- find a heft vector for a list of degrees
• findHeft(...,DegreeGroup=>...) -- find a heft vector for a list of degrees
• findHeft(...,DegreeRank=>...) -- find a heft vector for a list of degrees
• findHeft(List) -- find a heft vector for a list of degrees
• finding the Macaulay2 files
• FindOne -- value of an optional argument
• findProgram -- load external program
• findProgram(...,AdditionalPaths=>...) -- load external program
• findProgram(...,MinimumVersion=>...) -- load external program
• findProgram(...,Prefix=>...) -- load external program
• findProgram(...,RaiseError=>...) -- load external program
• findProgram(...,Verbose=>...) -- load external program
• findProgram(String) -- load external program
• findProgram(String,List) -- load external program
• findProgram(String,String) -- load external program
• findSynonyms -- find synonyms of symbols
• findSynonyms(Symbol) -- find synonyms of symbols
• fine control of a Groebner basis computation
• finite field extensions
• finite fields
• First -- an optional argument
• first -- first element of a list
• firstkey -- get the first key
• fittingIdeal -- Fitting ideal of a module
• fittingIdeal(ZZ,Matrix) -- Fitting ideal of a module
• fittingIdeal(ZZ,Module) -- Fitting ideal of a module
• flagLookup -- flag a symbol
• FlatMonoid
• flatten -- flatten a nested list or a matrix
• flatten(Matrix) -- flatten a nested list or a matrix
• flatten(VisibleList) -- flatten a nested list or a matrix
• flattenRing -- write a ring as a (quotient of a) polynomial ring
• flattenRing(...,CoefficientRing=>...) -- specify the coefficient ring of the flattened ring
• flattenRing(...,Result=>...) -- specify which output(s) to return
• flattenRing(GaloisField) -- write a ring as a (quotient of a) polynomial ring
• flattenRing(Ideal) -- write a ring as a (quotient of a) polynomial ring
• flattenRing(PolynomialRing) -- write a ring as a (quotient of a) polynomial ring
• flattenRing(QuotientRing) -- write a ring as a (quotient of a) polynomial ring
• flattenRing(Ring) -- write a ring as a (quotient of a) polynomial ring
• Flexible -- value of an optional argument
• FLINT
• flip -- isomorphism map of commutativity of tensor product
• flip(Module,Module) -- isomorphism map of commutativity of tensor product
• floor -- floor function
• floor(Constant) -- floor function
• floor(Number) -- floor function
• flush -- flush output to file
• fold -- apply a binary operator repeatedly
• fold(Function,Thing) -- apply a binary operator repeatedly
• fold(Function,Thing,Thing) -- apply a binary operator repeatedly
• fold(Function,VisibleList) -- apply a binary operator repeatedly
• fold(VisibleList,Function) -- apply a binary operator repeatedly
• fold(VisibleList,Thing,Function) -- apply a binary operator repeatedly
• FollowLinks -- an optional argument
• for -- for loops
• forceGB -- declare that the columns of a matrix are a Gröbner basis
• forceGB(...,ChangeMatrix=>...) -- specify the change of basis matrix from a Gröbner basis to the generators of a module
• forceGB(...,MinimalMatrix=>...) -- specify the minimal generator matrix
• forceGB(...,SyzygyMatrix=>...) -- specify the syzygy matrix
• forceGB(Matrix) -- declare that the columns of a matrix are a Gröbner basis
• fork -- fork the process
• format -- format a string or real number
• format and display of matrices in Macaulay2
• format(CC) -- format a string or real number
• format(DocumentTag) -- the class of all document tags
• format(RR) -- format a string or real number
• format(String) -- format a string or real number
• formation -- recover the methods used to make a module
• formation(Module) -- recover the methods used to make a module
• frac -- construct a fraction field
• frac(EngineRing) -- construct a fraction field
• frac(FractionField) -- construct a fraction field
• frac(Ring) -- construct a fraction field
• fraction
• fraction fields
• fraction(RingElement,RingElement)
• FractionField -- the class of all fraction fields
• frames -- get the frames associated to a closure
• frames(CompiledFunction) -- get the frames associated to a closure
• frames(CompiledFunctionClosure) -- get the frames associated to a closure
• frames(FunctionClosure) -- get the frames associated to a closure
• frames(PseudocodeClosure) -- get the frames associated to a closure
• frames(Sequence) -- get the frames associated to a closure
• frames(Symbol) -- get the frames associated to a closure
• free modules
• frobby
• from -- for loops
• Function -- the class of all functions
• Function @@ Function -- composition of functions
• Function \ Ideal -- apply a function to generators of an ideal
• Function \ Set -- apply a function to elements of a list
• Function \ String -- apply a function to elements of a list
• Function \ VirtualTally -- apply a function to elements of a list
• Function \ VisibleList -- apply a function to elements of a list
• Function \\ Thing -- apply a function
• Function _ Thing -- attach the first argument to a function of two or more arguments
• Function and Function -- conjunction
• function documentation template
• function name documentation template
• Function or Function -- disjunction
• Function Thing -- function application
• Function xor Function -- exclusive disjunction
• 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
• Gamma(CC) -- Gamma function
• Gamma(CC,CC) -- Gamma function
• Gamma(CC,RR) -- Gamma function
• Gamma(RR) -- Gamma function
• Gamma(RR,CC) -- Gamma function
• Gamma(RR,RR) -- Gamma function
• Gamma(RR,RRi) -- Gamma function
• Gamma(RRi) -- Gamma function
• Gamma(RRi,RR) -- Gamma function
• Gamma(RRi,RRi) -- Gamma function
• gb -- compute a Gröbner basis
• gb(...,Algorithm=>...)
• gb(...,BasisElementLimit=>...) -- compute a Gröbner basis
• gb(...,ChangeMatrix=>...) -- compute a Gröbner basis
• gb(...,CodimensionLimit=>...) -- compute a Gröbner basis
• gb(...,DegreeLimit=>...) -- compute a Gröbner basis
• gb(...,GBDegrees=>...) -- compute a Gröbner basis
• gb(...,HardDegreeLimit=>...) -- compute a Gröbner basis
• gb(...,Hilbert=>...) -- compute a Gröbner basis
• gb(...,MaxReductionCount=>...) -- compute a Gröbner basis
• gb(...,PairLimit=>...) -- compute a Gröbner basis
• gb(...,StopBeforeComputation=>...) -- compute a Gröbner basis
• gb(...,StopWithMinimalGenerators=>...) -- compute a Gröbner basis
• gb(...,Strategy=>...) -- compute a Gröbner basis
• gb(...,SubringLimit=>...) -- compute a Gröbner basis
• gb(...,Syzygies=>...) -- compute a Gröbner basis
• gb(...,SyzygyLimit=>...) -- compute a Gröbner basis
• gb(...,SyzygyRows=>...) -- compute a Gröbner basis
• gb(Ideal) -- compute a Gröbner basis
• gb(Matrix) -- compute a Gröbner basis
• gb(Module) -- compute a Gröbner basis
• GBDegrees -- an optional argument
• gbRemove -- remove Gröbner basis
• gbRemove(Ideal) -- remove Gröbner basis
• gbRemove(Matrix) -- remove Gröbner basis
• gbRemove(Module) -- remove Gröbner basis
• gbSnapshot -- the Gröbner basis matrix as so far computed
• gbSnapshot(Ideal) -- the Gröbner basis matrix as so far computed
• gbSnapshot(Matrix) -- the Gröbner basis matrix as so far computed
• gbSnapshot(Module) -- the Gröbner basis matrix as so far computed
• gbTrace -- current engine computation tracing level
• GC garbage collector
• gcd -- greatest common divisor
• gcd() -- greatest common divisor
• gcd(List) -- greatest common divisor
• gcd(QQ) -- greatest common divisor
• gcd(QQ,QQ) -- greatest common divisor
• gcd(QQ,ZZ) -- greatest common divisor
• gcd(RingElement) -- greatest common divisor
• gcd(RingElement,RingElement) -- greatest common divisor
• gcd(RingElement,ZZ) -- greatest common divisor
• gcd(Sequence) -- greatest common divisor
• gcd(ZZ) -- greatest common divisor
• gcd(ZZ,QQ) -- greatest common divisor
• gcd(ZZ,RingElement) -- greatest common divisor
• gcd(ZZ,ZZ) -- greatest common divisor
• gcdCoefficients -- greatest common divisor with coefficients
• gcdCoefficients(RingElement,RingElement) -- greatest common divisor with coefficients
• gcdCoefficients(RingElement,ZZ) -- greatest common divisor with coefficients
• gcdCoefficients(ZZ,RingElement) -- greatest common divisor with coefficients
• gcdCoefficients(ZZ,ZZ) -- greatest common divisor with coefficients
• GCstats -- information about the status of the garbage collector
• genera
• GeneralOrderedMonoid -- the class of all ordered free commutative monoids
• GenerateAssertions -- trace a function each time it's run
• generateAssertions -- generate assert statements from experimental input
• generateAssertions(String) -- generate assert statements from experimental input
• generator -- provide a single generator
• generator(Ideal) -- provide a single generator
• generator(Module) -- provide a single generator
• generators -- provide matrix or list of generators
• generators of rings, ideals, and modules
• generators(...,CoefficientRing=>...) -- the list of generators of a ring
• 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(Monoid) -- list of generators
• generators(MonomialIdeal) -- the generator matrix of an ideal
• generators(Ring) -- the list of generators of a ring
• Generic -- an optional argument
• genericMatrix -- make a generic matrix of variables
• genericMatrix(Ring,RingElement,ZZ,ZZ) -- make a generic matrix of variables
• genericMatrix(Ring,ZZ,ZZ) -- make a generic matrix of variables
• genericSkewMatrix -- make a generic skew symmetric matrix of variables
• genericSkewMatrix(Ring,RingElement,ZZ) -- make a generic skew symmetric matrix of variables
• genericSkewMatrix(Ring,ZZ) -- make a generic skew symmetric matrix of variables
• genericSymmetricMatrix -- make a generic symmetric matrix
• genericSymmetricMatrix(Ring,RingElement,ZZ) -- make a generic symmetric matrix
• genericSymmetricMatrix(Ring,ZZ) -- make a generic symmetric matrix
• genus
• get -- get the contents of a file
• get a monomial by exponent vector -- make a monomial from a list of exponents
• get a ring variable by index -- get a ring variable by index
• get a ring variable by name -- get a ring variable by name
• get(File) -- get the contents of a file
• get(String) -- get the contents of a file
• getc -- get a byte
• getc(File) -- get a byte
• getChangeMatrix -- get the change of basis matrix
• getChangeMatrix(GroebnerBasis) -- get the change of basis matrix
• getenv -- get value of environment variable
• getenv(String) -- get value of environment variable
• getGlobalSymbol -- create a global symbol in a global dictionary
• getIOThreadMode -- get I/O thread mode
• getNetFile -- get the sequence of completed lines (nets) from a net file
• getNonUnit -- retrieve a previously discovered non-unit
• getPrimeWithRootOfUnity -- find a prime p with a primitive n-th root of unity r in ZZ/p
• getPrimeWithRootOfUnity(...,Range=>...) -- find a prime p with a primitive n-th root of unity r in ZZ/p
• getPrimeWithRootOfUnity(ZZ,ZZ) -- find a prime p with a primitive n-th root of unity r in ZZ/p
• getSymbol -- make a global user symbol from a string
• getting help or reporting bugs
• getting input from the user
• getWWW -- get a web page
• getWWW(String) -- get a web page
• getWWW(String,Nothing) -- get a web page
• getWWW(String,String) -- get a web page
• GF -- make a finite field
• GF(...,PrimitiveElement=>...) -- make a finite field
• GF(...,SizeLimit=>...) -- make a finite field
• GF(...,Strategy=>...) -- make a finite field
• GF(...,Variable=>...) -- make a finite field
• GF(Ring) -- make a finite field
• GF(ZZ) -- make a finite field
• GF(ZZ,ZZ) -- make a finite field
• gfan
• givaro
• GLex -- graded lexicographic ordering
• Global -- monomial ordering
• 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
• GlobalHookStore -- add a hook function to an object for later processing
• globalReleaseFunction -- the standard method for the global variable release hook
• GlobalReleaseHook
• GNU MP
• Gröbner bases
• Gröbner basis algorithms
• graded and multigraded polynomial rings
• gradedModule -- make a graded module
• graphIdeal -- the ideal of the graph of the regular map corresponding to a ring map
• graphIdeal(...,MonomialOrder=>...) -- the ideal of the graph of the regular map corresponding to a ring map
• graphIdeal(...,MonomialSize=>...) -- the ideal of the graph of the regular map corresponding to a ring map
• graphIdeal(...,VariableBaseName=>...) -- the ideal of the graph of the regular map corresponding to a ring map
• graphIdeal(RingMap) -- the ideal of the graph of the regular map corresponding to a ring map
• graphRing -- the coordinate ring of the graph of the regular map corresponding to a ring map
• graphRing(...,MonomialOrder=>...) -- the coordinate ring of the graph of the regular map corresponding to a ring map
• graphRing(...,MonomialSize=>...) -- the coordinate ring of the graph of the regular map corresponding to a ring map
• graphRing(...,VariableBaseName=>...) -- the coordinate ring of the graph of the regular map corresponding to a ring map
• graphRing(RingMap) -- the coordinate ring of the graph of the regular map corresponding to a ring map
• Grassmannian -- compute the ideal of the Grassmannian of linear subspaces of a vector space
• Grassmannian(...,CoefficientRing=>...) -- compute the ideal of the Grassmannian of linear subspaces of a vector space
• Grassmannian(...,Variable=>...) -- compute the ideal of the Grassmannian of linear subspaces of a vector space
• Grassmannian(ZZ,ZZ) -- compute the ideal of the Grassmannian of linear subspaces of a vector space
• Grassmannian(ZZ,ZZ,PolynomialRing) -- compute the ideal of the Grassmannian of linear subspaces of a vector space
• GRevLex -- graded reverse lexicographical monomial ordering
• Groebner basis examples and applications
• GroebnerBasis -- the class of all Gröbner bases
• groebnerBasis -- Gröbner basis, as a matrix
• groebnerBasis(...,Strategy=>...) -- Gröbner basis, as a matrix
• groebnerBasis(Ideal) -- Gröbner basis, as a matrix
• groebnerBasis(Matrix) -- Gröbner basis, as a matrix
• groebnerBasis(Module) -- Gröbner basis, as a matrix
• GroebnerBasisOptions
• groupID -- the process group identifier
• GroupLex -- invert some variables with lexicographical ordering
• GroupRevLex -- invert some variables with reverse lexicographical ordering
• handleInterrupts
• handling hypertext
• HardDegreeLimit -- an optional argument
• hash -- hash code of an object
• hash tables
• hashing
• HashTable -- the class of all hash tables
• hashTable -- make a hash table
• HashTable # Thing -- get value from list, hash table, database, dictionary, or string
• HashTable #? Thing -- check existence of value in a list, hash table, database, or string
• hashTable(BasicList) -- make a hash table
• hashTable(Function,BasicList) -- make a hash table
• HeaderType -- a class of lists with abbreviated constructors
• HeaderType List -- a class of lists with abbreviated constructors
• HeaderType Sequence -- a class of lists with abbreviated constructors
• Heading -- a standardized synopsis for use in documentation nodes
• Headline -- headline of a documentation node
• headlines -- display a table of documentation headlines
• headlines(List) -- display a table of documentation headlines
• Heft -- an optional argument
• heft -- heft vector of ring or monoid
• heft vectors
• heft(Monoid) -- heft vector of ring or monoid
• heft(PolynomialRing) -- heft vector of ring or monoid
• heft(QuotientRing) -- heft vector of ring or monoid
• heft(Ring) -- heft vector of ring or monoid
• Height -- an optional argument
• height -- height of an object
• height(File) -- get window height
• height(Net) -- height of a net
• height(String) -- height of a net
• help -- view documentation nodes
• help(Array) -- view documentation nodes
• help(DocumentTag) -- view documentation nodes
• help(List) -- view documentation nodes
• help(Sequence) -- view documentation nodes
• help(String) -- view documentation nodes
• help(Symbol) -- view documentation nodes
• help(Thing) -- view documentation nodes
• help(ZZ) -- display a table of documentation headlines
• Hermitian -- an optional argument
• HH -- general homology and cohomology functor
• HH^ZZ Module -- local cohomology of a module
• Hilbert -- an optional argument
• Hilbert functions and free resolutions -- including degree and betti numbers
• hilbertFunction -- the Hilbert function
• hilbertFunction(Ideal) -- the Hilbert function
• hilbertFunction(List,Ideal) -- the Hilbert function
• hilbertFunction(List,Module) -- the Hilbert function
• hilbertFunction(List,Ring) -- the Hilbert function
• hilbertFunction(Module) -- the Hilbert function
• hilbertFunction(Ring) -- the Hilbert function
• hilbertFunction(ZZ,Ideal) -- the Hilbert function
• hilbertFunction(ZZ,Module) -- the Hilbert function
• hilbertFunction(ZZ,Ring) -- the Hilbert function
• hilbertPolynomial -- compute the Hilbert polynomial
• hilbertPolynomial(...,Projective=>...) -- choose how to display the Hilbert polynomial
• 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(Ring) -- compute the Hilbert polynomial of the ring
• hilbertPolynomial(ZZ,BettiTally) -- the class of all Betti tallies
• 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(QuotientRing) -- compute the Hilbert series of a ring
• hilbertSeries(ZZ,BettiTally) -- the class of all Betti tallies
• hold -- hold something in a holder expression
• Holder -- the class of all holder expressions
• Hom -- module of homomorphisms
• Hom(...,DegreeLimit=>...) -- module of homomorphisms
• Hom(...,MinimalGenerators=>...) -- module of homomorphisms
• Hom(...,Strategy=>...) -- module of homomorphisms
• Hom(Ideal,Ideal) -- module of homomorphisms
• Hom(Ideal,Module) -- module of homomorphisms
• Hom(Ideal,Ring) -- module of homomorphisms
• Hom(Matrix,Matrix) -- induced map on Hom
• Hom(Matrix,Module) -- induced map on Hom
• Hom(Module,Ideal) -- module of homomorphisms
• Hom(Module,Matrix) -- induced map on Hom
• Hom(Module,Module) -- module of homomorphisms
• Hom(Module,Ring) -- module of homomorphisms
• Hom(Ring,Ideal) -- module of homomorphisms
• Hom(Ring,Module) -- module of homomorphisms
• Hom(Ring,Ring) -- module of homomorphisms
• homeDirectory -- the home directory of the user
• HomePage -- the preamble of a package
• Homogeneous2
• homogenize -- homogenize with respect to a variable
• homogenize(Ideal,RingElement) -- homogenize with respect to a variable
• homogenize(Matrix,RingElement) -- homogenize with respect to a variable
• homogenize(Matrix,RingElement,List) -- homogenize with respect to a variable
• homogenize(Module,RingElement) -- homogenize with respect to a variable
• homogenize(Module,RingElement,List) -- homogenize with respect to a variable
• homogenize(RingElement,RingElement) -- homogenize with respect to a variable
• homogenize(RingElement,RingElement,List) -- homogenize with respect to a variable
• homogenize(Vector,RingElement) -- homogenize with respect to a variable
• homogenize(Vector,RingElement,List) -- homogenize with respect to a variable
• homological algebra
• homology -- general homology functor
• homology(Matrix,Matrix) -- homology of a pair of maps
• homomorphism -- get the homomorphism from element of Hom
• homomorphism' -- get the element of Hom from a homomorphism
• homomorphism'(...,DegreeLimit=>...) -- get the element of Hom from a homomorphism
• homomorphism'(...,MinimalGenerators=>...) -- get the element of Hom from a homomorphism
• homomorphism'(...,Strategy=>...) -- get the element of Hom from a homomorphism
• homomorphism'(Matrix) -- get the element of Hom from a homomorphism
• homomorphism(Matrix) -- get the homomorphism from element of Hom
• homomorphism(Vector) -- get the homomorphism from element of Hom
• hooks -- list hooks attached to a key
• hooks(...,Strategy=>...) -- list hooks attached to a key
• hooks(HashTable) -- list hooks attached to a key
• hooks(List) -- list hooks attached to a key
• hooks(Sequence) -- list hooks attached to a key
• hooks(Symbol) -- list hooks attached to a key
• hooks(Thing) -- list hooks attached to a key
• hooks(ZZ) -- list hooks attached to a key
• horizontalJoin -- join nets or strings horizontally
• horizontalJoin(BasicList) -- join nets or strings horizontally
• HorizontalSpace -- an optional argument
• how Macaulay2 finds its files
• html -- convert to HTML format
• httpHeaders -- prepend http headers to a string
• httpHeaders(String) -- prepend http headers to a string
• hypertext -- prepare hypertext for display
• hypertext list format
• id -- identity map
• id _ Module -- identity map
• id _ Ring -- identity map
• Ideal -- the class of all ideals
• ideal -- make an ideal
• Ideal * Ideal -- product of ideals
• Ideal * Module -- a binary operator, usually used for multiplication
• Ideal * Ring -- a binary operator, usually used for multiplication
• Ideal * Vector -- a binary operator, usually used for multiplication
• Ideal ** Ring -- tensor product
• Ideal + Ideal -- sum of ideals
• Ideal + Number -- a unary or binary operator, usually used for addition
• Ideal + RingElement -- a unary or binary operator, usually used for addition
• Ideal / Function -- apply a function to generators of an ideal
• Ideal / Ideal -- quotient module
• Ideal == Ideal
• Ideal == ZZ
• Ideal ^ Array -- bracket power of an ideal
• Ideal ^ ZZ -- power of an ideal
• Ideal _ List -- map from free module to some generators
• Ideal _ ZZ
• Ideal _*
• ideal(List) -- make an ideal
• ideal(Matrix) -- make an ideal
• ideal(Module) -- convert a module to an ideal
• ideal(MonomialIdeal) -- convert a monomial ideal to an ideal
• ideal(Number) -- make an ideal
• ideal(QuotientRing) -- get the defining ideal
• ideal(Ring) -- get the defining ideal
• ideal(RingElement) -- make an ideal
• ideal(Sequence) -- make an ideal
• ideals
• ideals to and from matrices
• ideals to and from modules
• identity -- the identity function
• if -- condition testing
• IgnoreExampleErrors -- an optional argument
• ii -- the square root of -1
• image -- image of a map
• image(Matrix) -- image of a map
• image(RingElement) -- image of a map
• imaginaryPart -- imaginary part
• imaginaryPart(InexactNumber) -- imaginary part
• imaginaryPart(Number) -- imaginary part
• imaginaryPart(QQ) -- imaginary part
• imaginaryPart(ZZ) -- imaginary part
• ImmutableType -- the class of all immutable types
• importFrom -- import symbols to the current private dictionary
• importFrom(Package,List) -- import symbols to the current private dictionary
• importFrom(Package,String) -- import symbols to the current private dictionary
• importFrom(String,List) -- import symbols to the current private dictionary
• importFrom(String,String) -- import symbols to the current private dictionary
• importing and exporting matrices
• in -- for loops
• incomparable -- a result indicating incomparability
• independentSets -- some size-maximal independent subsets of variables modulo an ideal
• independentSets(...,Limit=>...) -- some size-maximal independent subsets of variables modulo an ideal
• independentSets(Ideal) -- some size-maximal independent subsets of variables modulo an ideal
• independentSets(MonomialIdeal) -- 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
• index(RingElement) -- 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 <- Thing -- assignment with left side evaluated
• IndexedVariable ? IndexedVariable -- comparison operator
• IndexedVariable _ Ring -- get a ring variable by name
• IndexedVariableTable
• IndexedVariableTable _ Thing
• IndexedVariableTable _ Thing = Thing
• indices -- indices of a polynomial; also components for a direct sum
• indices(Matrix) -- indices of variables occurring in a polynomial
• indices(RingElement) -- indices of variables occurring in a polynomial
• inducedMap -- compute an induced map
• inducedMap(...,Degree=>...) -- specify the degree of a map
• inducedMap(...,Verify=>...) -- verify that a map is well-defined
• inducedMap(Module,Module) -- compute the map induced by the identity
• inducedMap(Module,Module,Matrix) -- compute the induced map
• inducedMap(Module,Nothing,Matrix) -- compute the induced map
• inducedMap(Nothing,Module,Matrix) -- compute the induced map
• inducedMap(Nothing,Nothing,Matrix) -- compute the induced map
• inducesWellDefinedMap -- whether a map is well defined
• inducesWellDefinedMap(Module,Module,Matrix) -- whether a map is well defined
• inducesWellDefinedMap(Module,Nothing,Matrix) -- whether a map is well defined
• inducesWellDefinedMap(Nothing,Module,Matrix) -- whether a map is well defined
• inducesWellDefinedMap(Nothing,Nothing,Matrix) -- whether a map is well defined
• InexactField -- the class of inexact fields
• InexactFieldFamily -- the class of all families of inexact fields
• InexactFieldFamily Array -- the standard way to make a polynomial ring
• InexactFieldFamily List -- make a local polynomial ring
• InexactFieldFamily Monoid -- make a polynomial ring
• InexactNumber
• InexactNumber * Constant -- a binary operator, usually used for multiplication
• InexactNumber + Constant -- a unary or binary operator, usually used for addition
• InexactNumber + RingElement -- a unary or binary operator, usually used for addition
• InexactNumber - Constant -- a unary or binary operator, usually used for negation or subtraction
• InexactNumber - RingElement -- a unary or binary operator, usually used for negation or subtraction
• InexactNumber'
• InfiniteNumber -- the class of all infinite numbers
• InfiniteNumber + CC -- a unary or binary operator, usually used for addition
• InfiniteNumber + InfiniteNumber -- a unary or binary operator, usually used for addition
• InfiniteNumber + Number -- a unary or binary operator, usually used for addition
• InfiniteNumber - CC -- a unary or binary operator, usually used for negation or subtraction
• InfiniteNumber - InfiniteNumber -- a unary or binary operator, usually used for negation or subtraction
• InfiniteNumber - Number -- a unary or binary operator, usually used for negation or subtraction
• infinity -- infinity
• info -- convert hypertext to info format
• info(Nothing) -- convert hypertext to info format
• info(String) -- convert hypertext to info format
• InfoDirSection -- an optional argument
• infoHelp -- view documentation in Info format
• infoHelp(DocumentTag) -- view documentation in Info format
• infoHelp(Thing) -- view documentation in Info format
• infoHelp(ZZ) -- display a table of documentation headlines
• information about a map of modules
• informing others about your package
• inheritance
• Inhomogeneous -- value of an optional argument
• initial help -- Welcome to Macaulay2
• initialization file
• input -- read Macaulay2 commands and echo
• Inputs -- inputs for a function in a documentation node
• inputting a matrix
• insert -- copy a list, inserting an element
• insert(ZZ,Thing,BasicList) -- copy a list, inserting an element
• installAssignmentMethod -- install methods assignment to the value of an operator
• installAssignmentMethod(Symbol,HashTable,Function) -- install methods assignment to the value of an operator
• installAssignmentMethod(Symbol,HashTable,HashTable,Function) -- install methods assignment to the value of an operator
• installAssignmentMethod(Symbol,HashTable,HashTable,Option) -- install methods assignment to the value of an operator
• installAssignmentMethod(Symbol,HashTable,Option) -- install methods assignment to the value of an operator
• installedPackages
• installHilbertFunction -- assemble degrees of a ring, module, or ideal into a polynomial
• installing assignment methods -- install methods assignment to the value of an operator
• installing augmented assignment methods
• installing methods
• installMethod -- install methods
• installPackage -- load and install a package and its documentation
• installPackage(...,CacheExampleOutput=>...) -- load and install a package and its documentation
• installPackage(...,CheckDocumentation=>...) -- load and install a package and its documentation
• installPackage(...,DebuggingMode=>...) -- load and install a package and its documentation
• installPackage(...,FileName=>...) -- load and install a package and its documentation
• installPackage(...,IgnoreExampleErrors=>...) -- load and install a package and its documentation
• installPackage(...,InstallPrefix=>...) -- load and install a package and its documentation
• installPackage(...,MakeDocumentation=>...) -- load and install a package and its documentation
• installPackage(...,MakeHTML=>...) -- load and install a package and its documentation
• installPackage(...,MakeInfo=>...) -- load and install a package and its documentation
• installPackage(...,MakePDF=>...) -- load and install a package and its documentation
• installPackage(...,RemakeAllDocumentation=>...) -- load and install a package and its documentation
• installPackage(...,RerunExamples=>...) -- load and install a package and its documentation
• installPackage(...,RunExamples=>...) -- load and install a package and its documentation
• installPackage(...,SeparateExec=>...) -- load and install a package and its documentation
• installPackage(...,UserMode=>...) -- load and install a package and its documentation
• installPackage(...,Verbose=>...) -- load and install a package and its documentation
• installPackage(Package) -- load and install a package and its documentation
• installPackage(String) -- load and install a package and its documentation
• InstallPrefix -- an optional argument
• instance -- whether something has a certain type
• instance(Thing,Type) -- whether something has a certain type
• instances
• instances(Type)
• integers modulo a prime
• integrate -- numerical integration
• integrate(Function,InfiniteNumber,InfiniteNumber) -- numerical integration
• integrate(Function,InfiniteNumber,Number) -- numerical integration
• integrate(Function,Number,InfiniteNumber) -- numerical integration
• integrate(Function,Number,Number) -- numerical integration
• interpreterDepth -- nesting depth of the interpreter
• intersect -- compute an intersection
• intersect(Ideal) -- compute an intersection of a sequence of ideals or modules
• intersect(Ideal,Ideal) -- compute an intersection of a sequence of ideals or modules
• intersect(Ideal,Ideal,MinimalGenerators=>...) -- compute an intersection of a sequence of ideals or modules
• intersect(Ideal,Ideal,Strategy=>...) -- compute an intersection of a sequence of ideals or modules
• intersect(List) -- compute an intersection
• intersect(Module) -- compute an intersection of a sequence of ideals or modules
• intersect(Module,Module) -- compute an intersection of a sequence of ideals or modules
• intersect(Module,Module,MinimalGenerators=>...) -- compute an intersection of a sequence of ideals or modules
• intersect(Module,Module,Strategy=>...) -- compute an intersection of a sequence of ideals or modules
• intersect(RRi) -- intersection of input intervals
• intersect(RRi,Precision=>...) -- intersection of input intervals
• intersect(RRi,RRi) -- intersection of input intervals
• intersect(RRi,RRi,Precision=>...) -- intersection of input intervals
• intersect(Sequence) -- compute an intersection
• intersect(Set,Set) -- set intersection
• Intersection -- value of an optional argument
• intersection of ideals
• interval -- construct an interval
• interval(...,Precision=>...) -- construct an interval
• interval(Array) -- construct an interval
• interval(QQ) -- construct an interval
• interval(QQ,QQ) -- construct an interval
• interval(QQ,RR) -- construct an interval
• interval(QQ,ZZ) -- construct an interval
• interval(RR) -- construct an interval
• interval(RR,QQ) -- construct an interval
• interval(RR,RR) -- construct an interval
• interval(RR,ZZ) -- construct an interval
• interval(ZZ) -- construct an interval
• interval(ZZ,QQ) -- construct an interval
• interval(ZZ,RR) -- construct an interval
• interval(ZZ,ZZ) -- construct an interval
• inverse -- compute the inverse
• inverse(Matrix) -- compute the inverse
• inverse(MutableMatrix) -- compute the inverse
• inverse(RingMap) -- compute the inverse
• inverseErf -- inverse error function
• inverseErf(RR) -- inverse error function
• inverseErf(RRi) -- inverse error function
• InverseMethod -- compute reciprocals
• inversePermutation -- inverse permutation
• inversePermutation(VisibleList) -- inverse permutation
• inverseRegularizedBeta -- inverse of the regularized beta function
• inverseRegularizedBeta(RR,RR,RR) -- inverse of the regularized beta function
• inverseRegularizedGamma -- inverse of the upper regularized gamma function
• inverseRegularizedGamma(RR,RR) -- inverse of the upper regularized gamma function
• Inverses -- an optional argument
• Invertible -- an optional argument
• invoking the Macaulay2 program
• irreducibleCharacteristicSeries -- irreducible characteristic series of an ideal
• irreducibleCharacteristicSeries(Ideal) -- irreducible characteristic series of an ideal
• isAffineRing -- whether something is an affine ring
• isAffineRing(PolynomialRing) -- whether something is an affine ring
• isAffineRing(QuotientRing) -- whether something is an affine ring
• isAffineRing(Ring) -- whether something is an affine ring
• isANumber -- whether a number is not not-a-number
• isANumber(Number) -- whether a number is not not-a-number
• isBorel -- whether an ideal is fixed by upper triangular changes of coordinates
• isBorel(MonomialIdeal) -- whether an ideal is fixed by upper triangular changes of coordinates
• isCanceled -- whether a task has been canceled
• isCanceled(Task) -- whether a task has been canceled
• isCommutative -- whether a ring is commutative
• isCommutative(Ring) -- whether a ring is commutative
• isConstant -- whether a ring element is constant
• isConstant(RingElement) -- whether a ring element is constant
• isDirectory -- whether a file is a directory
• isDirectSum -- whether something is a direct sum
• isDirectSum(Module) -- whether something is a direct sum
• isEmpty -- whether an object is empty
• isEmpty(RRi) -- empty test for an interval
• isEmpty(Thing) -- whether an object is empty
• isExact
• isField -- whether something is a field
• isField(EngineRing) -- whether something is a field
• isField(GaloisField) -- whether something is a field
• isField(Ring) -- whether something is a field
• isFinite -- whether a number is finite
• isFinite(Constant) -- whether a number is finite
• isFinite(InfiniteNumber) -- whether a number is finite
• isFinite(Number) -- whether a number is finite
• isFinitePrimeField -- whether a ring is a finite prime field
• isFinitePrimeField(GaloisField) -- whether a ring is a finite prime field
• isFinitePrimeField(Ring) -- whether a ring is a finite prime field
• isFreeModule -- whether something is a free module
• isFreeModule(Module) -- whether something is a free module
• isFreeModule(Thing) -- whether something is a free module
• isGlobalSymbol -- whether a global symbol with a given name exists
• isHomogeneous -- whether something is homogeneous (graded)
• isHomogeneous(Ideal) -- whether something is homogeneous (graded)
• isHomogeneous(Matrix) -- whether something is homogeneous (graded)
• isHomogeneous(Module) -- whether something is homogeneous (graded)
• isHomogeneous(PolynomialRing) -- whether something is homogeneous (graded)
• isHomogeneous(QuotientRing) -- whether something is homogeneous (graded)
• isHomogeneous(Ring) -- whether something is homogeneous (graded)
• isHomogeneous(RingElement) -- whether something is homogeneous (graded)
• isHomogeneous(RingMap) -- whether something is homogeneous (graded)
• isHomogeneous(Vector) -- whether something is homogeneous (graded)
• isIdeal -- whether something is an ideal
• isIdeal(Ideal) -- whether something is an ideal
• isIdeal(Module) -- whether something is an ideal
• isIdeal(Thing) -- whether something is an ideal
• isInfinite -- whether a number is infinite
• isInfinite(Constant) -- whether a number is infinite
• isInfinite(InfiniteNumber) -- whether a number is infinite
• isInfinite(Number) -- whether a number is infinite
• isInjective -- whether a map is injective
• isInjective(Matrix) -- whether a map is injective
• isInjective(RingMap) -- whether a map is injective
• isInputFile -- whether a file is open for input
• isInputFile(File) -- whether a file is open for input
• isIsomorphism -- whether a map is an isomorphism
• isIsomorphism(Matrix) -- whether a map is an isomorphism
• isListener -- whether a file is open for listening
• isListener(File) -- whether a file is open for listening
• isMember -- test membership in a list or set
• isMember(Number,Ideal) -- test membership in an ideal
• isMember(QQ,RRi) -- membership test in an interval
• isMember(RingElement,Ideal) -- test membership in an ideal
• isMember(RR,RRi) -- membership test in an interval
• isMember(Thing,Set) -- test membership in a list or set
• isMember(Thing,VisibleList) -- test membership in a list or set
• isMember(ZZ,RRi) -- membership test in an interval
• isModule -- whether something is a module
• isModule(Module) -- whether something is a module
• isModule(Thing) -- whether something is a module
• isMonomialIdeal -- whether something is a monomial ideal
• isMonomialIdeal(Ideal) -- whether something is a monomial ideal
• isMonomialIdeal(Module) -- whether something is a monomial ideal
• isMonomialIdeal(MonomialIdeal) -- whether something is a monomial ideal
• isMonomialIdeal(Thing) -- whether something is a monomial ideal
• isMutable -- whether something may be modified
• isMutable(Thing) -- whether something may be modified
• isNormal
• isOpen -- whether a file or database is open
• isOpen(Database) -- whether a file or database is open
• isOpen(File) -- whether a file or database is open
• isOutputFile -- whether a file is open for output
• isOutputFile(File) -- whether a file is open for output
• isPolynomialRing -- whether something is a polynomial ring
• isPolynomialRing(PolynomialRing) -- whether something is a polynomial ring
• isPolynomialRing(Thing) -- whether something is a polynomial ring
• isPrime -- whether a integer or polynomial is prime
• isPrime(RingElement) -- whether a integer or polynomial is prime
• isPrime(ZZ) -- whether a integer or polynomial is prime
• isPrimitive -- whether an element is a primitive element of a finite field
• isPseudoprime -- whether an integer is probably prime
• isPseudoprime(ZZ) -- whether an integer is probably prime
• isQuotientModule -- whether something is evidently a quotient of a free module
• isQuotientModule(Module) -- whether something is evidently a quotient of a free module
• isQuotientModule(Thing) -- whether something is evidently a quotient of a free module
• isQuotientOf -- whether one thing is a quotient of another
• isQuotientOf(Ring,QuotientRing) -- whether one ring is a quotient of another
• isQuotientOf(Ring,Ring) -- whether one ring is a quotient of another
• isQuotientOf(Type,QuotientRing) -- whether one ring is a quotient of a ring of a given type
• isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type
• isQuotientRing -- whether something is a quotient ring
• isQuotientRing(QuotientRing) -- whether something is a quotient ring
• isQuotientRing(Ring) -- whether something is a quotient ring
• isReady -- whether a file has data available for reading
• isReady(File) -- whether a file has data available for reading
• isReady(Task) -- whether a task is finished
• isReal -- whether a number is real
• isReal(CC) -- whether a number is real
• isReal(Constant) -- whether a number is real
• isReal(InfiniteNumber) -- whether a number is real
• isReal(QQ) -- whether a number is real
• isReal(RR) -- whether a number is real
• isReal(RRi) -- whether a number is real
• isReal(ZZ) -- whether a number is real
• isRegularFile -- whether a file is a regular file
• isRing -- whether something is a ring
• isRing(Ring) -- whether something is a ring
• isRing(Thing) -- whether something is a ring
• isSkewCommutative -- whether a ring has skew commuting variables
• isSkewCommutative(PolynomialRing) -- whether a ring has skew commuting variables
• isSkewCommutative(QuotientRing) -- whether a ring has skew commuting variables
• isSkewCommutative(Ring) -- whether a ring has skew commuting variables
• isSmooth
• isSorted -- whether a list is sorted
• isSorted(VisibleList) -- whether a list is sorted
• isSquareFree -- whether something is square free monomial ideal
• isSquareFree(Ideal) -- whether something is square free monomial ideal
• isSquareFree(Module) -- whether something is square free monomial ideal
• isSquareFree(MonomialIdeal) -- whether something is square free monomial ideal
• isSubmodule -- whether a module is evidently a submodule of a free module
• isSubmodule(Module) -- whether a module is evidently a submodule of a free module
• isSubmodule(Thing) -- whether a module is evidently a submodule of a free module
• isSubquotient -- check whether a module is a subquotient of another
• 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(Ideal,Module) -- whether one object is a subset of another
• isSubset(Module,Ideal) -- whether one object is a subset of another
• isSubset(Module,Module) -- whether one object is a subset of another
• isSubset(RRi,RRi) -- subset test for intervals
• isSubset(Set,Set) -- whether one object is a subset of another
• isSubset(Set,VisibleList) -- whether one object is a subset of another
• isSubset(VisibleList,Set) -- whether one object is a subset of another
• isSubset(VisibleList,VisibleList) -- whether one object is a subset of another
• isSurjective -- whether a map is surjective
• isSurjective(Matrix) -- whether a map is surjective
• isTable -- whether something is a list of lists of equal length
• isUnit -- whether a ring element is a unit
• isUnit(Number) -- whether a ring element is a unit
• isUnit(RingElement) -- whether a ring element is a unit
• isUnit(ZZ) -- whether a ring element is a unit
• isVeryAmple
• isWellDefined -- whether a map is well defined
• isWellDefined(Matrix) -- whether a map is well defined
• isWellDefined(RingMap) -- whether a map is well defined
• isWeylAlgebra
• isWeylAlgebra(PolynomialRing)
• isWeylAlgebra(QuotientRing)
• isWeylAlgebra(Ring)
• Iterate -- value of an optional argument
• Iterator -- class for iterators
• iterator -- get an iterator
• iterator(Iterator) -- get an iterator
• iterator(String) -- get an iterator
• iterator(VisibleList) -- get an iterator
• Jacobian -- an optional argument
• 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
• jacobian(RingElement) -- the matrix of partial derivatives of polynomials in a matrix
• Join -- an optional argument
• join -- join lists, sequences, and iterable objects
• KeepFiles -- an optional argument
• KeepZeroes -- an optional argument
• kernel -- kernel of a map
• kernel and coimage of a ring map
• kernel(...,SubringLimit=>...) -- stop after finding enough elements of a subring
• kernel(Matrix) -- kernel of a matrix
• kernel(RingElement) -- kernel of a matrix
• kernel(RingMap) -- kernel of a ringmap
• Key -- key of a documentation node
• keys -- keys used in a hash table, dictionary, or database
• keys(Database) -- keys used in a hash table, dictionary, or database
• keys(Dictionary) -- keys used in a hash table, dictionary, or database
• keys(HashTable) -- keys used in a hash table, dictionary, or database
• Keyword -- the class of all keywords
• Keywords -- an optional argument
• kill -- kill a process
• kill(File) -- kill a process
• kill(ZZ) -- 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
• LAPACK
• last -- last element of a list
• lastMatch -- regular expression matching
• Layout -- relative locations of Macaulay2 files
• lcm -- least common multiple
• lcm() -- least common multiple
• lcm(List) -- least common multiple
• lcm(MonomialIdeal) -- least common multiple of all minimal generators
• lcm(QQ) -- least common multiple
• lcm(QQ,QQ) -- least common multiple
• lcm(QQ,ZZ) -- least common multiple
• lcm(RingElement) -- least common multiple
• lcm(RingElement,RingElement) -- least common multiple
• lcm(RingElement,ZZ) -- least common multiple
• lcm(Sequence) -- least common multiple
• lcm(ZZ) -- least common multiple
• lcm(ZZ,QQ) -- least common multiple
• lcm(ZZ,RingElement) -- least common multiple
• lcm(ZZ,ZZ) -- least common multiple
• leadCoefficient -- the coefficient of the leading term
• leadCoefficient(RingElement) -- the coefficient of the leading term
• leadComponent -- the leading component(s) of a vector or matrix
• leadComponent(Matrix) -- the leading component(s) of a vector or matrix
• leadComponent(Vector) -- the leading component(s) of a vector or matrix
• leadMonomial -- the leading monomial of a ring element
• leadMonomial(RingElement) -- the leading monomial of a ring element
• leadTerm -- get the greatest term
• leadTerm(GroebnerBasis) -- get the greatest term of each column
• leadTerm(Ideal) -- get the ideal of greatest terms
• leadTerm(Matrix) -- get the greatest term of each column
• leadTerm(RingElement) -- get the greatest term
• leadTerm(Vector) -- get the greatest term of each column
• leadTerm(ZZ,GroebnerBasis) -- get the matrix of lead polynomials of each column
• 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
• leadTerm(ZZ,Vector) -- get the matrix of lead polynomials of each column
• Left -- value of an optional argument
• left -- left endpoint of an interval
• left shift
• length -- length of an object
• length(Dictionary) -- length of a dictionary
• length(Module) -- compute the length of a module
• length(Net) -- length of a string
• length(String) -- length of a string
• length(VisibleList) -- length of a visible list
• LengthLimit -- an optional argument
• Lex -- lexicographical monomial ordering
• lift -- lift to another ring
• lift(...,Verify=>...) -- lift to another ring
• lift(BettiTally,type of ZZ) -- the class of all Betti tallies
• lift(CC,type of QQ) -- lift to another ring
• lift(CC,type of RR_*) -- lift to another ring
• lift(CC,type of ZZ) -- lift to another ring
• lift(Ideal,type of QQ) -- lift to another ring
• lift(Ideal,type of RingElement) -- lift to another ring
• lift(Ideal,type of ZZ) -- lift to another ring
• lift(Matrix,type of CC_*,type of QQ) -- lift to another ring
• lift(Matrix,type of CC_*,type of RR_*) -- lift to another ring
• lift(Matrix,type of CC_*,type of ZZ) -- lift to another ring
• lift(Matrix,type of Number) -- lift to another ring
• lift(Matrix,type of QQ,type of QQ) -- lift to another ring
• lift(Matrix,type of QQ,type of ZZ) -- lift to another ring
• lift(Matrix,type of RingElement) -- lift to another ring
• lift(Matrix,type of RR_*,type of QQ) -- lift to another ring
• lift(Matrix,type of RR_*,type of ZZ) -- lift to another ring
• lift(Matrix,type of RRi_*,type of QQ) -- lift to another ring
• lift(Matrix,type of RRi_*,type of RR_*) -- lift to another ring
• lift(Matrix,type of RRi_*,type of ZZ) -- lift to another ring
• lift(Matrix,type of ZZ,type of ZZ) -- lift to another ring
• lift(Module,type of RingElement) -- lift to another ring
• lift(MutableMatrix,type of RingElement) -- lift to another ring
• lift(QQ,type of QQ) -- lift to another ring
• lift(QQ,type of ZZ) -- lift to another ring
• lift(RR,type of QQ) -- lift to another ring
• lift(RR,type of ZZ) -- lift to another ring
• lift(RRi,type of QQ) -- lift to another ring
• lift(RRi,type of RR_*) -- lift to another ring
• lift(RRi,type of ZZ) -- lift to another ring
• lift(Vector,type of RingElement) -- lift to another ring
• lift(ZZ,type of ZZ) -- lift to another ring
• liftable -- whether lifting to another ring is possible
• Limit -- an optional argument
• limitFiles
• limitProcesses
• Linear -- value of an optional argument
• LinearAlgebra
• lineNumber -- current line number
• lines -- split a string into lines
• lines(String) -- split a string into lines
• lines(String,String) -- split a string into lines
• linkFile -- make a new link to a file
• linkFile(String,String) -- make a new link to a file
• List -- the class of all lists -- {...}
• list -- loop control
• List # ZZ -- get value from list, hash table, database, dictionary, or string
• List #? ZZ -- check existence of value in a list, hash table, database, or string
• List * Thing -- a binary operator, usually used for multiplication
• List ** List -- Cartesian product of two lists
• List + List -- sum of two vectors
• List - List -- difference of two vectors
• List - Set -- set difference
• List .. List -- rectangular sequences of consecutive lists and sequences
• List ..< List -- rectangular sequences of consecutive lists and sequences
• List / Command -- apply a function to elements of a list
• List / Function -- apply a function to elements of a list
• List / Number -- scalar division
• List / RingElement -- scalar division
• List / SelfInitializingType -- apply a function to elements of a list
• List // Number -- a binary operator, usually used for quotient
• List // RingElement -- a binary operator, usually used for quotient
• List << List -- component-wise comparison of lists
• List >> Function -- attaching options to a function
• List ? List -- comparison operator
• List | List -- join lists, sequences or arrays
• list of obsolete functions
• listForm -- convert to list form
• listForm(MonoidElement) -- convert to list form
• listForm(RingElement) -- convert to list form
• listLocalSymbols -- display of local symbols and their values
• lists and sequences -- a detailed overview of lists and sequences in Macaulay2
• listSymbols -- compact display of symbols and their values
• listSymbols(Dictionary) -- compact display of symbols and their values
• listSymbols(List) -- compact display of symbols and their values
• listUserSymbols -- display the user's symbols
• lngamma -- logarithm of the Gamma function
• lngamma(CC) -- logarithm of the Gamma function
• lngamma(Number) -- logarithm of the Gamma function
• lngamma(RR) -- logarithm of the Gamma function
• lngamma(RRi) -- logarithm of the Gamma function
• load -- read Macaulay2 commands
• loadDepth -- the load depth
• LoadDocumentation -- an optional argument
• loadedFiles
• loadedPackages -- the list of loaded packages
• loadPackage -- load a package
• loadPackage(...,Configuration=>...) -- load a package
• loadPackage(...,DebuggingMode=>...) -- load a package
• loadPackage(...,FileName=>...) -- load a package
• loadPackage(...,LoadDocumentation=>...) -- load a package
• loadPackage(...,Reload=>...) -- load a package
• loadPackage(Package) -- load a package
• loadPackage(String) -- load a package
• Local -- an optional argument
• local -- get a local symbol
• local rings
• local variables in a file
• local variables in a function
• localDictionaries -- get local dictionaries
• localDictionaries(Dictionary) -- get local dictionaries
• localDictionaries(FunctionClosure) -- get local dictionaries
• localDictionaries(PseudocodeClosure) -- get local dictionaries
• localDictionaries(Symbol) -- get local dictionaries
• LocalDictionary -- the class of all local dictionaries
• locate -- locate source code
• locate(Command) -- locate source code
• locate(DocumentTag) -- the class of all document tags
• locate(Function) -- locate source code
• locate(FunctionBody) -- locate source code
• locate(List) -- locate source code
• locate(Nothing) -- locate source code
• locate(Package) -- locate source code
• locate(Pseudocode) -- locate source code
• locate(Sequence) -- locate source code
• locate(Symbol) -- locate source code
• locate(TestInput) -- locate a package's tests
• locate(ZZ) -- locate source code
• log -- logarithm function
• log(CC) -- logarithm function
• log(RR) -- logarithm function
• log(RR,CC) -- logarithm function
• log(RR,RR) -- logarithm function
• log(RR,RRi) -- logarithm function
• log(RRi) -- logarithm function
• log(RRi,RR) -- logarithm function
• log(RRi,RRi) -- logarithm function
• log1p -- logarithm of 1+x
• log1p(CC) -- logarithm of 1+x
• log1p(RR) -- logarithm of 1+x
• log1p(RRi) -- logarithm of 1+x
• LongPolynomial -- a Strategy option value
• lookup -- look up methods
• lookupCount -- reference count for a symbol
• lrslib
• LUdecomposition -- compute the LU decomposition of a matrix
• LUdecomposition(Matrix) -- compute the LU decomposition of a matrix
• LUdecomposition(MutableMatrix) -- compute the LU decomposition of a matrix
• M2SingularBook -- Macaulay2 examples for the Singular book
• Macaulay2 -- Macaulay2 documentation
• Macaulay2Doc -- Macaulay2 documentation
• Maintainer -- value of an optional argument
• makeDirectory -- make a directory
• makeDirectory(String) -- make a directory
• MakeDocumentation -- an optional argument
• makeDocumentTag -- the class of all document tags
• makeDocumentTag(DocumentTag) -- the class of all document tags
• makeDocumentTag(List) -- the class of all document tags
• makeDocumentTag(String) -- the class of all document tags
• makeDocumentTag(Thing) -- the class of all document tags
• MakeHTML -- an optional argument
• MakeInfo -- an optional argument
• makePackageIndex -- create an index of installed packages
• makePackageIndex(List) -- create an index of installed packages
• makePackageIndex(Sequence) -- create an index of installed packages
• MakePDF -- an optional argument
• making a new method function
• making functions
• making functions with a variable number of arguments
• making functions with multiple return values
• making modules from matrices
• making new classes
• making new functions with optional arguments
• manipulating modules
• manipulating polynomials
• Manipulator -- the class of all file manipulators
• Manipulator Database -- the class of all file manipulators
• Manipulator File -- the class of all file manipulators
• Manipulator NetFile -- the class of all net files
• Manipulator Nothing -- the class of all file manipulators
• map -- make a map
• map(...,Degree=>...) -- specify the degree of a map
• map(...,DegreeLift=>...) -- make a ring map
• map(...,DegreeMap=>...) -- make a ring map
• map(Matrix) -- make a matrix with a different degree
• map(Module) -- identity 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,Matrix) -- create the matrix induced on generators by a given matrix
• map(Module,Module,Number) -- construct the map induced by multiplication by a ring element on the generators
• map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
• map(Module,Module,RingMap,List) -- homomorphism of modules over different rings
• map(Module,Module,RingMap,Matrix) -- homomorphism of modules over different rings
• map(Module,Module,ZZ) -- construct the map induced by multiplication by a ring element on the generators
• map(Module,Nothing,List) -- create a matrix by giving a doubly nested list of ring elements
• map(Module,Nothing,Matrix) -- recast a matrix to have a new target, and a free module as source
• map(Module,Nothing,RingMap,List) -- homomorphism of modules over different rings
• map(Module,Nothing,RingMap,Matrix) -- homomorphism of modules over different rings
• map(Module,RingMap) -- homomorphism of modules over different rings
• map(Module,ZZ,Function) -- create a matrix from a free module by specifying a function that gives each entry
• map(Module,ZZ,List) -- create a matrix by giving a sparse or dense list of entries
• map(Module,ZZ,ZZ) -- construct the map induced by multiplication by a ring element on the generators
• map(Ring,Matrix) -- make a ring map
• 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(Ring,Ring,RingMap) -- make a ring map
• MapExpression -- the class of map expressions
• mapping over hash tables -- apply a function to each element of a hash table
• maps between modules
• markedGB -- make a marked Gröbner basis
• markedGB(...,ChangeMatrix=>...) -- make a marked Gröbner basis
• markedGB(...,MinimalMatrix=>...) -- make a marked Gröbner basis
• markedGB(...,SyzygyMatrix=>...) -- make a marked Gröbner basis
• markedGB(Matrix,Matrix) -- make a marked Gröbner basis
• match -- regular expression matching
• match(...,POSIX=>...) -- regular expression matching
• match(...,Strategy=>...) -- regular expression matching
• match(List,String) -- regular expression matching
• match(String,String) -- regular expression matching
• mathML -- convert to MathML format
• matrices
• matrices to and from modules -- including kernel, cokernel and image
• Matrix -- the class of all matrices
• matrix -- make a matrix
• Matrix % GroebnerBasis -- compute the normal form of a ring element or matrix using a Gröbner basis
• Matrix % Ideal -- normal form of ring elements and matrices
• Matrix % Matrix -- normal form of ring elements and matrices
• Matrix % Module -- normal form of ring elements and matrices
• Matrix % MonomialIdeal -- normal form of ring elements and matrices
• Matrix % RingElement -- normal form of ring elements and matrices
• Matrix * Matrix -- matrix multiplication
• Matrix * Number -- a binary operator, usually used for multiplication
• Matrix * RingElement -- a binary operator, usually used for multiplication
• Matrix * Vector -- a binary operator, usually used for multiplication
• Matrix ** Matrix -- tensor product
• Matrix ** Module -- tensor product
• Matrix ** Ring -- tensor product
• Matrix ** RingElement
• Matrix + Matrix -- a unary or binary operator, usually used for addition
• Matrix + Number -- a unary or binary operator, usually used for addition
• Matrix + RingElement -- a unary or binary operator, usually used for addition
• Matrix ++ Matrix -- direct sum of maps
• Matrix ++ RingElement -- direct sum of maps
• Matrix - Matrix -- a unary or binary operator, usually used for negation or subtraction
• Matrix - Number -- a unary or binary operator, usually used for negation or subtraction
• Matrix - RingElement -- a unary or binary operator, usually used for negation or subtraction
• Matrix / Number -- scalar division
• Matrix / RingElement -- scalar division
• Matrix // GroebnerBasis -- factor a map through another with the same target
• Matrix // Matrix -- factor a map through another with the same target
• Matrix // MonomialIdeal -- factor a map through another with the same target
• Matrix // Number -- factor a map through another with the same target
• Matrix // RingElement -- factor a map through another with the same target
• Matrix == Matrix
• Matrix \\ Matrix -- factor a map through another with the same source
• 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 _ ZZ
• Matrix | Matrix -- join matrices horizontally
• Matrix | Number -- join matrices horizontally
• Matrix | RingElement -- join matrices horizontally
• Matrix || Matrix -- join matrices vertically
• Matrix || Number -- join matrices vertically
• Matrix || RingElement -- join matrices vertically
• matrix(...,Degree=>...) -- create a matrix from a doubly-nested list of ring elements or matrices
• 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(Number) -- make a matrix from a ring element
• matrix(Ring,List) -- create a matrix from a doubly nested list of ring elements or matrices
• matrix(RingElement) -- make a matrix from a ring element
• matrix(RingFamily,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) -- make a matrix
• MatrixExpression -- the class of all matrix expressions
• max -- get the maximum element in a list or sequence
• max(VisibleList) -- get the maximum element in a list or sequence
• maxAllowableThreads -- the maximum possible number of simultaneously running tasks
• maxExponent
• MaximalRank -- an optional argument
• maxPosition -- position of the largest element
• maxPosition(BasicList) -- position of the largest element
• MaxReductionCount -- an optional argument
• memoize -- record results of function evaluation for future use
• memoize(Function) -- record results of function evaluation for future use
• memoize(Function,List) -- record results of function evaluation for future use
• memoizeClear -- record results of function evaluation for future use
• memoizeValues -- record results of function evaluation for future use
• merge -- merge two hash tables
• merge(HashTable,HashTable,Function) -- merge two hash tables
• mergePairs -- merge sorted lists of pairs
• mergePairs(BasicList,BasicList,Function) -- merge sorted lists of pairs
• method -- make a new method function
• method(...,Binary=>...) -- make a new method function
• method(...,Dispatch=>...) -- make a new method function
• method(...,Options=>...) -- make a new method function
• method(...,TypicalValue=>...) -- make a new method function
• MethodFunction -- a type of method function
• MethodFunctionBinary -- a type of method function
• MethodFunctionSingle -- a type of method function
• MethodFunctionWithOptions -- a type of method function
• methodOptions -- recover the options used when a method function was created
• methodOptions(Command) -- recover the options used when a method function was created
• methodOptions(Function) -- recover the options used when a method function was created
• methodOptions(ScriptedFunctor) -- recover the options used when a method function was created
• methods -- list methods
• methods for normal forms and remainder -- normal form of ring elements and matrices
• methods(Command) -- list methods
• methods(Manipulator) -- list methods
• methods(Package) -- list methods
• methods(ScriptedFunctor) -- list methods
• methods(Sequence) -- list methods
• methods(Symbol) -- list methods
• methods(Thing) -- list methods
• methods(Type) -- list methods
• Michael E. Stillman
• midpoint -- midpoint of an interval
• min -- get the minimum element in a list or sequence
• min(VisibleList) -- get the minimum element in a list or sequence
• minExponent
• mingens -- minimal generator matrix
• mingens(...,Strategy=>...) -- a Strategy option value
• mingens(GroebnerBasis) -- (partially constructed) minimal generator matrix
• mingens(Ideal) -- minimal generator matrix
• mingens(Module) -- minimal generator matrix
• mingens(MonomialIdeal) -- minimal generator matrix
• mingle -- mingle elements of several lists
• mingle(BasicList) -- mingle elements of several lists
• minimal presentations and generators
• minimalBetti -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• minimalBetti(...,DegreeLimit=>...) -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• minimalBetti(...,LengthLimit=>...) -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• minimalBetti(...,ParallelizeByDegree=>...) -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• minimalBetti(...,Weights=>...) -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• minimalBetti(Ideal) -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• minimalBetti(Module) -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• MinimalGenerators -- whether to compute minimal generators and return a trimmed set of generators
• MinimalMatrix -- an optional argument
• minimalPresentation -- compute a minimal presentation
• minimalPresentation(...,Exclude=>...) -- compute a minimal presentation of a quotient ring
• 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
• minimalPresentationMap -- compute a minimal presentation of a quotient ring
• minimalPresentationMapInv -- compute a minimal presentation of a quotient ring
• Minimize -- an optional argument
• minimize
• minimizeFilename -- minimize a file name
• MinimumVersion -- an optional argument
• minors -- ideal generated by minors
• minors(...,First=>...) -- ideal generated by minors
• minors(...,Limit=>...) -- ideal generated by minors
• minors(...,Strategy=>...) -- choose between Bareiss, Cofactor and Dynamic algorithms
• minors(ZZ,Matrix) -- ideal generated by minors
• minPosition -- position of the smallest element
• minPosition(BasicList) -- position of the smallest element
• Minus -- the class of all minus expressions
• minus -- additive inverse
• mkdir
• mod -- reduce modulo an integer
• Module -- the class of all modules
• module -- make or get a module
• Module ** Matrix -- tensor product
• Module ** Module -- tensor product of modules
• Module ** Ring -- tensor product
• Module + Module -- sum of submodules
• Module ++ Module -- direct sum of modules
• Module / Ideal -- quotient module
• Module / List -- quotient module
• Module / Module -- quotient module
• Module / RingElement -- quotient module
• Module / Sequence -- quotient module
• Module / Vector -- quotient module
• Module == 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 _ ZZ
• Module _*
• Module Array -- make a chain complex from a module
• module homomorphisms
• module(Ring) -- make or get a module
• module(Vector) -- the module of a vector
• modules
• modulo -- find the pre-image (pullback) of image of a map (low level version)
• modulo(Matrix,Matrix) -- find the pre-image (pullback) of image of a map (low level version)
• modulo(Matrix,Nothing) -- find the pre-image (pullback) of image of a map (low level version)
• modulo(Nothing,Matrix) -- find the pre-image (pullback) of image of a map (low level version)
• Monoid -- the class of all monoids
• monoid -- make or retrieve a monoid
• Monoid ** Monoid -- tensor product of monoids
• Monoid ^** ZZ -- tensor product of monoids
• Monoid _ ZZ -- get a ring variable by index
• Monoid _*
• monoid(...,Constants=>...) -- specify how to handle degrees in the coefficient ring
• monoid(...,DegreeGroup=>...) -- specify the degrees of the variables
• monoid(...,DegreeLift=>...) -- specify maps between degree groups
• monoid(...,DegreeMap=>...) -- specify maps between degree groups
• monoid(...,DegreeRank=>...) -- specify the degrees of the variables
• monoid(...,Degrees=>...) -- specify the degrees of the variables
• monoid(...,Global=>...) -- specify local or global monomial order
• monoid(...,Heft=>...) -- specify a heft vector
• monoid(...,Inverses=>...) -- allow negative exponents in monomials
• monoid(...,Join=>...) -- specify how to handle degrees in the coefficient ring
• monoid(...,Local=>...) -- specify local or global monomial order
• monoid(...,MonomialOrder=>...) -- specify the monomial ordering
• monoid(...,MonomialSize=>...) -- specify the bit-length of monomial exponents in the ring
• monoid(...,SkewCommutative=>...) -- specify skew commuting variables in the ring
• monoid(...,VariableBaseName=>...) -- specify the names of the indeterminates
• monoid(...,Variables=>...) -- specify the names of the indeterminates
• monoid(...,Weights=>...) -- specify weights of the variables
• monoid(...,WeylAlgebra=>...) -- specify differential operators in the ring
• monoid(Array) -- make or retrieve a monoid
• monoid(List) -- make or retrieve a monoid
• monoid(Ring) -- make or retrieve a monoid
• MonoidElement -- the class of all monoid elements
• MonoidElement ^ ZZ -- power
• Monomial -- value of an optional argument
• monomial orderings
• monomial orders for free modules
• 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 -- a binary operator, usually used for multiplication
• MonomialIdeal * Ring -- a binary operator, usually used for multiplication
• MonomialIdeal + MonomialIdeal -- a unary or binary operator, usually used for addition
• MonomialIdeal - MonomialIdeal -- monomial ideal difference
• MonomialIdeal ^ Array -- bracket power of an ideal
• MonomialIdeal ^ ZZ -- power of an ideal
• monomialIdeal(Ideal) -- monomial ideal of lead monomials of a Gröbner basis
• monomialIdeal(List) -- monomial ideal of lead monomials
• monomialIdeal(Matrix) -- monomial ideal of lead monomials
• monomialIdeal(Module) -- monomial ideal of lead monomials of a Gröbner basis
• monomialIdeal(MonomialIdeal) -- monomial ideal of lead monomials of a Gröbner basis
• monomialIdeal(RingElement) -- monomial ideal of lead monomials
• monomialIdeal(Sequence) -- monomial ideal of lead monomials
• MonomialOrder -- monomial ordering
• Monomials -- an optional argument
• monomials -- matrix of monomials in a ring element or matrix
• monomials(...,Variables=>...) -- specify variables
• monomials(Matrix) -- matrix of monomials in a ring element or matrix
• monomials(RingElement) -- matrix of monomials in a ring element or matrix
• MonomialSize -- an optional argument
• monomialSubideal -- find the largest monomial ideal in an ideal
• monomialSubideal(Ideal) -- find the largest monomial ideal in an ideal
• morphisms -- make a map
• moveFile
• moveFile(...,Verbose=>...)
• moveFile(String)
• moveFile(String,String)
• MPFI
• MPFR
• MPSolve -- a library for finding roots of univariate polynomials
• msolve -- a library for solving multivariate polynomial systems
• multidegree -- multidegree
• multidegree(Ideal) -- multidegree
• multidegree(Module) -- multidegree
• multidegree(Ring) -- multidegree
• multigraded -- convert a Betti tally into a multigraded Betti tally
• multigraded(BettiTally) -- convert a Betti tally into a multigraded Betti tally
• MultigradedBettiTally -- the class of all multigraded Betti tallies
• MultigradedBettiTally Sequence -- the class of all multigraded Betti tallies
• mutable matrices
• MutableHashTable -- the class of all mutable hash tables
• mutableIdentity -- make a mutable identity matrix
• mutableIdentity(...,Dense=>...) -- make a mutable identity matrix
• mutableIdentity(Ring,ZZ) -- make a mutable identity matrix
• mutableIdentity(RingFamily,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 * MutableMatrix -- a binary operator, usually used for multiplication
• MutableMatrix + MutableMatrix -- a unary or binary operator, usually used for addition
• MutableMatrix - MutableMatrix -- a unary or binary operator, usually used for negation or subtraction
• MutableMatrix ^ List -- select rows
• MutableMatrix ^ ZZ -- power
• MutableMatrix _ List -- select columns
• MutableMatrix _ Sequence -- get entry of matrix
• MutableMatrix _ Sequence = Thing -- assignment to an element of a mutable matrix
• mutableMatrix(...,Dense=>...) -- make a mutable matrix
• mutableMatrix(List) -- make a mutable matrix
• mutableMatrix(Matrix) -- make a mutable matrix
• mutableMatrix(MutableMatrix) -- make a mutable matrix
• mutableMatrix(Ring,List) -- make a mutable matrix
• mutableMatrix(Ring,ZZ,ZZ) -- make a mutable matrix filled with zeroes
• mutableMatrix(RingFamily,List) -- make a mutable matrix
• mutableMatrix(RingFamily,ZZ,ZZ) -- make a mutable matrix filled with zeroes
• Name -- the preamble of a package
• nanosleep -- sleep for a given number of nanoseconds
• nauty
• NCLex -- non-commutative lexicographical order
• needs -- read Macaulay2 commands if necessary
• needsPackage -- load a package if not already loaded
• needsPackage(...,Configuration=>...) -- load a package if not already loaded
• needsPackage(...,DebuggingMode=>...) -- load a package if not already loaded
• needsPackage(...,FileName=>...) -- load a package if not already loaded
• needsPackage(...,LoadDocumentation=>...) -- load a package if not already loaded
• needsPackage(...,Reload=>...) -- load a package if not already loaded
• needsPackage(String) -- load a package if not already loaded
• Net -- the class of all nets and strings
• net -- format for printing, as a net
• Net # ZZ -- get value from list, hash table, database, dictionary, or string
• Net #? ZZ -- check existence of value in a list, hash table, database, or string
• 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
• net(Thing) -- format for printing, as a net
• NetFile -- the class of all net files
• NetFile << Manipulator -- the class of all net files
• NetFile << Net -- the class of all net files
• NetFile << String -- the class of all net files
• netList -- a table of boxes
• netList(...,Alignment=>...) -- a table of boxes
• netList(...,BaseRow=>...) -- a table of boxes
• netList(...,Boxes=>...) -- a table of boxes
• netList(...,HorizontalSpace=>...) -- a table of boxes
• netList(...,VerticalSpace=>...) -- a table of boxes
• netList(VisibleList) -- a table of boxes
• new -- new objects and new types
• new AtomicInt -- initialize an atomic integer
• new AtomicInt from ZZ -- initialize an atomic integer
• new HashTable from List -- make a hash table from a list
• new Manipulator from Function -- the class of all file manipulators
• new URL from String -- a type representing a URL
• new ZZ from AtomicInt -- load an atomic integer
• newClass -- set the class and parent of an object
• newCoordinateSystem -- change variables
• newCoordinateSystem(PolynomialRing,Matrix) -- change variables
• NewFromMethod
• newline -- the new line character sequence
• NewMethod
• newNetFile -- create a new net file
• NewOfFromMethod
• NewOfMethod
• newPackage -- the preamble of a package
• newPackage(...,Authors=>...) -- the preamble of a package
• newPackage(...,AuxiliaryFiles=>...) -- the preamble of a package
• newPackage(...,CacheExampleOutput=>...) -- the preamble of a package
• newPackage(...,Certification=>...) -- the preamble of a package
• newPackage(...,Configuration=>...) -- the preamble of a package
• newPackage(...,Date=>...) -- the preamble of a package
• newPackage(...,DebuggingMode=>...) -- the preamble of a package
• newPackage(...,Headline=>...) -- the preamble of a package
• newPackage(...,HomePage=>...) -- the preamble of a package
• newPackage(...,InfoDirSection=>...) -- the preamble of a package
• newPackage(...,Keywords=>...) -- the preamble of a package
• newPackage(...,OptionalComponentsPresent=>...) -- the preamble of a package
• newPackage(...,PackageExports=>...) -- the preamble of a package
• newPackage(...,PackageImports=>...) -- the preamble of a package
• newPackage(...,Reload=>...) -- the preamble of a package
• newPackage(...,UseCachedExampleOutput=>...) -- the preamble of a package
• newPackage(...,Version=>...) -- the preamble of a package
• newPackage(String) -- the preamble of a package
• newRing -- make a copy of a ring, with some features changed
• newRing(...,Constants=>...) -- make a copy of a ring, with some features changed
• newRing(...,DegreeGroup=>...) -- make a copy of a ring, with some features changed
• newRing(...,DegreeLift=>...) -- make a copy of a ring, with some features changed
• newRing(...,DegreeMap=>...) -- make a copy of a ring, with some features changed
• newRing(...,DegreeRank=>...) -- make a copy of a ring, with some features changed
• newRing(...,Degrees=>...) -- make a copy of a ring, with some features changed
• newRing(...,Global=>...) -- make a copy of a ring, with some features changed
• newRing(...,Heft=>...) -- make a copy of a ring, with some features changed
• newRing(...,Inverses=>...) -- make a copy of a ring, with some features changed
• newRing(...,Join=>...) -- make a copy of a ring, with some features changed
• newRing(...,Local=>...) -- make a copy of a ring, with some features changed
• newRing(...,MonomialOrder=>...) -- make a copy of a ring, with some features changed
• newRing(...,MonomialSize=>...) -- make a copy of a ring, with some features changed
• newRing(...,SkewCommutative=>...) -- make a copy of a ring, with some features changed
• newRing(...,VariableBaseName=>...) -- make a copy of a ring, with some features changed
• newRing(...,Variables=>...) -- make a copy of a ring, with some features changed
• newRing(...,Weights=>...) -- make a copy of a ring, with some features changed
• newRing(...,WeylAlgebra=>...) -- make a copy of a ring, with some features changed
• newRing(PolynomialRing) -- make a copy of a ring, with some features changed
• newRing(QuotientRing) -- make a copy of a ring, with some features changed
• next -- get the next object from an iterator
• next(Iterator) -- get the next object from an iterator
• nextkey -- the next key in a database
• nextPrime -- compute the smallest prime greater than or equal to a given number
• nextPrime(Number) -- compute the smallest prime greater than or equal to a given number
• NoPrint -- top level method for non-printing results
• norm
• norm(InexactField,MutableMatrix)
• norm(InfiniteNumber,Matrix)
• norm(InfiniteNumber,Number)
• norm(InfiniteNumber,RingElement)
• norm(List)
• norm(Matrix)
• norm(MutableMatrix)
• norm(Number)
• norm(RingElement)
• norm(RR,Matrix)
• norm(RR,MutableMatrix)
• norm(RR,Number)
• norm(RR,RingElement)
• norm(Vector)
• normal forms
• normalCone
• normaliz
• not -- negation
• Nothing -- the empty class
• Nothing #? Thing -- check existence of value in a list, hash table, database, or string
• Nothing << Manipulator -- print to a file
• Nothing << Thing -- print to a file
• notify -- whether to notify the user when a file is loaded
• notImplemented -- print an 'not implemented' error message
• NTL library
• null -- the unique member of the empty class
• nullaryMethods
• nullSpace -- find the null space of a mutable matrix
• nullSpace(MutableMatrix) -- find the null space of a mutable matrix
• Number -- the class of all numbers
• number -- count how many elements of a list satisfy a condition
• Number % GroebnerBasis -- a binary operator, usually used for remainder and reduction
• Number % Ideal -- a binary operator, usually used for remainder and reduction
• Number % RingElement -- a binary operator, usually used for remainder and reduction
• Number * Constant -- a binary operator, usually used for multiplication
• Number * Matrix -- a binary operator, usually used for multiplication
• Number * Vector -- a binary operator, usually used for multiplication
• Number + Constant -- a unary or binary operator, usually used for addition
• Number + Ideal -- a unary or binary operator, usually used for addition
• Number + InfiniteNumber -- a unary or binary operator, usually used for addition
• Number + Matrix -- a unary or binary operator, usually used for addition
• Number + RingElement -- a unary or binary operator, usually used for addition
• Number + Vector -- a unary or binary operator, usually used for addition
• Number - Constant -- a unary or binary operator, usually used for negation or subtraction
• Number - InfiniteNumber -- a unary or binary operator, usually used for negation or subtraction
• Number - Matrix -- a unary or binary operator, usually used for negation or subtraction
• Number - RingElement -- a unary or binary operator, usually used for negation or subtraction
• Number - Vector -- a unary or binary operator, usually used for negation or subtraction
• Number // InfiniteNumber -- a binary operator, usually used for quotient
• Number // Matrix -- factor a map through another with the same target
• Number // RingElement -- a binary operator, usually used for quotient
• Number ^ Ring -- lift to another ring
• Number ^ RingFamily -- lift to another ring
• Number _ Ring -- promote to another ring
• Number | Matrix -- join matrices horizontally
• Number || Matrix -- join matrices vertically
• numbered variables
• NumberedVerticalList -- a type of visible self-initializing list that prints vertically
• numColumns -- number of columns in a matrix or mutable matrix
• numColumns(Matrix) -- number of columns in a matrix or mutable matrix
• numColumns(MutableMatrix) -- number of columns in a matrix or mutable matrix
• numerator -- numerator of a fraction
• numerator(Divide) -- numerator of a fraction
• numeric -- convert to floating point
• numeric types
• numeric(CC) -- convert to floating point
• numeric(Constant) -- convert to floating point
• numeric(IndeterminateNumber) -- convert to floating point
• numeric(InfiniteNumber) -- convert to floating point
• numeric(InfiniteNumber,Constant) -- convert to floating point
• numeric(Matrix) -- convert to floating point
• numeric(Number) -- convert to floating point
• numeric(RR) -- convert to floating point
• numeric(RRi) -- convert to floating point
• numeric(Vector) -- convert to floating point
• numeric(VisibleList) -- convert to floating point
• numeric(ZZ,CC) -- convert to floating point
• numeric(ZZ,Constant) -- convert to floating point
• numeric(ZZ,IndeterminateNumber) -- convert to floating point
• numeric(ZZ,InfiniteNumber) -- convert to floating point
• numeric(ZZ,Matrix) -- convert to floating point
• numeric(ZZ,Number) -- convert to floating point
• numeric(ZZ,RRi) -- convert to floating point
• numeric(ZZ,Vector) -- convert to floating point
• numeric(ZZ,VisibleList) -- convert to floating point
• numericInterval -- convert a constant to an interval
• numericInterval(Constant) -- convert a constant to an interval
• numericInterval(ZZ,Constant) -- convert a constant to an interval
• numgens -- the number of generators
• numgens(EngineRing) -- number of generators of a polynomial ring
• numgens(FractionField) -- number of generators of a polynomial ring
• numgens(Ideal) -- number of generators of an ideal
• numgens(Module) -- number of generators of a module
• numgens(Monoid) -- number of generators of a monoid
• numgens(MonomialIdeal) -- number of generators of a polynomial ring
• numgens(PolynomialRing) -- number of generators of a polynomial ring
• numgens(QuotientRing) -- number of generators of a polynomial ring
• numgens(Ring) -- number of generators of a polynomial ring
• numRows -- number of rows in a matrix or mutable matrix
• numRows(Matrix) -- number of rows in a matrix or mutable matrix
• numRows(MutableMatrix) -- number of rows in a matrix or mutable matrix
• numTBBThreads -- parallelism in engine computations
• obtaining the monomial order of a ring
• odd -- tell whether an integer is odd
• of -- a keyword
• ofClass -- English phrases for types
• ofClass(ImmutableType) -- English phrases for types
• ofClass(List) -- English phrases for types
• ofClass(Type) -- English phrases for types
• on -- trace a function each time it's run
• on(...,CallLimit=>...) -- trace a function each time it's run
• on(...,GenerateAssertions=>...) -- trace a function each time it's run
• on(...,Name=>...) -- trace a function each time it's run
• OneExpression -- the class all one expressions
• oo -- the last output value
• ooo -- the next to the last output value
• oooo -- the third to the last output value
• openDatabase -- open a database file
• openDatabase(String) -- open a database file
• openDatabaseOut -- open a database file for writing
• openDatabaseOut(String) -- open a database file for writing
• openFiles -- list the open files
• openIn -- open an input file
• openIn(String) -- open an input file
• openInOut -- open an input output file
• openInOut(File) -- open an input output file
• openInOut(String) -- open an input output file
• openListener -- open a port for listening
• openListener(String) -- open a port for listening
• openOut -- open an output file
• openOut(String) -- open an output file
• openOutAppend -- open an output file for appending
• openOutAppend(String) -- open an output file for appending
• operatorAttributes -- a hash table with information about Macaulay2 operators
• operators
• Option -- the class of all key-value pairs K => V
• Option ++ Option -- direct sum of modules or maps
• optional argument documentation template
• optional argument name documentation template
• OptionalComponentsPresent -- an optional argument
• Options -- an optional argument
• options -- get options
• options(Command) -- get the optional arguments and default values of a function or method
• options(Function) -- get the optional arguments and default values of a function or method
• options(List) -- get the optional arguments and default values of a function or method
• options(Monoid) -- get values used for optional arguments
• options(Package)
• options(PolynomialRing) -- get values used for optional arguments
• options(QuotientRing) -- get values used for optional arguments
• options(Ring) -- get values used for optional arguments
• options(Sequence) -- get the optional arguments and default values of a function or method
• options(ZZ) -- get the optional arguments and default values of a function or method
• OptionTable -- the class of hash tables for optional arguments
• OptionTable ++ List
• OptionTable ++ OptionTable
• OptionTable >> Function -- attaching options to a function
• or -- disjunction
• Order -- an optional argument
• order -- a key used internally
• OrderedMonoid -- the class of all ordered monoids
• OutputDictionary -- the dictionary for output values
• Outputs -- outputs for a function in a documentation node
• override -- override default values for optional arguments
• overview documentation template
• pack -- pack elements of a list or string into several shorter lists or strings
• pack(BasicList,ZZ) -- pack elements of a list or string into several shorter lists or strings
• pack(String,ZZ) -- pack elements of a list or string into several shorter lists or strings
• pack(ZZ,BasicList) -- pack elements of a list or string into several shorter lists or strings
• pack(ZZ,String) -- pack elements of a list or string into several shorter lists or strings
• Package -- the class of all packages
• package -- get containing package
• package documentation template
• package(Array) -- get containing package
• package(Dictionary) -- get containing package
• package(DocumentTag) -- get containing package
• package(Function) -- get containing package
• package(HashTable) -- get containing package
• package(Nothing) -- get containing package
• package(Option) -- get containing package
• package(Package) -- get containing package
• package(Sequence) -- get containing package
• package(String) -- get containing package
• package(Symbol) -- get containing package
• package(Thing) -- get containing package
• PackageDictionary -- the dictionary for names of packages
• PackageExports -- an optional argument
• PackageImports -- an optional argument
• packages -- Macaulay2 packages
• packages provided with Macaulay2
• packing monomials for efficiency
• pad -- pad a string or net with spaces
• pad(Net,ZZ) -- pad a string or net with spaces
• pad(String,ZZ) -- pad a string or net with spaces
• pad(ZZ,Net) -- pad a string or net with spaces
• pad(ZZ,String) -- pad a string or net with spaces
• pager -- display with paging
• PairLimit -- an optional argument
• pairs -- list the pairs in a hash table, dictionary, or basic list
• pairs(BasicList) -- list the pairs in a hash table, dictionary, or basic list
• pairs(Dictionary) -- list the pairs in a hash table, dictionary, or basic list
• pairs(HashTable) -- list the pairs in a hash table, dictionary, or basic list
• pairs(Thing) -- list the pairs in a hash table, dictionary, or basic list
• PairsRemaining -- an optional argument
• parallel programming with threads and tasks
• parallelApply -- apply a function to each element in parallel
• parallelApply(...,Strategy=>...) -- apply a function to each element in parallel
• parallelApply(BasicList,Function) -- apply a function to each element in parallel
• parallelism in engine computations -- parallelism in engine computations
• ParallelizeByDegree -- parallelism in engine computations
• parent -- parent type of an object
• parent(Thing) -- parent type of an object
• Parenthesize
• parsing precedence, in detail
• part -- select terms of a polynomial by degree(s) or weight(s)
• part(InfiniteNumber,InfiniteNumber,Number) -- select terms of a polynomial by degree(s) or weight(s)
• part(InfiniteNumber,InfiniteNumber,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(InfiniteNumber,InfiniteNumber,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(InfiniteNumber,ZZ,Number) -- select terms of a polynomial by degree(s) or weight(s)
• part(InfiniteNumber,ZZ,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(InfiniteNumber,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(List,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(Nothing,Nothing,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(Nothing,Nothing,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(Nothing,ZZ,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(Nothing,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,InfiniteNumber,Number) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,InfiniteNumber,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,InfiniteNumber,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,Nothing,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,Nothing,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,Number) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,ZZ,Number) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,ZZ,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• part(ZZ,ZZ,VisibleList,RingElement) -- select terms of a polynomial by degree(s) or weight(s)
• 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
• partition(Function,VirtualTally) -- partition a set or list by values of a function
• partition(Function,VirtualTally,VisibleList) -- partition a set or list by values of a function
• partition(Function,VisibleList) -- partition a set or list by values of a function
• partition(Function,VisibleList,VisibleList) -- partition a set or list by values of a function
• 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 -- display terms of a polynomial degree by degree
• parts(RingElement) -- display terms of a polynomial degree by degree
• path -- list of directories to look in
• pdim -- compute the projective dimension
• pdim(BettiTally) -- the class of all Betti tallies
• pdim(Module) -- compute the projective dimension of a module
• peek -- examine contents of an object
• peek' -- examine contents of an object
• peek'(ZZ,Thing) -- examine contents of an object
• permanents -- ideal generated by square permanents of a matrix
• permanents(ZZ,Matrix) -- ideal generated by square permanents of a matrix
• permutations -- produce all permutations of a list
• permutations(VisibleList) -- produce all permutations of a list
• permutations(ZZ) -- produce all permutations of a list
• Pfaffians
• pfaffians -- ideal generated by Pfaffians
• pfaffians(ZZ,Matrix) -- ideal generated by Pfaffians
• pi
• pivots -- list of pivot locations of a matrix
• pivots(Matrix) -- list of pivot locations of a matrix
• plus -- addition
• poincare -- assemble degrees of a ring, module, or ideal into a polynomial
• poincare(BettiTally) -- the class of all Betti tallies
• poincare(Ideal) -- assemble degrees of a ring, module, or ideal into a polynomial
• poincare(Module) -- assemble degrees of a ring, module, or ideal into a polynomial
• poincare(MonomialIdeal) -- assemble degrees of a ring, module, or ideal into a polynomial
• poincare(Ring) -- assemble degrees of a ring, module, or ideal into a polynomial
• poincareN -- assemble degrees into polynomial
• polarize -- compute the polarization of a monomial ideal
• polarize(...,VariableBaseName=>...) -- compute the polarization of a monomial ideal
• polarize(MonomialIdeal) -- compute the polarization of a monomial ideal
• polynomial rings
• PolynomialRing -- the class of all ordered monoid rings
• Position -- monomial ordering
• position -- the first element of a list satisfying a condition
• position(...,Reverse=>...) -- the first element of a list satisfying a condition
• position(VisibleList,Function) -- the first element of a list satisfying a condition
• position(VisibleList,VisibleList,Function) -- the first element of a list satisfying a condition
• position(ZZ,Function) -- the first element of a list satisfying a condition
• positions -- which elements of a list satisfy a condition
• positions(MutableList,Function) -- which elements of a list satisfy a condition
• positions(VisibleList,Function) -- which elements of a list satisfy a condition
• POSIX -- evaluate a regular expression search
• Postfix -- value of an optional argument
• Power -- the class of all power expressions
• power -- power
• powermod -- powers of integers mod N
• powermod(ZZ,ZZ,ZZ) -- powers of integers mod N
• precedence of operators
• Precision -- an optional argument
• precision
• precision(FractionField)
• precision(GaloisField)
• precision(InexactField)
• precision(InexactNumber)
• precision(Matrix)
• precision(MutableMatrix)
• precision(Number)
• precision(PolynomialRing)
• precision(QuotientRing)
• precision(Ring)
• precision(RingElement)
• Prefix -- an optional argument
• prefixDirectory -- the prefix directory
• prefixPath -- absolute locations of Macaulay2 files
• preimage -- preimage of a map
• preimage(Matrix,Module) -- preimage of a map
• preimage(RingMap,Ideal) -- preimage of a map
• prepend -- add an element to the beginning of a list
• 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
• presentation(QuotientRing) -- presentation of a quotient ring
• pretty -- a pretty printer
• PrimitiveElement -- an optional argument
• Print -- top level method for printing results
• print -- print something
• printerr -- print something to stderr
• printing and formatting for new classes
• printing to a file -- print to a file
• printing to the screen
• 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
• processID -- the process identifier
• Product -- the class of all product expressions
• product
• product(List) -- product of elements
• product(Set) -- product of elements
• product(VirtualTally) -- 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 computation
• profileSummary -- profile a computation
• profileSummary(String) -- profile a computation
• profileSummary(Thing) -- profile a computation
• Program -- external program object
• Program << Thing -- run program with input redirection
• programPaths -- user-defined external program paths
• ProgramRun -- result of running an external program
• projections, inclusions, and permutations
• Projective -- an optional argument
• ProjectiveHilbertPolynomial -- the class of all Hilbert polynomials
• projectiveHilbertPolynomial -- Hilbert polynomial of projective space
• ProjectiveHilbertPolynomial * ZZ -- a binary operator, usually used for multiplication
• ProjectiveHilbertPolynomial ZZ -- value of polynomial
• projectiveHilbertPolynomial(ZZ) -- Hilbert polynomial of projective space
• projectiveHilbertPolynomial(ZZ,ZZ) -- Hilbert polynomial of projective space
• promote -- promote to another ring
• promote(RR,type of QQ) -- promote to another ring
• protect -- protect a symbol
• Prune -- value of an optional argument
• prune -- prune, e.g., compute a minimal presentation
• prune(...,Exclude=>...) -- compute a minimal presentation of a quotient ring
• prune(Ideal) -- compute a minimal presentation of the quotient ring defined by an ideal
• prune(Matrix) -- minimally present source and target of a matrix
• prune(Module) -- minimal presentation of a module
• prune(Ring) -- compute a minimal presentation of a quotient ring
• pruningMap
• Pseudocode -- the class of pseudocodes
• pseudocode -- produce the pseudocode for a function
• PseudocodeClosure -- the class of pseudocodes
• pseudoRemainder -- compute the pseudo-remainder
• pseudoRemainder(RingElement,RingElement) -- compute the pseudo-remainder
• pullback -- compute the pullback morphism
• pushForward -- compute the pushforward of a module along a ring map
• pushForward(...,DegreeLimit=>...) -- compute the pushforward of a module along a ring map
• pushForward(...,MonomialOrder=>...) -- compute the pushforward of a module along a ring map
• pushForward(...,PairLimit=>...) -- compute the pushforward of a module along a ring map
• pushForward(...,StopBeforeComputation=>...) -- compute the pushforward of a module along a ring map
• pushForward(...,Strategy=>...) -- compute the pushforward of a module along a ring map
• pushForward(...,UseHilbertFunction=>...) -- compute the pushforward of a module along a ring map
• pushForward(RingMap,Module) -- compute the pushforward of a module along a ring map
• pushout -- compute the pushout morphism
• QQ -- the class of all rational numbers
• QQ ! -- factorial
• QQ % QQ -- a binary operator, usually used for remainder and reduction
• QQ % ZZ -- a binary operator, usually used for remainder and reduction
• QQ * BettiTally -- the class of all Betti tallies
• QQ * CC -- a binary operator, usually used for multiplication
• QQ * QQ -- a binary operator, usually used for multiplication
• QQ * RR -- a binary operator, usually used for multiplication
• QQ * RRi -- a binary operator, usually used for multiplication
• QQ * ZZ -- a binary operator, usually used for multiplication
• QQ + CC -- a unary or binary operator, usually used for addition
• QQ + QQ -- a unary or binary operator, usually used for addition
• QQ + RR -- a unary or binary operator, usually used for addition
• QQ + RRi -- a unary or binary operator, usually used for addition
• QQ + ZZ -- a unary or binary operator, usually used for addition
• QQ - CC -- a unary or binary operator, usually used for negation or subtraction
• QQ - QQ -- a unary or binary operator, usually used for negation or subtraction
• QQ - RR -- a unary or binary operator, usually used for negation or subtraction
• QQ - RRi -- a unary or binary operator, usually used for negation or subtraction
• QQ - ZZ -- a unary or binary operator, usually used for negation or subtraction
• QQ / CC -- a binary operator, usually used for division
• QQ / QQ -- a binary operator, usually used for division
• QQ / RR -- a binary operator, usually used for division
• QQ / RRi -- a binary operator, usually used for division
• QQ / ZZ -- a binary operator, usually used for division
• QQ // QQ -- a binary operator, usually used for quotient
• QQ // ZZ -- a binary operator, usually used for quotient
• QRDecomposition -- compute a QR decomposition of a real matrix
• QRDecomposition(Matrix) -- compute a QR decomposition of a real matrix
• QRDecomposition(MutableMatrix) -- compute a QR decomposition of a real matrix
• quit -- quit the program
• Quotient -- value of an optional argument
• quotient -- quotient or division
• quotient rings
• quotient' -- factor a map through another with the same source
• quotient'(Matrix,Matrix) -- factor a map through another with the same source
• quotient(Ideal) -- submodule to quotient module
• quotient(Matrix,GroebnerBasis) -- factor a map through another with the same target
• quotient(Matrix,Matrix) -- factor a map through another with the same target
• quotient(Module) -- submodule to quotient module
• quotientRemainder -- matrix quotient and remainder
• quotientRemainder' -- matrix quotient and remainder (opposite)
• quotientRemainder'(Matrix,Matrix) -- matrix quotient and remainder (opposite)
• quotientRemainder(InexactNumber,RingElement) -- quotient and remainder
• quotientRemainder(Matrix,GroebnerBasis) -- matrix quotient and remainder
• quotientRemainder(Matrix,Matrix) -- matrix quotient and remainder
• quotientRemainder(Number,RingElement) -- quotient and remainder
• quotientRemainder(RingElement,InexactNumber) -- quotient and remainder
• quotientRemainder(RingElement,Number) -- quotient and remainder
• quotientRemainder(RingElement,RingElement) -- quotient and remainder
• quotientRemainder(ZZ,ZZ) -- quotient and remainder
• QuotientRing -- the class of all quotient rings
• RaiseError -- an optional argument
• random -- get a random object
• random and generic matrices
• random(...,Density=>...) -- get a random map of module
• random(...,Height=>...) -- get a random homogeneous element from a graded ring
• random(...,MaximalRank=>...) -- get a random map of module
• random(...,UpperTriangular=>...) -- get a random map of module
• random(List) -- shuffle a list randomly
• random(List,Ideal) -- get a random homogeneous element from a graded ideal
• random(List,Module) -- get a random vector in the module
• random(List,Ring) -- get a random homogeneous element from a graded ring
• random(Module) -- get a random vector in the module
• random(Module,Module) -- get a random map of module
• random(QQ) -- get a random rational number
• random(RR) -- get a random integer or real number
• random(RR,RR) -- get a random integer or real number
• random(Type) -- get a random object of a type
• random(ZZ) -- get a random integer or real number
• random(ZZ,Ideal) -- get a random homogeneous element from a graded ideal
• random(ZZ,Module) -- get a random vector in the module
• random(ZZ,Ring) -- get a random homogeneous element from a graded ring
• random(ZZ,ZZ) -- get a random integer or real number
• randomKRationalPoint -- pick a random K rational point on the scheme X defined by I
• randomKRationalPoint(Ideal) -- pick a random K rational point on the scheme X defined by I
• randomMutableMatrix -- a random mutable matrix of integers
• randomMutableMatrix(...,Dense=>...) -- a random mutable matrix of integers
• randomMutableMatrix(ZZ,ZZ,RR,ZZ) -- a random mutable matrix of integers
• randomSubset
• randomSubset(Set)
• randomSubset(Set,ZZ)
• randomSubset(VisibleList)
• randomSubset(VisibleList,ZZ)
• randomSubset(ZZ)
• randomSubset(ZZ,ZZ)
• Range -- an optional argument
• rank -- compute the rank
• rank of a matrix
• rank(Matrix) -- compute the rank
• rank(Module) -- compute the rank
• rank(MutableMatrix) -- compute the rank
• rays -- 1-dimensional cones of a fan or polyhedral object
• 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
• readDirectory -- read the contents of a directory
• reading files
• reading the documentation
• readlink -- get the resolved value a symbolic link
• readPackage -- read the package preamble
• readPackage(...,FileName=>...) -- read the package preamble
• readPackage(Package) -- read the package preamble
• readPackage(String) -- read the package preamble
• RealField -- the class of all real fields
• realPart -- real part
• realPart(InexactNumber) -- real part
• realPart(Number) -- real part
• realPart(QQ) -- real part
• realPart(ZZ) -- real part
• realpath -- convert a filename to one passing through no symbolic links
• recursionDepth -- the current recursion depth
• recursionLimit -- set the limit on recursion
• Reduce -- an optional argument
• reducedRowEchelonForm -- compute the reduced row echelon form of a matrix or mutable matrix over a field
• reducedRowEchelonForm(Matrix) -- compute the reduced row echelon form of a matrix or mutable matrix over a field
• reducedRowEchelonForm(MutableMatrix) -- compute the reduced row echelon form of a matrix or mutable matrix over a field
• reduceHilbert -- reduce a Hilbert series expression
• reduceHilbert(Divide) -- reduce a Hilbert series expression
• References -- references listed in a documentation node
• regex -- evaluate a regular expression search
• regex(...,POSIX=>...) -- evaluate a regular expression search
• regex(String,String) -- evaluate a regular expression search
• regex(String,ZZ,String) -- evaluate a regular expression search
• regex(String,ZZ,ZZ,String) -- evaluate a regular expression search
• regexQuote -- escape special characters in regular expressions
• regexQuote(String) -- escape special characters in regular expressions
• registerFinalizer -- register a string that will be displayed when an object is garbage collected
• regular expressions -- syntax for regular expressions
• regularity -- compute the Castelnuovo-Mumford regularity
• regularity(...,Weights=>...) -- compute the Castelnuovo-Mumford regularity
• regularity(BettiTally) -- the class of all Betti tallies
• regularity(Ideal) -- compute the Castelnuovo-Mumford regularity
• regularity(Module) -- compute the Castelnuovo-Mumford regularity
• regularizedBeta -- regularized beta function
• regularizedBeta(CC,CC,CC) -- regularized beta function
• regularizedBeta(CC,CC,RR) -- regularized beta function
• regularizedBeta(CC,RR,CC) -- regularized beta function
• regularizedBeta(CC,RR,RR) -- regularized beta function
• regularizedBeta(RR,CC,CC) -- regularized beta function
• regularizedBeta(RR,CC,RR) -- regularized beta function
• regularizedBeta(RR,RR,CC) -- regularized beta function
• regularizedBeta(RR,RR,RR) -- regularized beta function
• regularizedBeta(RR,RR,RRi) -- regularized beta function
• regularizedBeta(RR,RRi,RR) -- regularized beta function
• regularizedBeta(RR,RRi,RRi) -- regularized beta function
• regularizedBeta(RRi,RR,RR) -- regularized beta function
• regularizedBeta(RRi,RR,RRi) -- regularized beta function
• regularizedBeta(RRi,RRi,RR) -- regularized beta function
• regularizedBeta(RRi,RRi,RRi) -- regularized beta function
• regularizedGamma -- upper regularized gamma function
• regularizedGamma(CC,CC) -- upper regularized gamma function
• regularizedGamma(CC,RR) -- upper regularized gamma function
• regularizedGamma(RR,CC) -- upper regularized gamma function
• regularizedGamma(RR,RR) -- upper regularized gamma function
• regularizedGamma(RR,RRi) -- upper regularized gamma function
• regularizedGamma(RRi,RR) -- upper regularized gamma function
• regularizedGamma(RRi,RRi) -- upper regularized gamma function
• relations -- the defining relations
• relations(Module) -- the defining relations
• relativizeFilename -- relativize a file name
• Reload -- an optional argument
• remainder -- matrix remainder
• remainder' -- matrix remainder (opposite)
• remainder'(Matrix,Matrix) -- matrix remainder (opposite)
• remainder(Matrix,GroebnerBasis) -- matrix remainder
• remainder(Matrix,Matrix) -- matrix remainder
• RemakeAllDocumentation -- an optional argument
• remove -- remove an entry from a mutable hash table, list, or database
• remove(Database,String) -- remove an entry from a mutable hash table, list, or database
• remove(HashTable,Thing) -- remove an entry from a mutable hash table, list, or database
• remove(MutableList,ZZ) -- remove an entry from a mutable hash table, list, or database
• removeDirectory -- remove a directory
• removeFile -- remove a file
• reorganize -- reorganize a database file
• replace -- replacement in strings and lists
• replace(String,String,String) -- replace substrings matching a regular expression
• replace(String,String,String,POSIX=>...) -- replace substrings matching a regular expression
• replace(ZZ,Thing,BasicList) -- copy a list, replacing an element
• replacements for commands and scripts from Macaulay
• RerunExamples -- an optional argument
• reshape -- reshape a matrix
• reshape(Module,Module,Matrix) -- reshape a matrix
• restart -- restart Macaulay2
• Result -- an optional argument
• return -- return from a function
• returnCode
• Reverse -- an optional argument
• reverse -- reverse a list, sequence, or string
• reverse(BasicList) -- reverse a list, sequence, or string
• reverse(String) -- reverse a list, sequence, or string
• RevLex -- reverse lexicographic ordering
• Right -- value of an optional argument
• right -- right endpoint of an interval
• right modules or left modules?
• right shift
• Ring -- the class of all rings
• ring -- get the associated ring of an object
• Ring * Ideal -- a binary operator, usually used for multiplication
• Ring * MonomialIdeal -- a binary operator, usually used for multiplication
• Ring * RingElement -- a binary operator, usually used for multiplication
• Ring * Vector -- a binary operator, usually used for multiplication
• Ring ** Ideal -- tensor product
• Ring ** Matrix -- tensor product
• Ring ** Module -- tensor product
• Ring ** Ring -- tensor product of monoids
• Ring / Ideal -- make a quotient ring
• Ring / List -- make a quotient ring
• Ring / Module -- make a quotient ring
• Ring / RingElement -- make a quotient ring
• Ring / Sequence -- make a quotient ring
• Ring / ZZ -- make a quotient ring
• Ring ^ List -- make a free module
• Ring ^ ZZ -- make a free module
• Ring ^** ZZ -- tensor product of monoids
• Ring _ List -- make a monomial from a list of exponents
• Ring _ ZZ -- get a ring variable by index
• Ring _*
• Ring Array -- the standard way to make a polynomial ring
• Ring List -- make a local polynomial ring
• Ring Monoid -- make a polynomial ring
• ring(CC) -- get the associated ring of an object
• ring(GroebnerBasis) -- get the associated ring of an object
• ring(Ideal) -- get the associated ring of an object
• ring(Matrix) -- get the associated ring of an object
• ring(Module) -- get the associated ring of an object
• ring(MutableMatrix) -- get the associated ring of an object
• ring(Number) -- get the associated ring of an object
• ring(RingElement) -- get the associated ring of an object
• ring(RR) -- get the associated ring of an object
• ring(RRi) -- get the associated ring of an object
• ring(Vector) -- get the associated ring of an object
• RingElement -- the class of all ring elements handled by the engine
• RingElement % GroebnerBasis -- compute the normal form of a ring element or matrix using a Gröbner basis
• RingElement % Ideal -- normal form of ring elements and matrices
• RingElement % Matrix -- normal form of ring elements and matrices
• RingElement % MonomialIdeal -- normal form of ring elements and matrices
• RingElement % Number -- a binary operator, usually used for remainder and reduction
• RingElement % RingElement -- normal form of ring elements and matrices
• RingElement * Ideal -- a binary operator, usually used for multiplication
• RingElement * Matrix -- a binary operator, usually used for multiplication
• RingElement * Module -- a binary operator, usually used for multiplication
• RingElement * MonomialIdeal -- a binary operator, usually used for multiplication
• RingElement * MutableMatrix -- a binary operator, usually used for multiplication
• RingElement * RingElement -- a binary operator, usually used for multiplication
• RingElement * Vector -- a binary operator, usually used for multiplication
• RingElement + Constant -- a unary or binary operator, usually used for addition
• RingElement + Ideal -- a unary or binary operator, usually used for addition
• RingElement + InexactNumber -- a unary or binary operator, usually used for addition
• RingElement + Matrix -- a unary or binary operator, usually used for addition
• RingElement + Number -- a unary or binary operator, usually used for addition
• RingElement + RingElement -- a unary or binary operator, usually used for addition
• RingElement + Vector -- a unary or binary operator, usually used for addition
• RingElement ++ Matrix -- direct sum of maps
• RingElement ++ RingElement -- direct sum of maps
• RingElement - Constant -- a unary or binary operator, usually used for negation or subtraction
• RingElement - InexactNumber -- a unary or binary operator, usually used for negation or subtraction
• RingElement - Matrix -- a unary or binary operator, usually used for negation or subtraction
• RingElement - Number -- a unary or binary operator, usually used for negation or subtraction
• RingElement - RingElement -- a unary or binary operator, usually used for negation or subtraction
• RingElement - Vector -- a unary or binary operator, usually used for negation or subtraction
• 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 // GroebnerBasis -- factor a map through another with the same target
• RingElement // Matrix -- factor a map through another with the same target
• RingElement // MonomialIdeal -- factor a map through another with the same target
• RingElement // Number -- a binary operator, usually used for quotient
• RingElement // RingElement -- a binary operator, usually used for quotient
• RingElement ^ ZZ -- power
• RingElement _ Ring -- promote to another ring
• RingElement | Matrix -- join matrices horizontally
• RingElement | RingElement -- join matrices horizontally
• RingElement || Matrix -- join matrices vertically
• RingElement || RingElement -- join matrices vertically
• RingElement Number -- evaluation of polynomials
• RingElement RingElement -- evaluation of polynomials
• RingElement Sequence -- evaluation of polynomials
• RingFamily
• RingFamily ^ List -- make a free module
• RingFamily ^ ZZ -- make a free module
• RingFamily _* -- the common parent for rings in a family
• RingMap -- the class of all ring maps
• RingMap * RingMap -- a binary operator, usually used for multiplication
• RingMap ** Matrix -- tensor product via a ring map
• RingMap ** Module -- tensor product via a ring map
• RingMap \ VisibleList -- apply a function to elements of a list
• RingMap ^ ZZ -- power
• RingMap Ideal -- apply a ring map
• RingMap Matrix -- apply a ring map
• RingMap Module -- apply a ring map
• RingMap RingElement -- apply a ring map
• RingMap Vector -- apply a ring map
• rings
• rootPath
• roots -- compute the roots of a polynomial
• roots(RingElement) -- compute the roots of a polynomial
• roots(RingElement,Precision=>...) -- compute the roots of a polynomial
• roots(RingElement,Unique=>...) -- compute the roots of a polynomial
• rootURI
• rotate -- rotate a list
• rotate(ZZ,VisibleList) -- rotate a list
• round -- round a number
• round(Number) -- round a number
• round(QQ) -- round a number
• round(ZZ) -- round a number
• round(ZZ,CC) -- round a number
• round(ZZ,Number) -- round a number
• round(ZZ,RR) -- round a number
• round(ZZ,RRi) -- round a number
• row and column operations
• rowAdd -- add a multiple of one row to another
• rowAdd(MutableMatrix,ZZ,Number,ZZ) -- add a multiple of one row to another
• rowAdd(MutableMatrix,ZZ,RingElement,ZZ) -- add a multiple of one row to another
• RowExpression -- the class of all matrix expressions
• rowMult -- multiply a row by a ring element
• rowMult(MutableMatrix,ZZ,Number) -- multiply a row by a ring element
• rowMult(MutableMatrix,ZZ,RingElement) -- multiply a row by a ring element
• rowPermute -- permute some rows
• rowPermute(MutableMatrix,ZZ,List) -- permute some rows
• rowRankProfile -- find the row rank profile of a mutable matrix
• rowRankProfile(MutableMatrix) -- find the row rank profile of a mutable matrix
• rowSwap -- interchange rows
• rowSwap(MutableMatrix,ZZ,ZZ) -- interchange rows
• RR -- the class of all real numbers
• RR ! -- factorial
• RR % QQ -- a binary operator, usually used for remainder and reduction
• RR % RR -- a binary operator, usually used for remainder and reduction
• RR % ZZ -- a binary operator, usually used for remainder and reduction
• RR * CC -- a binary operator, usually used for multiplication
• RR * QQ -- a binary operator, usually used for multiplication
• RR * RR -- a binary operator, usually used for multiplication
• RR * RRi -- a binary operator, usually used for multiplication
• RR * ZZ -- a binary operator, usually used for multiplication
• RR + CC -- a unary or binary operator, usually used for addition
• RR + QQ -- a unary or binary operator, usually used for addition
• RR + RR -- a unary or binary operator, usually used for addition
• RR + RRi -- a unary or binary operator, usually used for addition
• RR + ZZ -- a unary or binary operator, usually used for addition
• RR - CC -- a unary or binary operator, usually used for negation or subtraction
• RR - QQ -- a unary or binary operator, usually used for negation or subtraction
• RR - RR -- a unary or binary operator, usually used for negation or subtraction
• RR - RRi -- a unary or binary operator, usually used for negation or subtraction
• RR - ZZ -- a unary or binary operator, usually used for negation or subtraction
• RR / CC -- a binary operator, usually used for division
• RR / QQ -- a binary operator, usually used for division
• RR / RR -- a binary operator, usually used for division
• RR / RRi -- a binary operator, usually used for division
• RR / ZZ -- a binary operator, usually used for division
• RR // QQ -- a binary operator, usually used for quotient
• RR // RR -- a binary operator, usually used for quotient
• RR // ZZ -- a binary operator, usually used for quotient
• RR << ZZ
• RR >> ZZ
• RR_* -- the parent class of all rings of real numbers
• RRi -- the class of all real intervals
• RRi * QQ -- a binary operator, usually used for multiplication
• RRi * RR -- a binary operator, usually used for multiplication
• RRi * RRi -- a binary operator, usually used for multiplication
• RRi * ZZ -- a binary operator, usually used for multiplication
• RRi + QQ -- a unary or binary operator, usually used for addition
• RRi + RR -- a unary or binary operator, usually used for addition
• RRi + RRi -- a unary or binary operator, usually used for addition
• RRi + ZZ -- a unary or binary operator, usually used for addition
• RRi - QQ -- a unary or binary operator, usually used for negation or subtraction
• RRi - RR -- a unary or binary operator, usually used for negation or subtraction
• RRi - RRi -- a unary or binary operator, usually used for negation or subtraction
• RRi - ZZ -- a unary or binary operator, usually used for negation or subtraction
• RRi / QQ -- a binary operator, usually used for division
• RRi / RR -- a binary operator, usually used for division
• RRi / RRi -- a binary operator, usually used for division
• RRi / ZZ -- a binary operator, usually used for division
• RRi << ZZ
• RRi >> ZZ
• rsort -- sort a list or matrix in reverse order
• rsort(...,DegreeOrder=>...) -- specify Ascending, Descending, or null
• rsort(...,MonomialOrder=>...) -- specify Ascending or Descending monomial order
• rsort(List) -- sort a list or matrix in reverse order
• rsort(List,Function) -- sort a list or matrix in reverse order
• rsort(Matrix) -- sort a list or matrix in reverse order
• run -- run an external command
• RunDirectory -- an optional argument
• RunExamples -- an optional argument
• runHooks -- run the hook functions stored in an object
• runHooks(MutableHashTable,Thing,Thing) -- run the hook functions stored in an object
• runHooks(Sequence,Thing) -- run the hook functions stored in an object
• runHooks(Symbol,Thing) -- run the hook functions stored in an object
• runLengthEncode -- run length encoding
• runLengthEncode(VisibleList) -- run length encoding
• running Macaulay2 in Emacs
• runProgram -- run an external program
• runProgram(...,KeepFiles=>...) -- run an external program
• runProgram(...,RaiseError=>...) -- run an external program
• runProgram(...,RunDirectory=>...) -- run an external program
• runProgram(...,Verbose=>...) -- run an external program
• runProgram(Program,String) -- run an external program
• runProgram(Program,String,String) -- run an external program
• runProgram(String,String) -- run an external program
• same -- whether everything in a list is the same
• saving polynomials and matrices in files
• scan -- apply a function to each element in a list or sequence
• scan(BasicList,BasicList,Function) -- apply a function to each element in a list or sequence
• scan(BasicList,Function) -- apply a function to each element in a list or sequence
• scan(Thing,Function) -- apply a function to each element in a list or sequence
• scan(ZZ,Function) -- apply a function to each element in a list or sequence
• scanKeys -- apply a function to each key in a hash table or database
• scanKeys(Database,Function) -- apply a function to each key in a hash table or database
• scanKeys(HashTable,Function) -- apply a function to each key in a hash table or database
• scanLines -- apply a function to each line of a file
• scanLines(Function,List) -- apply a function to each line of a file
• scanLines(Function,String) -- apply a function to each line of a file
• scanPairs -- apply a function to the pairs in a hash table
• scanPairs(HashTable,Function) -- apply a function to the pairs in a hash table
• scanPairs(Thing,Function) -- apply a function to the pairs in a hash table
• scanValues -- apply a function to each value in a hash table or database
• scanValues(HashTable,Function) -- apply a function to each value in a hash table or database
• schedule -- schedule a task for execution
• schedule(Function) -- schedule a task for execution
• schedule(Function,Thing) -- schedule a task for execution
• schedule(Task) -- schedule a task for execution
• Schreyer orders -- induced monomial order on a free module
• schreyerOrder -- create or obtain free modules with Schreyer 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 -- compute the Plücker ideal of a Schubert variety
• Schubert(...,CoefficientRing=>...) -- compute the Plücker ideal of a Schubert variety
• Schubert(...,Variable=>...) -- compute the Plücker ideal of a Schubert variety
• Schubert(ZZ,ZZ,VisibleList) -- compute the Plücker ideal of a Schubert variety
• Schur rings
• scriptCommandLine -- the command line arguments to be used when running a script
• ScriptedFunctor -- the class of all scripted functors
• ScriptedFunctor ^ Thing -- the class of all scripted functors
• ScriptedFunctor _ Thing -- the class of all scripted functors
• ScriptedFunctor Thing -- the class of all scripted functors
• searchPath -- search a path for a file
• searchPath(List,String) -- search a path for a file
• searchPath(String) -- search a path for a file
• sec -- secant
• sec(CC) -- secant
• sec(RR) -- secant
• sec(RRi) -- secant
• sech -- hyperbolic secant
• sech(CC) -- hyperbolic secant
• sech(RR) -- hyperbolic secant
• sech(RRi) -- hyperbolic secant
• SeeAlso -- cross-references to other documentation nodes
• seeParsing -- display parsing precedence table for Macaulay2 operators
• select -- select from a list, hash table, or string
• select(BasicList,Function) -- select elements from a list
• select(BasicList,Type) -- select elements of a given type in a list
• select(HashTable,Function) -- select part of a hash table by values
• select(Set,Function) -- select a part of a set
• select(String,String) -- select and reformat substrings matching a regular expression
• select(String,String,POSIX=>...) -- select and reformat substrings matching a regular expression
• select(String,String,String) -- select and reformat substrings matching a regular expression
• select(String,String,String,POSIX=>...) -- select and reformat substrings matching a regular expression
• select(Thing,Function) -- select elements from an object with an iterator
• select(ZZ,BasicList,Function) -- select a limited number of elements from a list
• select(ZZ,Function) -- select integers
• select(ZZ,HashTable,Function) -- select part of a hash table by values
• select(ZZ,Set,Function) -- select a part of a set
• selectInSubring -- select columns in a subring
• selectInSubring(ZZ,Matrix) -- select columns in a subring
• selectKeys -- select a part of a hash table by keys
• selectKeys(HashTable,Function) -- select a part of a hash table by keys
• selectKeys(ZZ,HashTable,Function) -- select a part of a hash table by keys
• selectPairs -- select a part of a hash table by pairs
• selectPairs(BasicList,Function) -- select a part of a hash table by pairs
• selectPairs(HashTable,Function) -- select a part of a hash table by pairs
• selectPairs(ZZ,BasicList,Function) -- select a part of a hash table by pairs
• selectPairs(ZZ,HashTable,Function) -- select a part of a hash table by pairs
• selectValues -- select part of a hash table by values
• selectValues(HashTable,Function) -- select part of a hash table by values
• selectValues(ZZ,HashTable,Function) -- select part of a hash table by values
• selectVariables -- make a subring of a polynomial ring generated by selected variables
• selectVariables(List,PolynomialRing) -- make a subring of a polynomial ring generated by selected variables
• SelfInitializingType -- the class of all self initializing types
• SelfInitializingType \ VisibleList -- apply a function to elements of a list
• SelfInitializingType \\ Thing -- apply a function
• SelfInitializingType Thing -- the class of all self initializing types
• separate -- split a string into substrings using a regular expression
• separate(...,POSIX=>...) -- split a string into substrings using a regular expression
• separate(String) -- split a string into substrings using a regular expression
• separate(String,String) -- split a string into substrings using a regular expression
• separate(String,ZZ,String) -- split a string into substrings using a regular expression
• SeparateExec -- an optional argument
• separateRegexp -- split a string into substrings using a regular expression
• Sequence -- the class of all sequences -- (...)
• sequence -- make a sequence
• Sequence # ZZ -- get value from list, hash table, database, dictionary, or string
• Sequence #? ZZ -- check existence of value in a list, hash table, database, or string
• Sequence .. Sequence -- rectangular sequences of consecutive lists and sequences
• Sequence ..< Sequence -- rectangular sequences of consecutive lists and sequences
• Sequence <- Thing -- assignment with left side evaluated
• Sequence | Sequence -- join lists, sequences or arrays
• serialNumber -- serial number of a dictionary, task, symbol, mutable hash table, or mutable list
• Set -- the class of all sets
• set -- make a set
• Set #? Thing -- test set membership
• Set * Set -- set intersection
• Set ** Set -- Cartesian product
• Set + Set -- set union
• Set - List -- set difference
• Set - Set -- set difference
• Set / Command -- apply a function to elements of a list
• Set / Function -- apply a function to elements of a list
• set(VisibleList) -- make a set
• setEcho -- turn on echoing
• setGroupID -- set the process group identifier
• setIOExclusive -- exclusive I/O for the current thread
• setIOSynchronized -- synchronized I/O for threads
• setIOUnSynchronized -- unsynchronized I/O for threads
• setRandomSeed -- set starting point for random number generator
• setRandomSeed(Sequence) -- 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
• setting up Macaulay2
• setting up the Macaulay2 Emacs interface
• setup
• setup()
• setupEmacs
• setupEmacs()
• setupLift -- set up lift from one ring to another
• setupLift(Function,Ring,Ring) -- set up lift from one ring to another
• setupLift(RingMap) -- set up lift from one ring to another
• setupPromote -- set up promote from one ring to another
• setupPromote(RingMap) -- set up promote from one ring to another
• shield -- shield evaluation from interrupts
• show -- display various objects in an external viewer
• show(URL) -- display various objects in an external viewer
• showClassStructure -- display class structure
• showHtml -- display various objects in an external viewer
• showStructure -- display parent structure
• showTex -- display various objects in an external viewer
• showUserStructure -- show parent structure for those types defined by user
• sign -- sign (signum) function
• sign(Constant) -- sign (signum) function
• sign(Number) -- sign (signum) function
• simple Groebner basis computations over various rings
• sin -- compute the sine
• sin(CC) -- compute the sine
• sin(RR) -- compute the sine
• sin(RRi) -- compute the sine
• Singular Book 1.1.8 -- computation in fields
• Singular Book 1.1.9 -- computation in polynomial rings
• Singular Book 1.1.10 -- methods for creating ring maps
• Singular Book 1.2.3 -- leading data
• Singular Book 1.2.13 -- monomial orderings
• Singular Book 1.3.3 -- properties of ring maps
• Singular Book 1.3.13 -- computation in quotient rings
• Singular Book 1.3.15 -- computing with radicals
• Singular Book 1.4.9 -- global versus local rings
• Singular Book 1.5.10 -- realization of rings
• Singular Book 1.6.13 -- normal form
• Singular Book 1.7.10 -- standard bases
• Singular Book 1.7.12 -- highest corner
• Singular Book 1.8.1 -- ideal membership
• Singular Book 1.8.2 -- linear combination of ideal members
• Singular Book 1.8.4 -- elimination of variables
• Singular Book 1.8.6 -- Zariski closure of the image
• Singular Book 1.8.7 -- solving equations
• Singular Book 1.8.9 -- radical membership
• Singular Book 1.8.11 -- intersection of ideals
• Singular Book 1.8.13 -- quotient of ideals
• Singular Book 1.8.15 -- saturation
• Singular Book 1.8.18 -- kernel of a ring map
• Singular Book 1.8.19 -- algebraic dependence
• Singular Book 1.8.20 -- subalgebra membership
• Singular Book 2.1.6 -- matrix operations
• Singular Book 2.1.7 -- maps induced by Hom
• Singular Book 2.1.10 -- submodules of A^n
• Singular Book 2.1.13 -- kernel, image and cokernel of a module homomorphism
• Singular Book 2.1.20 -- sum, intersection, module quotient
• Singular Book 2.1.24 -- submodules, presentation of a module
• Singular Book 2.1.26 -- computation of Hom
• Singular Book 2.1.34 -- minimal presentations, prune
• Singular Book 2.2.15 -- graded rings and modules
• Singular Book 2.3.10 -- normal form
• Singular Book 2.3.12 -- standard bases
• Singular Book 2.4.12 -- resolution and Betti numbers
• Singular Book 2.4.15 -- homogeneous resolution and graded Betti numbers
• Singular Book 2.5.5 -- syzygies
• Singular Book 2.5.18 -- Schreyer resolution
• Singular Book 2.6.3 -- diagonal form
• Singular Book 2.6.11 -- cyclic decomposition
• Singular Book 2.6.15 -- Jordan normal form
• Singular Book 2.7.5 -- tensor product of maps
• Singular Book 2.7.9 -- tensor product of modules
• Singular Book 2.7.14 -- tensor product of rings
• Singular Book 2.8.1 -- module membership
• Singular Book 2.8.3 -- elimination of module components
• Singular Book 2.8.5 -- intersection of modules
• Singular Book 2.8.6 -- quotient of modules
• Singular Book 2.8.7 -- radical, zerodivisors of modules
• Singular Book 2.8.8 -- annihilator and Fitting ideal
• Singular Book 2.8.9 -- kernel of a module homomorphism
• Singular Book 2.8.10 -- solving linear equations
• Singular-Factory
• singularLocus -- singular locus
• singularLocus(Ideal) -- singular locus
• singularLocus(Ring) -- singular locus
• sinh -- compute the hyperbolic sine
• sinh(CC) -- compute the hyperbolic sine
• sinh(RR) -- compute the hyperbolic sine
• sinh(RRi) -- compute the hyperbolic sine
• size -- the size of an object
• size(RingElement) -- the size of an object
• size2 -- number of binary digits to the left of the point
• size2(CC) -- number of binary digits to the left of the point
• size2(RR) -- number of binary digits to the left of the point
• size2(RRi) -- number of binary digits to the left of the point
• size2(ZZ) -- number of binary digits to the left of the point
• SizeLimit -- an optional argument
• SkewCommutative -- an optional argument
• sleep -- sleep for a while
• smithNormalForm -- smith normal form for a matrix over a PID
• smithNormalForm(...,ChangeMatrix=>...) -- smith normal form for a matrix over a PID
• smithNormalForm(...,KeepZeroes=>...) -- smith normal form for a matrix over a PID
• smithNormalForm(Matrix) -- smith normal form for a matrix over a PID
• solve -- solve linear equation(s)
• solve(...,ClosestFit=>...) -- solve linear equation(s)
• solve(...,Invertible=>...) -- solve linear equation(s)
• solve(...,MaximalRank=>...) -- solve linear equation(s)
• solve(...,Precision=>...) -- solve linear equation(s)
• solve(Matrix,Matrix) -- solve linear equation(s)
• solve(MutableMatrix,MutableMatrix) -- solve linear equation(s)
• someTerms -- select some terms of a polynomial
• someTerms(RingElement,ZZ,ZZ) -- select some terms of a polynomial
• sort -- sort a list or columns of a matrix
• sort(...,DegreeOrder=>...) -- specify Ascending, Descending, or null
• sort(...,MonomialOrder=>...) -- specify Ascending or Descending monomial order
• sort(List) -- sort a list
• sort(List,Function) -- 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
• sortColumns(Matrix) -- permutation giving sort order
• source -- source of a map
• source(Matrix) -- find the source module of matrix
• source(MutableMatrix) -- find the source module of matrix
• source(RingMap) -- find the source ring for a map of rings
• SourceCode -- sources displayed in a documentation node
• SourceRing -- an optional argument
• SPACE -- blank operator; often used for function application, making polynomial rings
• span -- construct smallest interval
• span(List) -- construct smallest interval
• span(List,Precision=>...) -- construct smallest interval
• span(Sequence) -- construct smallest interval
• span(Sequence,Precision=>...) -- construct smallest interval
• SparseMonomialVectorExpression -- the class of all sparse monomial vector expressions
• SparseVectorExpression -- the class of all sparse vector expressions
• specifying typical values
• splice -- remove subsequences from a sequence or list
• splice(BasicList) -- remove subsequences from a sequence or list
• splitWWW -- separate an http response into header and body
• splitWWW(String) -- separate an http response into header and body
• sqrt -- square root function
• sqrt(CC) -- square root function
• sqrt(RR) -- square root function
• sqrt(RRi) -- square root function
• stack -- join nets or string vertically
• stack(BasicList) -- join nets or string vertically
• Standard -- the standard top level printing method
• standardForm -- convert to standard form
• standardForm(MonoidElement) -- convert to standard form
• standardForm(RingElement) -- convert to standard form
• standardPairs -- find the standard pairs of a monomial ideal
• standardPairs(MonomialIdeal) -- find the standard pairs of a monomial ideal
• standardPairs(MonomialIdeal,List) -- find the standard pairs of a monomial ideal
• status -- get the status of a computation
• status(GroebnerBasis) -- compute a Gröbner basis
• status(ProgramRun) -- get the return status of a program run
• stderr -- the standard error output file
• stdio -- the standard input output file
• step -- step by single lines in the debugger
• StopBeforeComputation -- an optional argument
• stopIfError -- whether to stop the program when an error occurs
• StopIteration -- stop iteration
• StopWithMinimalGenerators -- an optional argument
• store -- store the value of an atomic integer
• store(AtomicInt,ZZ) -- store the value of an atomic integer
• Strategy -- an optional argument
• Strict -- an optional argument
• String -- the class of all strings
• String # ZZ -- get value from list, hash table, database, dictionary, or string
• String #? ZZ -- check existence of value in a list, hash table, database, or string
• String .. String -- a sequence of consecutive strings
• String ..< String -- a sequence of consecutive strings, not including the endpoint
• String / Command -- apply a function to elements of a list
• String / Function -- apply a function to elements of a list
• String << Thing -- print to a file
• String ^ Sequence -- vertically stacked copies of a string
• String ^ ZZ -- raise a net or string
• String _ Monoid -- get a ring variable by name
• String _ Ring -- get a ring variable by name
• String _ Sequence -- substring
• String _ ZZ -- get element from string
• String | String -- join strings or nets
• String | ZZ -- join strings or nets
• strings and nets -- an overview of strings and nets in Macaulay2
• sublists -- process interspersed subsequences of a visible list
• sublists(VisibleList,Function) -- process interspersed subsequences of a visible list
• sublists(VisibleList,Function,Function) -- process interspersed subsequences of a visible list
• sublists(VisibleList,Function,Function,Function) -- process interspersed subsequences of a visible list
• sublists(VisibleList,Function,Function,Nothing) -- process interspersed subsequences of a visible list
• sublists(VisibleList,Function,Nothing) -- process interspersed subsequences of a visible list
• sublists(VisibleList,Function,Nothing,Function) -- process interspersed subsequences of a visible list
• sublists(VisibleList,Function,Nothing,Nothing) -- process interspersed subsequences of a visible list
• submatrices
• submatrix -- select part of a matrix
• submatrix' -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,Nothing,Nothing) -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,Nothing,VisibleList) -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,VisibleList) -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,VisibleList,Nothing) -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,VisibleList,VisibleList) -- exclude rows and/or columns of a matrix
• submatrix(Matrix,VisibleList) -- select columns
• submatrix(Matrix,VisibleList,VisibleList) -- select part of a matrix
• submatrix(MutableMatrix,VisibleList) -- select columns
• submatrix(MutableMatrix,VisibleList,VisibleList) -- select part of a matrix
• submatrixByDegrees -- submatrix consisting of rows and columns in an interval or box of degrees
• submatrixByDegrees(Matrix,List,List) -- submatrix consisting of rows and columns in an interval or box of degrees
• submatrixByDegrees(Matrix,Sequence,Sequence) -- submatrix consisting of rows and columns in an interval or box of degrees
• submatrixByDegrees(Matrix,ZZ,ZZ) -- submatrix consisting of rows and columns in an interval or box of degrees
• submodules and quotients
• Subnodes -- a menu of documentation nodes
• subquotient -- make a subquotient module
• subquotient modules -- the way Macaulay2 represents modules
• subquotient(Matrix,Matrix) -- make a subquotient module
• subquotient(Matrix,Nothing) -- make a subquotient module
• subquotient(Module,Matrix,Matrix) -- make a subquotient module
• subquotient(Module,Matrix,Nothing) -- make a subquotient module
• subquotient(Module,Nothing,Matrix) -- make a subquotient module
• subquotient(Module,Nothing,Nothing) -- make a subquotient module
• subquotient(Nothing,Matrix) -- make a subquotient module
• SubringLimit -- an optional argument
• Subscript -- the class of all subscript expressions
• subscript -- specify the function in a scripted functor for a subscript
• subscripted variables
• subsets -- produce the subsets of a set or list
• subsets(List) -- produce the subsets of a set or list
• subsets(List,ZZ) -- produce the subsets of a set or list
• subsets(Sequence,ZZ) -- produce the subsets of a set or list
• subsets(Set) -- produce the subsets of a set or list
• subsets(Set,ZZ) -- produce the subsets of a set or list
• subsets(ZZ) -- produce the subsets of a set or list
• subsets(ZZ,ZZ) -- produce the subsets of a set or list
• substitute -- substituting values for variables
• substitute(Ideal,List) -- substituting values for variables
• substitute(Ideal,Matrix) -- substituting values for variables
• substitute(Ideal,Option) -- substituting values for variables
• substitute(Ideal,Ring) -- substituting values for variables
• substitute(Ideal,RingFamily) -- substituting values for variables
• substitute(Matrix,List) -- substituting values for variables
• substitute(Matrix,Matrix) -- substituting values for variables
• substitute(Matrix,Option) -- substituting values for variables
• substitute(Matrix,Ring) -- substituting values for variables
• substitute(Matrix,RingFamily) -- substituting values for variables
• substitute(Matrix,ZZ) -- substituting values for variables
• substitute(Module,List) -- substituting values for variables
• substitute(Module,Matrix) -- substituting values for variables
• substitute(Module,Option) -- substituting values for variables
• substitute(Module,Ring) -- substituting values for variables
• substitute(Module,RingFamily) -- substituting values for variables
• substitute(Number,Ring) -- substituting values for variables
• substitute(Number,RingFamily) -- substituting values for variables
• substitute(RingElement,List) -- substituting values for variables
• substitute(RingElement,Matrix) -- substituting values for variables
• substitute(RingElement,Option) -- substituting values for variables
• substitute(RingElement,Ring) -- substituting values for variables
• substitute(RingElement,RingFamily) -- substituting values for variables
• substitute(Vector,List) -- substituting values for variables
• substitute(Vector,Matrix) -- substituting values for variables
• substitute(Vector,Option) -- substituting values for variables
• substitute(Vector,Ring) -- substituting values for variables
• substitute(Vector,RingFamily) -- substituting values for variables
• substituting values for variables
• substitution and maps between rings
• substring -- extract part of a string
• substring(Sequence,String) -- extract part of a string
• substring(String,ZZ) -- extract part of a string
• substring(String,ZZ,ZZ) -- extract part of a string
• substring(ZZ,String) -- extract part of a string
• substring(ZZ,ZZ,String) -- extract part of a string
• subtable -- extract a subtable from a table
• Sugarless
• Sum -- the class of all sum expressions
• sum -- compute the sum
• sum(List) -- sum the elements of a list
• sum(Set) -- sum of elements
• sum(VirtualTally) -- 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
• sums, products, and powers of ideals
• super -- get the ambient module
• super(Matrix) -- get the ambient module
• super(Module) -- get the ambient module
• super(Vector) -- 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
• support(Matrix) -- list of variables occurring in a polynomial or matrix
• support(RingElement) -- list of variables occurring in a polynomial or matrix
• SVD -- singular value decomposition of a matrix
• SVD(...,DivideConquer=>...) -- whether to use the LAPACK divide and conquer SVD algorithm
• SVD(Matrix) -- singular value decomposition of a matrix
• SVD(MutableMatrix) -- singular value decomposition of a matrix
• switch -- copy a list, switching two elements
• switch(ZZ,ZZ,BasicList) -- 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 ? IndexedVariable -- comparison operator
• Symbol _ Ring -- get a ring variable by name
• Symbol _ Thing -- index variable
• Symbol _ Thing = Thing -- assignment to an indexed variable
• SymbolBody -- symbol bodies
• symbolBody -- symbol bodies
• symbols used as the name or value of an optional argument
• symlinkDirectory -- make symbolic links for all files in a directory tree
• symlinkDirectory(...,Exclude=>...) -- make symbolic links for all files in a directory tree
• symlinkDirectory(...,FollowLinks=>...) -- make symbolic links for all files in a directory tree
• symlinkDirectory(...,Undo=>...) -- make symbolic links for all files in a directory tree
• symlinkDirectory(...,Verbose=>...) -- make symbolic links for all files in a directory tree
• symlinkDirectory(String,String) -- make symbolic links for all files in a directory tree
• symlinkFile -- make a symbolic link to a file
• symmetric algebras
• symmetricAlgebra -- the symmetric algebra of a module
• symmetricAlgebra(...,Constants=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,DegreeGroup=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,DegreeLift=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,DegreeMap=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,DegreeRank=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Degrees=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Global=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Heft=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Inverses=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Join=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Local=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,MonomialOrder=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,MonomialSize=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,SkewCommutative=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,VariableBaseName=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Variables=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,Weights=>...) -- the symmetric algebra of a module
• symmetricAlgebra(...,WeylAlgebra=>...) -- the symmetric algebra of a module
• symmetricAlgebra(Matrix) -- the symmetric algebra of a module
• symmetricAlgebra(Module) -- the symmetric algebra of a module
• symmetricAlgebra(Nothing,Nothing,Matrix) -- the symmetric algebra of a module
• symmetricAlgebra(Nothing,Ring,Matrix) -- the symmetric algebra of a module
• symmetricAlgebra(Ring,Nothing,Matrix) -- the symmetric algebra of a module
• symmetricAlgebra(Ring,Ring,Matrix) -- the symmetric algebra of a module
• symmetricPower -- symmetric power
• symmetricPower(ZZ,Matrix) -- symmetric power
• symmetricPower(ZZ,Module) -- symmetric power
• synonym -- synonym for members of a class
• SYNOPSIS -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(...,BaseFunction=>...) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(...,Consequences=>...) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(...,Heading=>...) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(...,Inputs=>...) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(...,Outputs=>...) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(...,Usage=>...) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(List) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(Sequence) -- a standardized synopsis for use in documentation nodes
• SYNOPSIS(Thing) -- a standardized synopsis for use in documentation nodes
• system facilities
• syz -- the syzygy matrix
• syz(...,Algorithm=>...) -- compute the syzygy matrix
• syz(...,BasisElementLimit=>...) -- compute the syzygy matrix
• syz(...,DegreeLimit=>...) -- compute the syzygy matrix
• syz(...,GBDegrees=>...) -- compute the syzygy matrix
• syz(...,HardDegreeLimit=>...) -- compute the syzygy matrix
• syz(...,MaxReductionCount=>...) -- compute the syzygy matrix
• syz(...,PairLimit=>...) -- compute the syzygy matrix
• syz(...,StopBeforeComputation=>...) -- compute the syzygy matrix
• syz(...,Strategy=>...) -- compute the syzygy matrix
• syz(...,SyzygyLimit=>...) -- compute the syzygy matrix
• syz(...,SyzygyRows=>...) -- compute the syzygy matrix
• syz(GroebnerBasis) -- retrieve the syzygy matrix
• syz(Matrix) -- compute the syzygy matrix
• Syzygies -- an optional argument
• SyzygyLimit -- an optional argument
• SyzygyMatrix -- an optional argument
• SyzygyRows -- an optional argument
• Table -- the class of all table expressions
• table -- make a table from a binary function
• take -- take some elements from a list or sequence
• take(BasicList,List) -- take some elements from a list or sequence
• take(BasicList,ZZ) -- take some elements from a list or sequence
• take(Thing,List) -- take some elements from a list or sequence
• take(Thing,ZZ) -- take some elements from a list or sequence
• Tally -- the class of all tally results
• tally -- tally the elements of a list, sequence, array, or string
• Tally + Tally -- union of tallies
• Tally - Tally -- difference of tallies
• tally(String) -- tally the elements of a list, sequence, array, or string
• tally(VisibleList) -- tally the elements of a list, sequence, array, or string
• tan -- compute the tangent
• tan(CC) -- compute the tangent
• tan(RR) -- compute the tangent
• tan(RRi) -- compute the tangent
• tanh -- compute the hyperbolic tangent
• tanh(CC) -- compute the hyperbolic tangent
• tanh(RR) -- compute the hyperbolic tangent
• tanh(RRi) -- compute the hyperbolic tangent
• target -- target of a map
• target(GroebnerBasis) -- find target of a Gröbner basis
• target(Matrix) -- find the target module of matrix
• target(MutableMatrix) -- find the target module of matrix
• target(RingMap) -- find the target ring for a map of rings
• Task -- the class of all tasks
• taskResult -- retrieve the value returned by a task
• taskResult(Task) -- retrieve the value returned by a task
• teaching Emacs how to find M2
• teaching Emacs how to find M2-init.el
• teaching M2 how to find its shared libraries
• teaching your shell how to find M2
• temporaryFileName -- make a temporary file name
• tensor -- tensor product
• tensor products of rings
• tensor(List) -- tensor product
• tensor(Matrix,Matrix) -- tensor product
• tensor(Matrix,Module) -- tensor product
• tensor(Module,Matrix) -- tensor product
• tensor(Module,Module) -- tensor product of modules
• tensor(Monoid,Monoid) -- tensor product of monoids
• tensor(Monoid,Monoid,Constants=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,DegreeGroup=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,DegreeLift=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,DegreeMap=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,DegreeRank=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Degrees=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Global=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Heft=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Inverses=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Join=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Local=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,MonomialOrder=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,MonomialSize=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,SkewCommutative=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,VariableBaseName=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Variables=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,Weights=>...) -- tensor product of monoids
• tensor(Monoid,Monoid,WeylAlgebra=>...) -- tensor product of monoids
• tensor(Ring,Ring) -- tensor product of monoids
• tensor(Ring,Ring,Constants=>...) -- tensor product of monoids
• tensor(Ring,Ring,DegreeGroup=>...) -- tensor product of monoids
• tensor(Ring,Ring,DegreeLift=>...) -- tensor product of monoids
• tensor(Ring,Ring,DegreeMap=>...) -- tensor product of monoids
• tensor(Ring,Ring,DegreeRank=>...) -- tensor product of monoids
• tensor(Ring,Ring,Degrees=>...) -- tensor product of monoids
• tensor(Ring,Ring,Global=>...) -- tensor product of monoids
• tensor(Ring,Ring,Heft=>...) -- tensor product of monoids
• tensor(Ring,Ring,Inverses=>...) -- tensor product of monoids
• tensor(Ring,Ring,Join=>...) -- tensor product of monoids
• tensor(Ring,Ring,Local=>...) -- tensor product of monoids
• tensor(Ring,Ring,MonomialOrder=>...) -- tensor product of monoids
• tensor(Ring,Ring,MonomialSize=>...) -- tensor product of monoids
• tensor(Ring,Ring,SkewCommutative=>...) -- tensor product of monoids
• tensor(Ring,Ring,VariableBaseName=>...) -- tensor product of monoids
• tensor(Ring,Ring,Variables=>...) -- tensor product of monoids
• tensor(Ring,Ring,Weights=>...) -- tensor product of monoids
• tensor(Ring,Ring,WeylAlgebra=>...) -- tensor product of monoids
• tensor(RingMap,Matrix) -- tensor product via a ring map
• tensor(RingMap,Module) -- tensor product via a ring map
• tensor(Sequence) -- tensor product
• tensorAssociativity -- associativity isomorphisms for tensor products
• tensorAssociativity(Module,Module,Module) -- associativity isomorphisms for tensor products
• TensorProduct -- the class of all tensor product expressions
• terms -- provide a list of terms of a polynomial
• terms(Ring,RingElement) -- provide a list of terms of a polynomial
• terms(RingElement) -- provide a list of terms of a polynomial
• TEST -- add a test for a package
• Test -- value of an optional argument
• TestInput -- locate a package's tests
• tests -- locate a package's tests
• tests(Package) -- locate a package's tests
• tests(String) -- locate a package's tests
• tests(ZZ,Package) -- locate a package's tests
• tests(ZZ,String) -- locate a package's tests
• tex -- convert to $\TeX$ format
• TeXmacs -- the TeXmacs top level printing method
• texMath -- convert to TeX math format
• The authors of Macaulay2
• The authors of Macaulay2 packages
• the debugger
• the engine of Macaulay2
• the interpreter of Macaulay2
• The Macaulay2 language
• then -- condition testing
• Thing -- the class of all things
• Thing * List -- a binary operator, usually used for multiplication
• Thing // Command -- apply a function
• Thing // Function -- apply a function
• Thing // SelfInitializingType -- apply a function
• Thing =!= Thing -- strict inequality
• Thing === Thing -- strict equality
• Thing => Thing -- construct an option
• threadLocal -- create a symbol whose value in one thread is not shared with others
• Threads -- an optional argument
• throw -- throw and catch exceptions
• Time -- the class of all timing results
• time -- time a computation
• times -- multiplication
• timing -- time a computation
• to -- for loops
• toAbsolutePath -- the absolute path version of a file name
• toCC -- convert to high-precision complex number
• toCC(CC) -- convert to high-precision complex number
• toCC(QQ) -- convert to high-precision complex number
• toCC(RR) -- convert to high-precision complex number
• toCC(RR,RR) -- convert to high-precision complex number
• toCC(ZZ) -- convert to high-precision complex number
• toCC(ZZ,CC) -- convert to high-precision complex number
• toCC(ZZ,QQ) -- convert to high-precision complex number
• toCC(ZZ,QQ,QQ) -- convert to high-precision complex number
• toCC(ZZ,QQ,RR) -- convert to high-precision complex number
• toCC(ZZ,QQ,ZZ) -- convert to high-precision complex number
• toCC(ZZ,RR) -- convert to high-precision complex number
• toCC(ZZ,RR,QQ) -- convert to high-precision complex number
• toCC(ZZ,RR,RR) -- convert to high-precision complex number
• toCC(ZZ,RR,ZZ) -- convert to high-precision complex number
• toCC(ZZ,ZZ) -- convert to high-precision complex number
• toCC(ZZ,ZZ,QQ) -- convert to high-precision complex number
• toCC(ZZ,ZZ,RR) -- convert to high-precision complex number
• toCC(ZZ,ZZ,ZZ) -- convert to high-precision complex number
• toExternalString -- convert to a readable string
• toField -- declare that a ring is a field
• toField(Ring) -- declare that a ring is a field
• toList -- create a list
• toList(BasicList) -- create a list
• toList(Set) -- create a list
• toList(String) -- create a list
• toList(Thing) -- create a list
• toLower -- convert to lower case
• top level loop
• topCoefficients -- first variable and its coefficient of a polynomial or matrix
• topCoefficients(Matrix) -- first variable and its coefficient of a polynomial or matrix
• topCoefficients(RingElement) -- first variable and its coefficient of a polynomial or matrix
• topcom
• topLevelMode -- the current top level mode
• Tor -- Tor module
• Tor_ZZ(Ideal,Ideal) -- compute a Tor module
• Tor_ZZ(Ideal,Module) -- compute a Tor module
• Tor_ZZ(Ideal,Ring) -- compute a Tor module
• Tor_ZZ(Module,Ideal) -- compute a Tor module
• Tor_ZZ(Module,Module) -- compute a Tor module
• Tor_ZZ(Module,Ring) -- compute a Tor module
• Tor_ZZ(Ring,Ideal) -- compute a Tor module
• Tor_ZZ(Ring,Module) -- compute a Tor module
• Tor_ZZ(Ring,Ring) -- compute a Tor module
• Toric
• toRR -- convert to high-precision real number
• toRRi -- construct an interval
• Torsion -- value of an optional argument
• toSequence -- convert to sequence
• toSequence(BasicList) -- convert to sequence
• toSequence(String) -- convert to sequence
• toSequence(Thing) -- convert to sequence
• toString -- convert to a string
• TotalPairs -- an optional argument
• toUpper -- convert to upper case
• trace -- trace of a matrix
• trace(Matrix) -- trace of a matrix
• transpose -- transpose a matrix or table
• transpose(List) -- transpose a matrix or table
• transpose(Matrix) -- transpose a matrix or table
• transpose(MutableMatrix) -- transpose a matrix or table
• Tries -- an optional argument
• trim -- minimize generators and relations
• trim(...,Strategy=>...) -- a Strategy option value
• trim(Ideal) -- minimize generators and relations
• trim(Module) -- minimize generators and relations
• trim(MonomialIdeal) -- minimize generators and relations
• trim(QuotientRing) -- minimize generators and relations
• trim(Ring) -- minimize generators and relations
• true
• Truncate -- an optional argument
• truncate
• truncate(Number) -- round a number toward zero
• truncateOutput
• truncateOutput(InfiniteNumber)
• truncateOutput(ZZ)
• try -- catch an error
• tutorial -- convert documentation from tutorial format
• Tutorial: Canonical Embeddings of Plane Curves and Gonality
• Tutorial: Divisors
• Tutorial: Elementary uses of Gröbner bases
• Tutorial: Fano varieties
• Tutorial: Modules in Macaulay2
• two dimensional formatting
• Type -- the class of all mutable types
• TypicalValue -- make a new method function
• typicalValues -- types of values returned by functions
• ultimate -- ultimate value for an iteration
• ultimate(Function,Thing) -- ultimate value for an iteration
• unbag
• unbag(Bag)
• uncurry -- uncurry a function
• Undo -- an optional argument
• undocumented -- declare that something need not be documented
• undocumented(List) -- declare that something need not be documented
• undocumented(Thing) -- declare that something need not be documented
• uniform -- whether all elements of a list are the same class
• uninstallAllPackages
• uninstallPackage -- uninstall a package and remove its documentation
• uninstallPackage(...,InstallPrefix=>...) -- uninstall a package and remove its documentation
• uninstallPackage(Package) -- uninstall a package and remove its documentation
• uninstallPackage(String) -- uninstall a package and remove its documentation
• union -- compute the union
• union(List) -- compute the union
• union(Sequence) -- compute the union
• union(Set,Set) -- set union
• Unique -- an optional argument
• unique -- eliminate duplicates from a list
• unique(Hypertext) -- eliminate duplicates from a list
• unique(VisibleList) -- eliminate duplicates from a list
• uniquePermutations -- produce all unique permutations of a list
• uniquePermutations(VisibleList) -- produce all unique permutations of a list
• uniquePermutations(ZZ) -- produce all unique permutations of a list
• unsequence -- extract the single element from a sequence of length 1
• unstack -- list the rows of a net
• unstack(Net) -- list the rows of a net
• unstack(String) -- list the rows of a net
• Up -- monomial ordering
• UpdateOnly -- an optional argument
• UpperTriangular -- an optional argument
• URL -- a type representing a URL
• urlEncode -- URL encoding
• urlEncode(Nothing) -- URL encoding
• urlEncode(String) -- URL encoding
• Usage -- ways to use a function in a documentation node
• use -- install or activate object
• use(Monoid) -- install ring variables and ring operations
• use(Package) -- activate a previously dismissed package
• use(Ring) -- install ring variables and ring operations
• UseCachedExampleOutput -- an optional argument
• UseHilbertFunction -- an optional argument
• UserMode -- an optional argument
• userSymbols -- a list of the user's symbols
• UseSyzygies
• using functions
• using functions with optional inputs
• using hooks
• using Macaulay2 in a terminal
• using Macaulay2 with Emacs
• using Macaulay2 with Emacs after it has been set up
• using Macaulay2 with TeXmacs
• using packages -- Macaulay2 packages
• using sockets
• utf8 -- encode and decode unicode utf-8-encoded strings
• utf8check -- encode and decode unicode utf-8-encoded strings
• utf8substring -- extract part of a utf8 string
• valid names
• value -- evaluate
• value(Expression) -- 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 -- values in a hash table
• values(Dictionary) -- values in a hash table
• values(HashTable) -- values in a hash table
• Variable -- an optional argument
• VariableBaseName -- an optional argument
• Variables -- an optional argument
• variables
• vars -- variables
• vars(List) -- a sequence of variables
• vars(Monoid) -- list of variables in a monoid
• vars(Ring) -- row matrix of the variables
• vars(Sequence) -- a sequence of variables
• vars(ZZ) -- a sequence of variables
• Vector -- the class of all elements of modules that are handled by the engine
• vector -- make a vector
• Vector % Ideal -- normal form of ring elements and matrices
• Vector * Number -- a binary operator, usually used for multiplication
• Vector * RingElement -- a binary operator, usually used for multiplication
• Vector ** Vector -- tensor product
• Vector + Number -- a unary or binary operator, usually used for addition
• Vector + RingElement -- a unary or binary operator, usually used for addition
• Vector + Vector -- a unary or binary operator, usually used for addition
• Vector - Number -- a unary or binary operator, usually used for negation or subtraction
• Vector - RingElement -- a unary or binary operator, usually used for negation or subtraction
• Vector - Vector -- a unary or binary operator, usually used for negation or subtraction
• Vector / Number -- scalar division
• Vector / RingElement -- scalar division
• Vector ^ List -- select rows
• Vector || Vector -- join vectors
• vector(List) -- make a vector
• vector(Matrix) -- make a vector
• vector(Module,List) -- make a vector
• vector(Module,Matrix) -- make a vector
• vector(Module,Number) -- make a vector
• vector(Module,RingElement) -- make a vector
• vector(Number) -- make a vector
• vector(Ring,List) -- make a vector
• vector(Ring,Matrix) -- make a vector
• vector(Ring,Number) -- make a vector
• vector(Ring,RingElement) -- make a vector
• vector(RingElement) -- make a vector
• vector(RingFamily,List) -- make a vector
• vector(RingFamily,Matrix) -- make a vector
• vector(RingFamily,Number) -- make a vector
• vector(RingFamily,RingElement) -- make a vector
• VectorExpression -- the class of all vector expressions
• Verbose -- an optional argument
• Verify -- an optional argument
• Version -- an optional argument
• version -- information about this version of the program
• VerticalList -- a type of visible self-initializing list that prints vertically
• VerticalSpace -- an optional argument
• viewHelp -- view online documentation in a web browser
• viewHelp(DocumentTag) -- view online documentation in a web browser
• viewHelp(String) -- view online documentation in a web browser
• viewHelp(Thing) -- view online documentation in a web browser
• viewHelp(ZZ) -- display a table of documentation headlines
• viewing the symbols defined so far
• VirtualTally
• VirtualTally ** VirtualTally -- Cartesian product of tallies
• VirtualTally + VirtualTally -- union of tallies
• VirtualTally - VirtualTally
• VirtualTally / Command -- apply a function to elements of a list
• VirtualTally / Function -- apply a function to elements of a list
• VirtualTally ? VirtualTally -- comparison operator
• VirtualTally ^** ZZ -- Cartesian power of sets and tallies
• VirtualTally _ Thing -- get a count from a tally
• VisibleList -- the class of all visible lists
• VisibleList / Command -- apply a function to elements of a list
• VisibleList / Function -- apply a function to elements of a list
• VisibleList / RingMap -- apply a function to elements of a list
• VisibleList / SelfInitializingType -- apply a function to elements of a list
• VisibleList // Command -- apply a function
• VisibleList // Function -- apply a function
• VisibleList _ List -- get some entries of a list
• VisibleList _ ZZ -- get element from list
• wait -- wait for child process
• WebApp -- the web app top level printing method
• wedgeProduct -- the exterior multiplication map
• wedgeProduct(ZZ,ZZ,Module) -- the exterior multiplication map
• weightRange -- the pair of lowest and highest weights of the monomials
• weightRange(List,RingElement) -- the pair of lowest and highest weights of the monomials
• weightRange(RingElement) -- the pair of lowest and highest weights of the monomials
• Weights -- assigning weights to the variables
• Weyl algebras
• WeylAlgebra -- specify differential operators in the ring
• what a class is
• what is a Groebner basis?
• when -- for loops
• while -- while loops
• width -- width of an object
• width(File) -- get window width
• width(Net) -- width of a net
• width(String) -- width of a net
• working with multiple rings
• Wrap -- a key for methods for wrapping printed output
• wrap
• WrapperType -- a class of lists with abbreviated constructors
• WrapperType List -- a class of lists with abbreviated constructors
• WrapperType Sequence -- a class of lists with abbreviated constructors
• WrapperType Thing -- a class of lists with abbreviated constructors
• writing documentation
• xor -- exclusive disjunction
• youngest -- the youngest member of a sequence
• zero -- whether something is zero
• ZeroExpression -- the class of all zero expressions
• zeta -- Riemann zeta function
• zeta(CC) -- Riemann zeta function
• zeta(RR) -- Riemann zeta function
• zeta(RRi) -- Riemann zeta function
• ZZ -- the class of all integers
• ZZ ! -- factorial
• ZZ % MonomialIdeal -- a binary operator, usually used for remainder and reduction
• ZZ % ZZ -- a binary operator, usually used for remainder and reduction
• ZZ & ZZ -- logical and
• ZZ * BettiTally -- the class of all Betti tallies
• ZZ * CC -- a binary operator, usually used for multiplication
• ZZ * ProjectiveHilbertPolynomial -- a binary operator, usually used for multiplication
• ZZ * QQ -- a binary operator, usually used for multiplication
• ZZ * RR -- a binary operator, usually used for multiplication
• ZZ * RRi -- a binary operator, usually used for multiplication
• ZZ * ZZ -- a binary operator, usually used for multiplication
• ZZ + CC -- a unary or binary operator, usually used for addition
• ZZ + QQ -- a unary or binary operator, usually used for addition
• ZZ + RR -- a unary or binary operator, usually used for addition
• ZZ + RRi -- a unary or binary operator, usually used for addition
• ZZ + ZZ -- a unary or binary operator, usually used for addition
• ZZ - CC -- a unary or binary operator, usually used for negation or subtraction
• ZZ - QQ -- a unary or binary operator, usually used for negation or subtraction
• ZZ - RR -- a unary or binary operator, usually used for negation or subtraction
• ZZ - RRi -- a unary or binary operator, usually used for negation or subtraction
• ZZ - ZZ -- a unary or binary operator, usually used for negation or subtraction
• ZZ .. ZZ -- sequences of consecutive integers
• ZZ ..< ZZ -- sequences of consecutive integers
• ZZ / CC -- a binary operator, usually used for division
• ZZ / QQ -- a binary operator, usually used for division
• ZZ / RR -- a binary operator, usually used for division
• ZZ / RRi -- a binary operator, usually used for division
• ZZ / ZZ -- a binary operator, usually used for division
• ZZ // MonomialIdeal -- a binary operator, usually used for quotient
• ZZ // ZZ -- a binary operator, usually used for quotient
• ZZ : Thing -- repeat an item
• ZZ << ZZ
• ZZ == Ideal
• ZZ >> ZZ
• ZZ ^^ ZZ -- logical exclusive-or
• ZZ _ Module -- get the zero vector in a module
• ZZ | String -- join strings or nets
• ZZ | ZZ -- logical or
• ZZ ~ -- logical not