Hi Simon, >> - A = some graded ring, B = some homogeneous component of A >> Adding elements of A and B should give an element of A > > Here you have a coercion from B to A, and thus no construction functor > or pushout construction is involved.
At least in the general setting of submodules and linear subspaces, there is such a "functorial" construction, namely SubspaceFunctor, and it does get used in pushout constructions. I encountered this when looking at #10513, and this was the reason for opening #16507. Peter -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
