← Back to branch summary

~ubuntu-branches/ubuntu/karmic/maxima/karmic

« back to all changes in this revision

Viewing changes to src/trpred.lisp

  • Committer: Bazaar Package Importer
  • Author(s): Barry deFreese
  • Date: 2006-07-06 17:04:52 UTC
  • mfrom: (1.1.4 upstream)
  • Revision ID: james.westby@ubuntu.com-20060706170452-j9ypoqc1kjfnz221
Tags: 5.9.3-1ubuntu1
* Re-sync with Debian
* Comment out backward-delete-char-untabify in maxima.el (Closes Malone #5273)
* debian/control: build-dep automake -> automake1.9 (Closes BTS: #374663)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/trpred.lisp
8
8
;;;     (c) Copyright 1981 Massachusetts Institute of Technology         ;;;
9
9
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
10
10
 
11
 
(in-package "MAXIMA")
 
11
(in-package :maxima)
12
12
(macsyma-module trpred)
13
13
(transl-module trpred)
14
14
 
162
162
           (wrap-an-is `(meqp ,(dconvx arg1) ,(dconvx arg2))
163
163
                       form)))))
164
164
 
165
 
(defun trp-mnotequal (form) (list 'not (trp-mequal form)))
166
 
 
167
 
(defun trp-mgeqp (form) (list 'not (trp-mlessp form)))
168
 
 
169
 
(defun trp-mleqp (form) (list 'not (trp-mgreaterp form)))
 
165
;; Logical not for predicates.  Do the expected thing, except return
 
166
(defun trp-not (val)
 
167
  (case val
 
168
    ((t)
 
169
     nil)
 
170
    ((nil)
 
171
     t)
 
172
    (otherwise
 
173
     val)))
 
174
      
 
175
(defun trp-mnotequal (form) (list 'trp-not (trp-mequal form)))
 
176
 
 
177
(defun trp-mgeqp (form) (list 'trp-not (trp-mlessp form)))
 
178
 
 
179
(defun trp-mleqp (form) (list 'trp-not (trp-mgreaterp form)))
170
180
 
171
181
 
172
182
;;; sigh, i have to copy a lot of the $assume function too.