Re: [fricas-devel] PositiveInteger should have OrderedMonoid

2019-07-29 Thread Waldek Hebisch
oldk1331 wrote: > > I think PositiveInteger satisfy the definition of OrderedMonoid, > so I propose following change. > > --- a/src/algebra/integer.spad > +++ b/src/algebra/integer.spad > @@ -259,7 +259,7 @@ > ++ Keywords: positive integer > ++ Description: \spadtype{PositiveInteger} provides f

[fricas-devel] PositiveInteger should have OrderedMonoid

2019-07-29 Thread oldk1331
I think PositiveInteger satisfy the definition of OrderedMonoid, so I propose following change. --- a/src/algebra/integer.spad +++ b/src/algebra/integer.spad @@ -259,7 +259,7 @@ ++ Keywords: positive integer ++ Description: \spadtype{PositiveInteger} provides functions for ++ positive integer