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
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