sebasguts/GradedRingForHomalg — Issue #3: Degree of Zero
Author: sebasguts
Created: 2011-11-25 09:45:37+00:00
State: open

The ZeroElement of a ring needs a unique degree, representing minus infinity. This needs to be added as the closure of a the Degreegroup.