|
D.15.13.11 isGradedRingHomomorphism
Procedure from library multigrading.lib (see multigrading_lib).
- Usage:
- isGradedRingHomomorphism(R, f, A); ring R, ideal f, group homomorphism A
- Purpose:
- test 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:
- int, 1 for TRUE, 0 otherwise
Example:
|