isHomogeneous RingMap -- test for homogeneity

isHomogeneous RingMap -- test for homogeneity

Synopsis:

Function: isHomogeneous -- test for homogeneity

Input:

an instance of class RingMap.

Output:

an instance of class Boolean.

Code:

     -- ../../../Macaulay2/m2/ringmap.m2:207-214
     isHomogeneous RingMap := (f) -> (
          R := f.source;
          S := f.target;
          isHomogeneous R and isHomogeneous S and
          all(allGenerators R, r -> (
                    s := f r;
                    s == 0 or degree s === f.DegreeMap degree r
                    )))