login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #432 List doesn't check for circularity in length revision 1 of 6

1 2 3 4 5 6
Editor: kratt6
Time: 2008/09/01 12:05:02 GMT-7
Note:

changed:
-
\begin{axiom}
u:= [9,2,4,7]; concat! (u, [1,2,42]); end := rest(u,4); part:=rest(u,2);  setrest!(end, part);
\end{axiom}

Asking for the number of elements of u will exhibit lisp-implementation-dependend behaviour, ranging from an error to an infinite loop.

We should either fix the documentation (saying, that this is the case), or check for circularity.  This could be done by calling 'INTEGER-LENGTH' in 'ILIST', for example.


Submitted by : kratt6 at: 2008-09-01T12:05:02-07:00 (15 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

axiom
u:= [9,2,4,7]; concat! (u, [1,2,42]); end := rest(u,4); part:=rest(u,2);
setrest!(end, part);
Type: List PositiveInteger?

Asking for the number of elements of u will exhibit lisp-implementation-dependend behaviour, ranging from an error to an infinite loop.

We should either fix the documentation (saying, that this is the case), or check for circularity. This could be done by calling INTEGER-LENGTH in ILIST, for example.