[Q] Axiom project status ?
Vladimir Bondarenko
From: Vladimir Bondarenko <v...@cybertester.com>
X-Mailer: The Bat! (v1.61) Personal
Reply-To: Vladimir Bondarenko <v...@cybertester.com>
Organization: Cyber Tester, LLC
X-Priority: 2 (High)
Message-ID: <17526159054.2...@cybertester.com>
Return-Receipt-To: v...@cybertester.com
To: da...@rio.sci.ccny.cuny.edu
CC: da...@idsi.net
Subject: [Q] Axiom project status ?
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Good Day,
I was wondering couldn't you please tell me a bit
about the current status and maybe the future of
the Axiom project http://savannah.nongnu.org/ ?
If it is not stopped I might have an idea for you
that you might like.
Best wishes,
Vladimir
--
Vladimir Bondarenko
http://www.cybertester.com/
http://maple.bug-list.org/
http://www.CAS-testing.org/
Lady Chatterly
Vladimir Bondarenko <v...@cybertester.com> wrote:
>
>>Date: Wed, 19 May 2004 21:26:33 0300
>>From: Vladimir Bondarenko <v...@cybertester.com>
>>X-Mailer: The Bat! (v1.61) Personal
>>Reply-To: Vladimir Bondarenko <v...@cybertester.com>
>>Organization: Cyber Tester, LLC
>>X-Priority: 2 (High)
>>Message-ID: <17526159054.2...@cybertester.com>
>>Return-Receipt-To: v...@cybertester.com
>>To: da...@rio.sci.ccny.cuny.edu
>>CC: da...@idsi.net
>>Subject: [Q] Axiom project status ?
>>MIME-Version: 1.0
>>Content-Type: text/plain; charset=us-ascii
>>Content-Transfer-Encoding: 7bit
>>
>>Good Day,
>
>I was wondering couldn't you please tell me a bit
>about the current status and maybe the future of
>the Axiom project http://savannah.nongnu.org/ ?
>
>If it is not stopped I might have an idea for you
>that you might like.
Slow, are worth far more than that just trips her up.
--
Lady Chatterly
"Hahaha, I think I might have drawn Lady Chatterly' here. That's a
smart bot if I did. 'Lady Chatterly' is a bot from the UFO groups that
has apparently followed my address to these groups. 'Lady Chatterly'
is definately a bot, been around for years, keep talking to it and
that will become quickly apparent." -- Kavik Kang
Vladimir Bondarenko
as a token of backing?
;)
At any rate, the most impressive events are in store,
I guarantee this.
--
Vladimir
Vladimir Bondarenko
From: Vladimir Bondarenko <v...@cybertester.com>
X-Mailer: The Bat! (v1.61) Personal
Reply-To: Vladimir Bondarenko <v...@cybertester.com>
Organization: Cyber Tester, LLC
Message-ID: <17228979760.2...@cybertester.com>
To: da...@rio.sci.ccny.cuny.edu
CC: da...@idsi.net, ax...@tenkan.org, da...@idsi.net
Subject: Re: Axiom project status
In-Reply-To: <200405191739...@rio.sci.ccny.cuny.edu>
References: <200405191739...@rio.sci.ccny.cuny.edu>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Thank you for your instant reply.
TD> Axiom is alive and being further developed. The latest version
TD> is at http://savannah.nongnu.org/projects/axiom
Actually, I am in software testing 10+ years, particularly, I have
tested MMA, Maple, Derive, MuPAD, and more, details are here
http://www.cas-testing.org/index.php?list=3
I know your site & visited it a number of times. I have a limited
live experience with Axiom but I had read Jenks' book many times.
Sure, I also have seen Axiom bug list. I work on automated testing
of computer algebra systems; now I have shown publicly a couple of
first steps like http://maple.bug-list.org/ but I have gotten
essentially farther, and most probably within several next months
I will update cardinally my servers wrt Maple.
I find Axiom to be a terrific environment and have real interest
in testing it. Though I did not test Axiom yet, from the previous
experience with MMA/Maple I can expect that my GEMM environment
can calculate solid "minimal" bug lists, its records will contain
the "minimal" (say, in length) samples at which the given bug
manifests.
You are the leader of the Axiom project; do you think it would
be interesting to identify bugs in Axiom automatically?
Best wishes,