DegreeMap -- an optional argument

Functions with optional argument named DegreeMap:

• map(...,DegreeMap=>...) -- see map(Ring,Ring,Matrix) -- make a ring map
• monoid(...,DegreeMap=>...) -- see monoid(...,DegreeLift=>...) -- specify maps between degree groups
• newRing(...,DegreeMap=>...) -- see newRing -- make a copy of a ring, with some features changed
• symmetricAlgebra(...,DegreeMap=>...) -- see symmetricAlgebra -- the symmetric algebra of a module
• tensor(Monoid,Monoid,DegreeMap=>...) -- see tensor(Monoid,Monoid) -- tensor product of monoids
• tensor(Ring,Ring,DegreeMap=>...) -- see tensor(Monoid,Monoid) -- tensor product of monoids