diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-02 03:16:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-02 03:16:09 +0000 |
| commit | d7abce535075910edbd16db165588b6c99c37e77 (patch) | |
| tree | f02ec0748665d09da614167937a9e9ab97616787 /src/interp/ggreater.lisp | |
| parent | 080cc997345ac89c030ca945501b931af8ba11a5 (diff) | |
| download | open-axiom-d7abce535075910edbd16db165588b6c99c37e77.tar.gz | |
* interp/g-util.boot: Import "ggreater".
* interp/category.boot: Import "g-cndata"
* interp/c-util.boot: Import "g-opt".
* interp/Makefile.pamphlet: Adjust Make rules.
Diffstat (limited to 'src/interp/ggreater.lisp')
| -rw-r--r-- | src/interp/ggreater.lisp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/interp/ggreater.lisp b/src/interp/ggreater.lisp index c27ff31e..81d7ca60 100644 --- a/src/interp/ggreater.lisp +++ b/src/interp/ggreater.lisp @@ -204,5 +204,7 @@ (defvar SORTGREATERP #'GGREATERP "default sorting predicate") +(defun GLESSEQP (X Y) (NOT (GGREATERP X Y))) +(defun LEXLESSEQP (X Y) (NOT (LEXGREATERP X Y))) |