The user may install binary methods for this operator with code such as
X : Y := (x,y) -> ...where X is the class of x and Y is the class of y .
f : g
-- if f and g are matrices with the same target free module,
computes the ideal of ring elements r which send the image of f into
the image of g, and returns a matrix which generates that ideal. Also
works if f or g are ring elements themselves, in which case the ring
element is multiplied by an identity map, or if they are ideal, submodules,
or monomial ideals. See also quotient.
n : x
-- if n is an integer and x is anything, return a
sequence consisting of x repeated n times. A negative value for
n
will silently be treated as zero.
Go to main index.
Go to concepts index.