master index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
!
!=
#
##
#?
%
&
&&
(*)
(betti, ChainComplex)
(degree,Matrix)
(symbol _,Function,Thing)
(vars,Ring)
*
**
+
++
,
-
->
.
..
.?
/
//
///
/^
:
:=
;
<
<-
<<
<=
=
=!=
==
===
==>
=>
>
>=
>>
?
@
@@
\
\\
^
^**
^^
_
{}
|
||
~
abs
accumulate
Acknowledgements
acos
addEndFunction
addStartFunction
Adjacent
adjoint
adjoint1
adjoints of maps
Adjust
AffineVariety
AfterEval
AfterNoPrint
AfterPrint
alarm
algebraic geometry
algebraic varieties
all
allGenerators
ambient
ancestor
ANCHOR
and
ann
ann'
annihilator
annihilator'
any
append
apply
applyKeys
applyPairs
applyTable
applyValues
apropos
argument
Array
Ascending
ascii
asin
ass
assert
assign
assigning values
associated primes of an ideal
Associative
associative algebras
AssociativeExpression
atan
atEndOfFile
autoload
autoReduce
backtrace
Bareiss
BASE
baseName
baseRings
bases of parts of modules
basic arithmetic of matrices
basic construction source and target of a ring map
basic construction, source and target of a ring map
basic rings
basic types
BasicList
basictype
BasisElementLimit
basis
Bayer
BeforePrint
benchmark
betti
between
BIG
binary method
binary methods
BinaryOperation
BinaryPowerMethod
binomial
BLOCKQUOTE
blow ups
BODY
BOLD
Boolean
borel
BR
break
briefDocumentation
browse
buckets
cacheFileName
cacheFileNameKeys
CacheTable
callgg
Canonical Embeddings of Plane Curves and Gonality
CC
ceiling
CENTER
chain complexes
ChainComplex
ChainComplexMap
chainComplex
ChangeMatrix
char
characters
CITE
class
classes and types
clearAll
clearEcho
clearOutput
clone
close
closeIn
closeOut
CODE
code
CodimensionLimit
codim
coefficientRing
coefficients
Cofactor
coherent sheaves
CoherentSheaf
cohomology
coimage
coker
cokernel
collectGarbage
columnate
combinatorial functions
combine
Command
commandLine
communicating with programs
commutative algebra
complement
CompleteIntersection
complete
component example
components
compress
computing Groebner bases
computing resolutions
computing with partial results
concatenate
concatenating matrices
conditional execution
conductor
cone
conjugate
connectionCount
content
contract
contract'
control structures
ConversionFormat
ConvertApply
ConvertFixedRepeat
ConvertInteger
ConvertJoin
ConvertList
ConvertMissing
ConvertRepeat
ConvertToExpression
convert
convex hulls and polar cones
Copyright and license
copy
cos
cosh
cotangentSheaf
cover
coverMap
creating an ideal
creating and writing files
currentDirectory
currentFileName
D-modules
Daniel R. Grayson
Database
David Eisenbud
dd
debugging
decompose
deepSplice
Degree
degree f
degreeLength
DegreeLimit
DegreeMap
DegreeOrder
Degrees
degree
degrees
degreesMonoid
degreesRing
delete
demark
denominator
depth
Descending
describe
det
determinants
determinants and minors
Developer's Corner
DFN
diff
diff and contract
diff'
difference
differentiation
dim
dimension
dimension, codimension, and degree
directSum
Divide
divideByVariable
Divisors
DL
Documentation
document
documentation
DoubleArrow
DownArrow
do
drop
dual
dumpdata
echoOff
echoOn
edit
editing Macaulay 2 code with emacs
eeLift
eePop
eePopBool
eePopInt
eePopIntarray
eePromote
Elementary uses of Groebner bases
Eliminate
Elimination
elimination of variables
elimination theory
EliminationOrder
else
EM
emacs
EmptyMarkUpType
End
end
endl
Engine
EngineRing
engine
engine communication protocol
engineHeap
engineMemory
engineStack
Entity
entries
environment
equality and containment
Equation
erase
error
error handling
errorDepth
euler
evaluation and composition of ring maps
even
examine
EXAMPLE
examples
ExampleTABLE
exec
executing other programs
exit
Expression
exp
exponents
exponents f
expression
Ext
extend
exterior algebras
exterior power of a matrix
exterior power of a module
exteriorPower
extracting generators of an ideal
extracting information from chain complexes
f _ monomial
f _ ZZ
factoring polynomials
Factory library
factor
false
Fano
Fano varieties
fibers of maps
File
finding a Groebner basis
FindOne
fine control of a Groebner basis computation
finite field extensions
finite fields
finite fields, part II
First
first
firstkey
Fitting ideals
fittingIdeal
flag
flatten
flip
floor
flush
fold
for
forceGB
fork
format
format and display of matrices in Macaulay 2
formatDocumentTag
fraction fields
FractionField
frac
fraction
frame
free modules
free resolutions of modules
from
fromDual
Function
FunctionApplication
functions
GaloisField
gb
gbTrace
GBtype
GC garbage collector
gcd
gcdCoefficients
GeneralOrderedGroup
GeneralOrderedMonoid
genera
generatorExpressions
generatorSymbols
generators
genericMatrix
genericSkewMatrix
genericSymmetricMatrix
gens
genus
get
getChangeMatrix
getc
getenv
getMatrix
getNonUnit
getting input from the user
Getting started
getWWW
getZeroDivisor
GF
GF(p^n)
gg
ggPush
GLex
global
globalAssignFunction
GlobalAssignHook
globalReleaseFunction
GlobalReleaseHook
GNU MP
GradedModule
GradedModuleMap
gradedModule
gradedModuleMap
graphIdeal
graphing curves and surfaces via 'surf'
graphRing
Grassmannian
GRevLex
Groebner bases
Groebner bases and related computations
GroebnerBasis
group
Handle
handle
HardDegreeLimit
hash tables
hashing
HashTable
hash
hashTable
HEAD
HEADER1
HEADER2
HEADER3
HEADER4
HEADER5
HEADER6
HeaderType
Headline
height
help
help functions
HH
high level gb engine commands
Hilbert functions
Hilbert functions and free resolutions
hilbertFunction
hilbertPolynomial
hilbertSeries
Holder
hold
Hom
Hom module
Homogeneous
homogenize
homology
homomorphism
homomorphisms (maps) between modules
horizontalJoin
how to get documentation on a library
How to get this program
HR
HREF
HTML
html
hypertext
ICFractions
ICfractions
ICfractions R
ICfractionsLong
ICMap
ICmap
Ideal
id
ideal
ideal quotients and saturation
ideals
ideals and modules
ideals to and from matrices
ideals to and from modules
identity
if
ii
image
imaginaryPart
IMG
importing and exporting matrices
incomparable
Increment
IndeterminateNumber
indeterminate
index
indexComponents
IndexedVariable
IndexedVariableTable
indices
inducedMap
inducesWellDefinedMap
InfiniteNumber
infinity
inheritance from parents
Inhomogeneous
initialization file
input
input a matrix
input and output
installing methods
installMethod
instance
integralClosure
integrate
internals
intersect
intersection of ideals
invariants of finite groups
InverseMethod
Inverses
Invoking the program
irreducibleCharacteristicSeries
isAffineRing
isBorel
isCommutative
isConstant
isDirectSum
isField
isFreeModule
isHomogeneous
isIdeal
isInjective
isInputFile
isIsomorphism
isListener
isModule
isMonomialIdeal
isNormal
isOpenFile
isOutputFile
isPolynomialRing
isPrime
isPrimitive
isQuotientModule
isQuotientOf
isQuotientRing
isReady
isRing
isSquareFree
isSubmodule
isSubset
isSurjective
isTable
isUnit
isWellDefined
ITALIC
Iterate
jacobian
join
KBD
ker
kernel
kernel and image of a ring map
kernel, cokernel and image of a matrix
keys
kill
koszul
Language and Programming Overview
last
leadCoefficient
leadCoefficient f
leadComponent
leadMonomial
leadTerm
leadTerm f
LengthLimit
length
Lenstra-Lenstra-Lovasz (LLL) lattice basis reduction
Lex
lift
liftable
Limit
Linear
lineNumber
lines
List
list
listForm
listForm f
LISTING
lists
listUserSymbols
LITERAL
load
loaddata
loading a library
local
local variables in a file
local variables in a function
localize
locate
log
LongPolynomial
look
lookup
lookupCount
loops
low level gb engine commands
LowerBound
Macaulay 2
Macaulay2/COPYING
making a new method function
making chain complexes by hand
making functions
making functions with a variable number of arguments
making new classes
making new functions with optional arguments
manipulating chain complexes
manipulating polynomials
Manipulator
map
mapping over hash tables
mapping over lists
maps between chain complexes
maps between rings
MarkUpList
MarkUpType
match
Mathematical Overview
Mathematical Vignettes
mathML
matrices
matrices to and from modules
Matrix
MatrixExpression
matrix
max
maxPosition
member
memoize
MENU
merge
mergePairs
method
methods
Michael E. Stillman
min
mingens
mingle
minimal primes of an ideal
minimal primes of an ideal
MinimalGenerators
MinimalMatrix
MinorsComputation
minors
minPosition
minPres
minPresIdeal
minPresMap
minPresMapIdeal
minprimes
Minus
minus
Miscellaneous Topics
Module
ModuleMap
mod
modifyRing
module
modules I
modules II
modulo
Monoid
MonoidElement
monoid
monomial orderings
monomialCurveIdeal
MonomialIdeal
monomialIdeal
MonomialOrder
MonomialOrdering
MonomialSize
Monomials
monomialSubideal
multi-graded polynomial rings
MutableHashTable
MutableList
mutable
name
needs
Net
net
netRows
nets
newClass
newCoordinateSystem
newdecompose
newDegreesMonoid
newDegreesRing
NewFromMethod
newHandle
newline
NewMethod
NewMonomialOrder
NewOfFromMethod
NewOfMethod
n
new
nextkey
NL
NOINDENT
NonAssociativeProduct
NonLinear
NoPrint
not
not documented yet
Nothing
notImplemented
null
nullhomotopy
number
numbered variables
numerator
numeric
numgens
obsolete functions and symbols
odd
of
OL
oldCoefficients
OneExpression
on
OO
oo
ooo
oooo
openDatabase
openDatabaseOut
openFiles
openIn
openInOut
openListener
openOut
operations on modules
operators
Option
Options
options
OptionTable
Order
OrderedMonoid
or
order
over fields
over local rings
over polynomial rings over a field
over polynomial rings over the integers
over the ring of integers
over Weyl algebras
override
pack
pad
PairLimit
PairsRemaining
pairs
PARA
parent
partitions
path
pathSeparator
pdim
peek
peek2
Pfaffians
PfaffiansComputation
pfaffians
phase
pi
plus
poincare
poincareComputation
poincareN
polynomial rings
polynomial rings with other monomial orderings
PolynomialRing
pop
Position
position
positions
Power
power
PRE
precedence
Preface
prepend
presentation
Primary
primary decomposition
primaryComponent
primaryDecomposition
primaryDecompostion
PrimitiveElement
Print
print
print C.dd
printExamples
printing and formatting for new classes
printing to the screen
PrintLevel
printString
processID
Product
ProductOrder
product
profile
profileSummary
Proj
Projective
ProjectiveHilbertPolynomial
projectiveHilbertPolynomial
ProjectiveVariety
promote
protect
prune
pruningMap
pseudoRemainder
PushforwardComputation
pushForward
pushForward1
QQ
quasi- and multi-graded polynomial rings
quit
quotient rings
QuotientRing
quotient
radical
radical of an ideal
random
random and generic matrices
rank
rank of a matrix
read
reading files
Reading the Documentation
realPart
Reference Manual
regularity
relations
reloaded
remove
removeLowestDimension
reorganize
Repair
replacements for commands and scripts from Macaulay
Resolution
Resources required
res
reshape
resolution
restart
return
returnCode
reverse
RevLex
RightArrow
Ring
RingElement
RingMap
Rings
ring
rings
rings that are available for Groebner basis computations
RowExpression
RR
rsort
run
runEndFunctions
running Macaulay 2 in emacs
runStartFunctions
SAGBI bases
same
SAMP
saturate
saturation
scan
scanKeys
scanPairs
scanValues
Schur
Schur rings
SchurRing
ScriptedFunctor
SECTION
SEEALSO
see
seeParsing
select
selectInSubring
SelfInitializingType
sendgg
sendToEngine
separate
SEQ
Sequence
sequence
sequences
Set
set
setEcho
setRandomSeed
setrecursionlimit
setSpin
sheafExt
sheafHom
SheafOfRings
sheaf
SHIELD
shield
showHtml
showStructure
showTex
showUserStructure
simple information about a matrix
SimplePowerMethod
SingleArgumentDispatch
Singular-Factory
Singular-Libfac
sin
singleton
singularLocus
sinh
size
size f
SkewCommutative
sleep
SMALL
solving systems of polynomial equations
someTerms
Sort
sortColumns
SortStrategy
sort
source
SparseMonomialVectorExpression
SparseVectorExpression
Spec
specifying typical values
splice
sqrt
stack
standardForm
standardPairs
status
stderr
stdio
StopBeforeComputation
StopWithMinimalGenerators
Strategy
String
strings
STRONG
SUB
SubringLimit
Subscript
sub
submatrix
subquotient
subquotient modules
subscript
subscripted variables
subsets
substitute
substitute values for variables
substitution and maps between rings
substring
subtable
Sum
summary
SumOfTwists
sum
sums, products, and powers of ideals
SUP
Superscript
super
superscript
Symbol
SymbolTable
symbol
symbol " "
symbolTable
symmetric algebras
symmetricAlgebra
symmetricPower
syntax
system
Syzygies
syzygies
SyzygyLimit
SyzygyMatrix
SyzygyRows
syz
syzygyScheme
TABLE
Table
table
take
Tally
tally
tan
tanh
target
temporaryFileName
tensor
tensor products of rings
tensorAssociativity
terms
TEST
TEX
TeX
tex
texMath
text
The authors
then
Thing
Time
time
times
timing
TITLE
TO
TOC
to
toDual
toExternalString
toField
toFilename
TOH
toHandle
toList
top
top level loop
top-method
topCoefficients
topicList
topics
Tor
Tor and Ext
toSequence
toString
TotalPairs
trace
transmitting a matrix
transmitting a monomial
transmitting a polynomial
transmitting a positive integer
transmitting a sequence
transmitting a vector
transmitting an integer
transmitting an integer mod n
transnet
transpose
trim
true
truncate
truncateOutput
try
TT
two dimensional formatting
Type
TypicalValue
typicalValues
UL
ultimate
UNDERLINE
unhex
uniform
unique
Unmixed
unSingleton
UseHilbertFunction
User's Guide
use
userSymbols
using external libraries
using functions
using functions with optional arguments
using sockets
valid names
value
values
VAR
Variable
VariableBaseName
VariableOrder
Variables
variables and symbols
varieties
Variety
variety
vars
Vector
vector
Verify
version
viewing the symbols defined so far
VisibleList
w3
wait
wedgeProduct
Weights
Weyl algebras
WeylAlgebra
w
what a class is
what is a Groebner basis?
when
while
width
working with multiple rings
WrapperType
XMP
xor
youngest
ZeroExpression
ZZ
ZZ/p
ZZZ
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z