[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiomdeveloper] [#90 coredump with infinite stream]
From: 
Bill Page 
Subject: 
[Axiomdeveloper] [#90 coredump with infinite stream] 
Date: 
Mon, 25 Jul 2005 20:02:38 0500 
Changes
http://page.axiomdeveloper.org/zope/mathaction/90CoredumpWithInfiniteStream/diff

??changed:
I understand that the following is not a smart thing to do. Axiom should
complain, but it just coredumps silently:

\begin{verbatim}
===
primes:Stream Integer := generate(nextPrime, 2)
smallerThan(stream, n) == [ s for s in stream  s < n ]
smallerThan(primes, 100)  Axiom 3.0 Beta coredumps
===
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}
removed:
\end{verbatim}
??changed:
\begin{verbatim}
\begin{axiom}
??changed:
\end{verbatim}
\end{axiom}
removed:

??changed:
\begin{axiom}
entries p
\end{axiom}
\begin{axiom}
entries p
\end{axiom}
??changed:
\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}
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}
removed:

From unknown Fri Feb 11 02:04:39 0600 2005
From:
Date: Fri, 11 Feb 2005 02:04:39 0600
Subject: Example where Interpreter/Compiler differs from NAG version
MessageID: <address@hidden>



From unknown Tue Mar 8 05:15:13 0600 2005
From:
Date: Tue, 08 Mar 2005 05:15:13 0600
Subject: property change
MessageID: <address@hidden>


removed:
From unknown Mon Jul 25 19:24:05 0500 2005
From: unknown
Date: Mon, 25 Jul 2005 19:24:05 0500
Subject:
MessageID: <address@hidden>

\begin{axiom}
matrix[[2,2],[2,2]]
\end{axiom}






forwarded from http://page.axiomdeveloper.org/zope/mathaction/address@hidden