[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

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.


#include "algebra"
#include "aldorio"

macro Z == Integer;

main(): () == {
        import from Z;
        b: Partial Boolean := prime? 4;
        stdout << b << newline;

reply via email to

[Prev in Thread] Current Thread [Next in Thread]