|
D.15.13.46 pushForward
Procedure from library multigrading.lib (see multigrading_lib).
- Usage:
- pushForward(f);
- Purpose:
- Computes the finest grading of the image ring which makes the map f
a map of graded rings. The group map between the two grading groups is given
by transpose( (Id, 0) ). Pay attention that the group spanned by the columns of
the grading group matrix may not be a subgroup of the grading group. Still all columns
are needed to find the correct image of the preimage gradings.
Example:
|