next
|
previous
|
forward
|
backward
|
up
|
top
|
index
|
toc
|
directory
|
Macaulay 2 web site
Macaulay2Doc
>
The Macaulay 2 language
>
operators
>
SPACE
SPACE -- blank operator; often used for function application, making polynomial rings
See also
Function Thing
-- function application
Ways to use
SPACE
:
BettiTally Array, see
BettiTally
-- the class of all Betti tallies
BettiTally ZZ, see
BettiTally
-- the class of all Betti tallies
ChainComplex Array
-- degree shift
CoherentSheaf ZZ
-- canonical twist of a coherent sheaf
SheafOfRings ZZ, see
CoherentSheaf ZZ
-- canonical twist of a coherent sheaf
Command Thing, see
Command
-- the class of all commands
Expression Expression, see
Expression
-- the class of all expressions
Function Thing
-- function application
GradedModule Array
-- degree shift
HeaderType List, see
HeaderType
-- a class of lists with abbreviated constructors
HeaderType Sequence, see
HeaderType
-- a class of lists with abbreviated constructors
CoherentSheaf LowerBound, see
LowerBound
-- the class of lower bound objects
SheafOfRings LowerBound, see
LowerBound
-- the class of lower bound objects
Manipulator Database, see
Manipulator
-- the class of all file manipulators
Manipulator File, see
Manipulator
-- the class of all file manipulators
Manipulator Nothing, see
Manipulator
-- the class of all file manipulators
Module Array
-- make a chain complex from a module
Manipulator NetFile, see
NetFile
-- the class of all net files
ProjectiveHilbertPolynomial ZZ
-- value of polynomial
InexactFieldFamily Array, see
Ring Array
-- the standard way to make a polynomial ring
Ring Array
-- the standard way to make a polynomial ring
Ring List
-- make a local polynomial ring
Ring OrderedMonoid
-- make a polynomial ring
RingElement Array
-- substitution of variables
RingMap ChainComplex, see
RingMap RingElement
-- apply a ring map
RingMap Ideal, see
RingMap RingElement
-- apply a ring map
RingMap Matrix, see
RingMap RingElement
-- apply a ring map
RingMap Module, see
RingMap RingElement
-- apply a ring map
RingMap RingElement
-- apply a ring map
RingMap Vector, see
RingMap RingElement
-- apply a ring map
ScriptedFunctor Thing, see
ScriptedFunctor
-- the class of all scripted functors
SelfInitializingType Thing, see
SelfInitializingType
-- the class of all self initializing types
WrapperType List, see
WrapperType
-- a class of lists with abbreviated constructors
WrapperType Sequence, see
WrapperType
-- a class of lists with abbreviated constructors
WrapperType Thing, see
WrapperType
-- a class of lists with abbreviated constructors
For the programmer
The object
SPACE
is
a
keyword
.
This operator may be used as a binary operator in an expression like
x SPACE y
. The user may install
binary methods
for handling such expressions with code such as
X Y := (x,y) -> ...
where
X
is the class of
x
and
Y
is the class of
y
.