[Axiom-developer] Aldor proves 4 to be prime... :-(

[Ralf Hemmecke]

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