next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
_* -- a unary postfix operator, used for indicating pushforward maps
Ways to use
_*
:
Ideal _*
-- get the list of generators of an ideal
RingFamily _*
-- a unary postfix operator, used for indicating pushforward maps
RingFamily _* = Thing
(missing documentation )
For the programmer
The object
_*
is
a
keyword
.
This operator may be used as a postfix unary operator in an expression like
x _*
. The user may install a method for handling such expressions with code such as
X _* := (x,y) -> ...
where
X
is the class of
x
.