I understand that the following is not a smart thing to do. Axiom should complain, but it just coredumps silently: \begin{axiom} primes:Stream Integer := generate(nextPrime, 2) smallerThan(stream, n) == [ s for s in stream  s < n ] smallerThan(primes, 100)  Axiom 3.0 Beta coredumps \end{axiom} Matthias The failure is unrelated to Tim This is likely due to stack overflow (previously reported). The construct for smallerThan requires Axiom to test EVERY element in the stream to see if s < n. There is no reason why Axiom should complain. Axiom is not designed to be able to figure out a general formula for the nth entry of the output stream for smallerThan whose signature is: fricas smallerThan: (Stream Integer, Type: Void
To do what you are trying to do, do this: fricas )clear all However, why should this give an error? fricas entries p The expected result would be the first 11 (default stream length) entries. And here is another problem: fricas lessThan(n)== g(s)== (s < n) print(g(3)) filterWhile(g, Type: Void
fricas lessThan(5) fricas Compiling function g with type PositiveInteger > Boolean There are 2 exposed and 0 unexposed library operations named filterWhile having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, fricas Compiling function g with type PositiveInteger > Boolean false There are 2 exposed and 0 unexposed library operations named filterWhile having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, The local function g is not compiled correctly because n is not passed to it. So it compiles as false for all input. The same error occurs in the NAG version. One would then expect Axiom to go into an infinite loop if we use not(sn). But Axiom is "smart enough" to know and creates the stream even though the answer is still wrong. fricas lessTest(n)== g(s) == not(s < n) print(g 3) filterWhile(g, Type: Void
fricas lessTest(5) fricas Compiling function g with type PositiveInteger > Boolean There are 2 exposed and 0 unexposed library operations named filterWhile having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, fricas Compiling function g with type PositiveInteger > Boolean true There are 2 exposed and 0 unexposed library operations named filterWhile having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, This crashes: \begin{axiom} largerThan(st,n)==[s for s in st  not(s < n)] largerThan(p,5) \end{axiom} This one below crashes, but not for the NAG version, which gives the correct answer: \begin{axiom} before(st, n)==filterWhile(s+> s < n, st) before(p,5) \end{axiom} And this also crashes (whereas it does NOT crash for NAG version, giving the correct answer).: \begin{axiom} lessThan(n)==filterWhile(s+> (s < n), p) lessThan(5) \end{axiom} William minor, since one has enough time to kill the evaluation using ctrlc It was a bug in the function macroexpandall. At that time the workaround was to compile functions via the system command)set function compile on (we did not notice it here). I just tested this workaround in an old version of Axiom (February 2005) and it cures this issue. For information, an old version of Axiom (or a recent version with the buggy macroexpandall function) compiled on gcl2.6.8pre does not crash but silently returns.
Status: open => closed
