|
D.15.13.12 createGradedRingHomomorphism
Procedure from library multigrading.lib (see multigrading_lib).
- Usage:
- createGradedRingHomomorphism(R, f, A); ring R, ideal f, group homomorphism A
- Purpose:
- create a multigraded group ring homomorphism defined by
a ring map from R to the current ring, given by generators images f
and a group homomorphism A between grading groups
- Return:
- graded ring homorphism
Example:
|