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 functions for
> ++ positive integers.
> -PositiveInteger : Join(OrderedAbelianSemiGroup, Monoid, CommutativeStar,
> +PositiveInteger : Join(OrderedAbelianSemiGroup, OrderedMonoid,
> CommutativeStar,
> ConvertibleTo InputForm) with
> gcd : (%, %) -> %
> ++ gcd(a, b) computes the greatest common divisor of two
OK, please commit
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/E1hs4lQ-0006oT-N3%40hera.math.uni.wroc.pl.
