

last edited 15 years ago by kratt6 
1 2 3 4 5  
Editor: kratt6
Time: 2008/01/04 04:17:43 GMT8 

Note: 
added:
From kratt6 Fri Jan 4 04:17:43 0800 2008
From: kratt6
Date: Fri, 04 Jan 2008 04:17:43 0800
Subject:
MessageID: <200801040417430800@axiomwiki.newsynthesis.org>
Category: Axiom Library => Axiom Interpreter
...and occurs in fact only in the interpreter (by design)
An interesting bug. When you type [i for i in 1..  prime?(i)]? everything works fine. There is infinite number of primes so no problem. However, try this: [i for i in 5 ..  zero?(i)]?
Clearly there is only one zero. The command seems to attempt to find at least ten zeros before exiting. It seems to me that this sort of set generation does not even check if there is only a finite number of elements in the set or if the set is infinite. In the case when the number of instances satisfying the condition is less than 10 the program will choke and enter an infinite loop.
this is documented behaviour
Status: closed => rejectedthis is documented behaviour
Category: Axiom Library => Axiom Interpreter...and occurs in fact only in the interpreter (by design)