next
|
previous
|
forward
|
backward
|
up
|
top
|
index
|
toc
|
home
Macaulay2
>
The Macaulay2 language
>
operators
>
:
: -- a binary operator, uses include repetition; ideal quotients
Ways to use
:
:
Parser : Analyzer
-- combine a parser with a lexical analyzer to make a complete system
Ideal : Ideal, see
quotient(Ideal,Ideal)
-- ideal or submodule quotient
Ideal : RingElement, see
quotient(Ideal,Ideal)
-- ideal or submodule quotient
Module : Ideal, see
quotient(Ideal,Ideal)
-- ideal or submodule quotient
Module : Module, see
quotient(Ideal,Ideal)
-- ideal or submodule quotient
Module : RingElement, see
quotient(Ideal,Ideal)
-- ideal or submodule quotient
MonomialIdeal : MonomialIdeal, see
quotient(Ideal,Ideal)
-- ideal or submodule quotient
ZZ : Thing
-- repeat an item
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
.