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 allowed that one could use a non-commutative
> >> coefficient domain. But according to the types the coefficient domain is
> >> an AbelianMonoid.
> >
> > Which means that '+' for coefficients is commutative. But we do not
> > require commutative '*'.
>
> All the things are clear except the part
>
> ===
> the coefficients (which themselves may or may not be commutative)
> ===
>
> To me the "which" refers to "coefficients". But the coefficient domain
> *IS* commutative by specification of R: Join(SemiRng, AbelianMonoid).
(1) -> sM := SquareMatrix(2, Integer)
(1) SquareMatrix(2,Integer)
Type: Type
(2) -> sM has SemiRng
(2) true
Type: Boolean
(3) -> sM has AbelianMonoid
(3) true
Type: Boolean
(4) -> sM has CommutativeRing
(4) false
Type: Boolean
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
