Ralf Hemmecke wrote:
>
> >> Additionally, the docstring for AbelianMonoidRing says:
> >>
> >> """
> >> The monomials commute with each other, but in general do not commute
> >> with the coefficients (which themselves may or may not be commutative).
> >> """
> >>
> >> That sounds as if it were
>> We have the category AbelianMonoidRing and also there is
>> MonoidRingCategory. Shouldn't at least one be a subcategory of the other?
>>
>> http://fricas.github.io/api/AbelianMonoidRing
>> http://fricas.github.io/api/MonoidRingCategory
> Well, this is another instance of 'monoid problem':
Ralf Hemmecke wrote:
>
> Shouldn't we clean up a bit?
>
> We have the category AbelianMonoidRing and also there is
> MonoidRingCategory. Shouldn't at least one be a subcategory of the other?
>
> http://fricas.github.io/api/AbelianMonoidRing
> http://fricas.github.io/api/MonoidRingCategory
Shouldn't we clean up a bit?
We have the category AbelianMonoidRing and also there is
MonoidRingCategory. Shouldn't at least one be a subcategory of the other?
http://fricas.github.io/api/AbelianMonoidRing
http://fricas.github.io/api/MonoidRingCategory
Additionally, the docstring for