Is this OK?
diff --git a/src/algebra/integer.spad b/src/algebra/integer.spad
index 423b30c..1e1e561 100644
--- a/src/algebra/integer.spad
+++ b/src/algebra/integer.spad
@@ -193,8 +193,8 @@
++ Keywords: integer
++ Description: \spadtype{NonNegativeInteger} provides functions for non
++ negative integers.
-NonNegativeInteger : Join(OrderedAbelianMonoidSup, SemiRing,
- CommutativeStar) with
+NonNegativeInteger : Join(OrderedAbelianMonoidSup, SemiRing,
CommutativeStar,
+ ConvertibleTo InputForm) with
_quo : (%, %) -> %
++ a quo b returns the quotient of \spad{a} and b, forgetting
++ the remainder.
@@ -237,7 +237,8 @@
++ Keywords: positive integer
++ Description: \spadtype{PositiveInteger} provides functions for
++ positive integers.
-PositiveInteger : Join(OrderedAbelianSemiGroup, Monoid, CommutativeStar)
with
+PositiveInteger : Join(OrderedAbelianSemiGroup, Monoid, CommutativeStar,
+ ConvertibleTo InputForm) with
gcd : (%, %) -> %
++ gcd(a, b) computes the greatest common divisor of two
++ positive integers \spad{a} and b.
--
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.
