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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.