Unify graded algebras

[mjungmath]

This is a follow-up of #32272. We want to unify the different implementations of graded algebras and possibly incorporate an appropriate ideal (see #32249).

See e.g. #32272 comment:43.

CC: @tscrim @trevorkarn @jhpalmieri

Component: algebra

Issue created by migration from https://trac.sagemath.org/ticket/32365

[mjungmath]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-This is a follow-up of #32272. We want to unify the different implementations of graded algebras and possibly incorporate an appropriate ideal (see #xxxxxx). 
+This is a follow-up of #32272. We want to unify the different implementations of graded algebras and possibly incorporate an appropriate ideal (see #32249). 

[mjungmath]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
-This is a follow-up of #32272. We want to unify the different implementations of graded algebras and possibly incorporate an appropriate ideal (see #32249). 
+This is a follow-up of #32272. We want to unify the different implementations of graded algebras and possibly incorporate an appropriate ideal (see #32249).
+
+See e.g. [#32272 comment:43](https://github.com/sagemath/sage/issues/32272#comment:43).