diff options
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) |