share/calculus/qualsp.lisp

   1 ;;;;;;;;;;;;;;;;;;; -*- Mode: Lisp; Package: Macsyma -*- ;;;;;;;;;;;;;;;;;;;
   2 ;;;     (c) Copyright 1981 Massachusetts Institute of Technology         ;;;
   3 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   4
   5
   6 ;(load-macsyma-macros mrgmac)
   7
   8 ;;  qual-lisp file. Used by qual.mac.
   9
  10
  11 (defun $lesses (x)
  12   (setq x (dinternp x))
  13   (do ((l (getf (symbol-plist x) 'data nil) (cdr l)) (nl))
  14       ((null l) (cons '(mlist) nl))
  15     (if (and (eq 'mgrp (caaar l)) (eq x (caddar (car l))))
  16         (setq nl (cons (doutern (cadaar l)) nl)))))
  17
  18 (defun $leqs (x)
  19   (setq x (dinternp x))
  20   (do ((l (getf (symbol-plist x) 'data nil) (cdr l)) (nl))
  21       ((null l) (cons '(mlist) nl))
  22     (if (and (eq 'mgqp (caaar l)) (eq x (caddar (car l))))
  23         (setq nl (cons (doutern (cadaar l)) nl)))))
  24
  25 (defun $greaters (x)
  26   (setq x (dinternp x))
  27   (do ((l (getf (symbol-plist x) 'data nil) (cdr l)) (nl))
  28       ((null l) (cons '(mlist) nl))
  29     (if (and (eq 'mgrp (caaar l)) (eq x (cadaar l)))
  30         (setq nl (cons (doutern (caddar (car l))) nl)))))
  31
  32 (defun $geqs (x)
  33   (setq x (dinternp x))
  34   (do ((l (getf (symbol-plist x) 'data nil) (cdr l)) (nl))
  35       ((null l) (cons '(mlist) nl))
  36     (if (and (eq 'mgqp (caaar l)) (eq x (cadaar l)))
  37         (setq nl (cons (doutern (caddar (car l))) nl)))))
  38
  39 (defun $equals (x)
  40   (setq x (dinternp x))
  41   (do ((l (getf (symbol-plist x) 'data nil) (cdr l)) (nl))
  42       ((null l) (cons '(mlist) nl))
  43     (cond ((not (eq 'meqp (caaar l))))
  44           ((eq x (cadaar l)) (setq nl (cons (doutern (caddar (car l))) nl)))
  45           (t (setq nl (cons (doutern (cadaar l)) nl))))))
  46
  47 (defun $neqs (x)
  48   (setq x (dinternp x))
  49   (do ((l (getf (symbol-plist x) 'data nil) (cdr l)) (nl))
  50       ((null l) (cons '(mlist) nl))
  51     (cond ((not (eq 'mnqp (caaar l))))
  52           ((eq x (cadaar l)) (setq nl (cons (doutern (caddar (car l))) nl)))
  53           (t (setq nl (cons (doutern (cadaar l)) nl))))))
  54