Backported from openaxiom.
1. Ring already has Monoid
2. OrderedRing already has abs
3. sb-ext:quit is deprecated for a long time
diff --git a/src/algebra/catdef.spad b/src/algebra/catdef.spad
index 5a7b371..ce919f6 100644
--- a/src/algebra/catdef.spad
+++ b/src/algebra/catdef.spad
@@ -1061,7 +1061,7 @@
++ \spad{0<a and b<c => ab< ac}
OrderedRing() : Category == Join(OrderedAbelianGroup, Ring,
- CharacteristicZero, Monoid) with
+ CharacteristicZero) with
positive? : % -> Boolean
++ positive?(x) tests whether x is strictly greater than 0.
negative? : % -> Boolean
diff --git a/src/algebra/sf.spad b/src/algebra/sf.spad
index fbcc3b6..28af4bb 100644
--- a/src/algebra/sf.spad
+++ b/src/algebra/sf.spad
@@ -43,8 +43,6 @@
++ truncate x returns the integer between x and 0 closest to x.
round : % -> %
++ round x computes the integer closest to x.
- abs : % -> %
- ++ abs x returns the absolute value of x.
add
characteristic() == 0
diff --git a/src/lisp/fricas-lisp.lisp b/src/lisp/fricas-lisp.lisp
index 74c2cec..79e05c1 100644
--- a/src/lisp/fricas-lisp.lisp
+++ b/src/lisp/fricas-lisp.lisp
@@ -219,7 +219,7 @@
#+:sbcl
(defun exit-with-status (s)
(setf *terminal-io* *saved-terminal-io*)
- (sb-ext::quit :UNIX-STATUS s))
+ (sb-ext:exit :code s))
#+:clisp
(defun exit-with-status (s) (ext::quit s))
--
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.
