[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Aldor proves 4 to be prime... :-(
From: |
Ralf Hemmecke |
Subject: |
[Axiom-developer] Aldor proves 4 to be prime... :-( |
Date: |
Sun, 04 Mar 2007 15:16:28 +0100 |
User-agent: |
Thunderbird 2.0b2 (X11/20070116) |
Since "prime?: % -> Boolean" segfaults,
let us test "prime?: Integer -> Partial Boolean".
aldor -q1 -fx -lalgebra -laldor aaa.as
aaa
[T]
Either my Aldor compiler doesn't like me or it looks like a good
candidate for the general problem that computer algebra faces: Lack of
well documented programs that everyone could check before trusting a result.
Ralf
---BEGIN aaa.as
#include "algebra"
#include "aldorio"
macro Z == Integer;
main(): () == {
import from Z;
b: Partial Boolean := prime? 4;
stdout << b << newline;
}
main();
---END aaa.as
- [Axiom-developer] Aldor proves 4 to be prime... :-(,
Ralf Hemmecke <=