next
|
previous
|
forward
|
backward
|
up
|
top
|
index
|
toc
|
home
Macaulay2Doc
>
The Macaulay2 language
>
operators
>
_
_ -- a binary operator, used for subscripting and access to elements
Ways to use
_
:
CC _ ComplexField
(missing documentation )
ChainComplex _ ZZ
-- component
GradedModule _ ZZ, see
ChainComplex _ ZZ
-- component
ChainComplex _ ZZ = Thing
-- install component of chain complex
ChainComplexMap _ ZZ
-- component map
GradedModuleMap _ ZZ, see
ChainComplexMap _ ZZ
-- component map
ChainComplexMap _ ZZ = Thing
-- install component of chain complex map
Constant _ InexactFieldFamily
(missing documentation )
Constant _ Ring
(missing documentation )
Expression _ Expression, see
Expression
-- the class of all expressions
Function _ Thing
-- attach the first argument to a function of two or more arguments
Ideal _ ZZ, see
generators of ideals and modules
Matrix _ ZZ, see
generators of ideals and modules
Module _ ZZ, see
generators of ideals and modules
MonomialIdeal _ ZZ, see
generators of ideals and modules
IndexedVariable _ Ring
-- get a ring variable by name
IndexedVariableTable _ Thing, see
IndexedVariableTable
IndexedVariableTable _ Thing = Thing, see
IndexedVariableTable
InexactFieldFamily _ ZZ
(missing documentation )
ChainComplexMap _ Array, see
Matrix _ Array
-- component of map corresponding to summand of source
GradedModuleMap _ Array, see
Matrix _ Array
-- component of map corresponding to summand of source
Matrix _ Array
-- component of map corresponding to summand of source
Matrix _ List
-- select columns
Matrix _ Sequence
-- get entry of matrix
MutableMatrix _ Sequence, see
Matrix _ Sequence
-- get entry of matrix
ChainComplex _ Array, see
Module _ Array
-- inclusion from summand
Module _ Array
-- inclusion from summand
Ideal _ List, see
Module _ List
-- map from free module to some generators
Module _ List
-- map from free module to some generators
MutableMatrix _ Sequence = Thing
-- assignment to an element of a mutable matrix
Number _ InexactFieldFamily
(missing documentation )
Partition _ ZZ
-- get element
QQ _ ComplexField
(missing documentation )
QQ _ RealField
(missing documentation )
Ring _ List
-- make a monomial from a list of exponents
Ring _ String
-- get a ring variable by name
Ring _ ZZ
-- get a ring variable by index
RR _ ComplexField
(missing documentation )
RR _ RealField
(missing documentation )
SchurRingIndexedVariableTable _ Thing, see
SchurRingIndexedVariableTable
ScriptedFunctor _ Thing, see
ScriptedFunctor
-- the class of all scripted functors
String _ Sequence
-- substring
String _ ZZ
-- get element from string
RingElement _ Ring, see
Symbol _ Ring
-- get a ring variable by name
Symbol _ Ring
-- get a ring variable by name
Symbol _ Thing
-- index variable
Symbol _ Thing = Thing
-- assignment to an indexed variable
Tally _ Thing
-- get a count from a tally
VisibleList _ List
-- get some entries of a list
VisibleList _ ZZ
-- get element from list
ZZ _ ComplexField
(missing documentation )
ZZ _ RealField
(missing documentation )
ZZ _ Module, see
ZZ _ Ring
-- integers or zero element
ZZ _ Ring
-- integers or zero element
For the programmer
The object
_
is
a
keyword
.
This operator may be used as a binary operator in an expression like
x_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
.