[Next][Prev] [Right] [Left] [Up] [Index] [Root]
(Function.) Given a vector v from a tuple module V and a submodule W
of V,
return the reduction of v with respect to W (that is, the
canonical representative of the coset v + W).
(Procedure.) Given a vector v from a tuple module V and a submodule W
of V, replace v with its reduction of with respect to W (that is, the
canonical representative of the coset v + W).
Given a vector v from a tuple module V and a submodule U of V, return
the unique u in U and w in the complement to U in U + <v> such
that v = u + w.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
Version: V2.19 of
Mon Dec 17 14:40:36 EST 2012