diff options
author | dos-reis <gdr@axiomatics.org> | 2010-02-09 15:26:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-02-09 15:26:23 +0000 |
commit | d43aed3feda5c95f861ace2b76e9b693e9247f89 (patch) | |
tree | 4b5363375db7b5cc071a06ecd5d2c53172970f4d /src/algebra/list.spad.pamphlet | |
parent | 76b3bd66c2f3402ce592d66173c201ef2a09915a (diff) | |
download | open-axiom-d43aed3feda5c95f861ace2b76e9b693e9247f89.tar.gz |
* algebra/list.spad.pamphlet (IndexedList): Don't use NEQ.
Diffstat (limited to 'src/algebra/list.spad.pamphlet')
-rw-r--r-- | src/algebra/list.spad.pamphlet | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet index f3dbef0c..f97baab6 100644 --- a/src/algebra/list.spad.pamphlet +++ b/src/algebra/list.spad.pamphlet @@ -46,14 +46,13 @@ IndexedList(S:Type, mn:Integer): Exports == Implementation where -- Those that are required -- CONS, EQ, NIL, NULL, QCAR, QCDR, RPLACA, RPLACD -- Those that are included for efficiency only --- NEQ, LIST, CAR, CDR, NCONC2, NREVERSE, LENGTH +-- LIST, CAR, CDR, NCONC2, NREVERSE, LENGTH -- Also REVERSE, since it's called in Polynomial Ring Qfirst ==> QCAR$Lisp Qrest ==> QCDR$Lisp Qnull ==> NULL$Lisp Qeq ==> EQ$Lisp - Qneq ==> NEQ$Lisp Qcons ==> CONS$Lisp Qpush ==> PUSH$Lisp @@ -106,14 +105,14 @@ IndexedList(S:Type, mn:Integer): Exports == Implementation where -- displays cycle with overbar over the cycle y := empty()$List(OutputForm) s := cycleEntry x - while Qneq(x, s) repeat + while not Qeq(x, s) repeat y := concat((first x)::OutputForm, y) x := rest x y := reverse! y empty? s => bracket y -- cyclic case: z is cylic part z := list((first x)::OutputForm) - while Qneq(s, rest x) repeat + while not Qeq(s, rest x) repeat x := rest x z := concat((first x)::OutputForm, z) bracket concat!(y, overbar commaSeparate reverse! z) |