headers
Bill Page | 25 Mar 2009 13:44
Gravatar

Comparison of Spad, Boot, Reduce and Common Lisp for numerical computation

Dear panAxiom Developers,

On the Axiom-Wiki website at

http://axiom-wiki.newsynthesis.org/SandBoxFisher

Mark Clements writes:

"How useful are the different CAS languages for implementing numerical
routines? Prompted by a comparison of R and C for implementing
Fisher's exact test for 2x2 tables
(http://fluff.info/blog/arch/00000172.htm), I thought that it would be
interesting to implement this particular test in Spad, Boot, Reduce
and Common Lisp (see below). Each set of code was required to
implement a univariate root finder and the hypergeometric distribution
to calculate the p-value under different alternatives, together with
the 95% confidence interval and the maximum likelihood estimator for
the odds ratio. The reference implementation is R, ...

As a caveat: I have little experience with these programs. Any changes
or improvements to the programs would be welcomed."

Thank you, Mark! I think this is a great contribution.

Of course any comparison like is inevitably biased by the previous
experience and skill of the programmer. I think Mark has done a pretty
good job of the coding but there are some obvious improvements and/or
changes in style that could be made. Besides Mark's original goal, I
think there are several ways in which a comparison like this might be
useful to others, not the least of which is to serve as a way of
(Continue reading)

Permalink | Reply | 0 comments |
headers
Gabriel Dos Reis | 25 Mar 2009 21:10
Picon
Favicon

[open-axiom-devel] OpenAxiom-1.2.1 released

The following message is a courtesy copy of an article
that has been posted to sci.math.symbolic as well.

I'm pleased to announce that OpenAxiom-1.2.1 was released on 
January 29, 2009.

  OpenAxiom is an open source platform for scientific and engineering
computation, with an emphasis on symbolic, numeric, and algebraic
computation.   This is a bug fix release with respect to 
previous OpenAxiom releases. This release adds improvements to the
interpreter, the compiler, and the algebra set.  More information on
new features can be found at 

       http://www.open-axiom.org/1.2/

OpenAxiom-1.2.1 is known to build and run on major Unix systems,
GNU/Linux systems, Windows (MinGW/MSYS), and handheld devices.  The
source code of OpenAxiom, and pre-compiled (Windows and Linux)
binaries are available for download from

       http://www.open-axiom.org/download.html

OpenAxiom is a free software released under a BSD-type license. 
For more information about OpenAxiom,  please visit us at

       http://www.open-axiom.org/

Feel free to use our Bug Tracker

       https://sourceforge.net/tracker/?group_id=203172
(Continue reading)

Permalink | Reply | 3 comments |
headers
Martin Rubey | 26 Mar 2009 10:29
Picon
Picon

Re: [open-axiom-devel] OpenAxiom-1.2.1 released

Dear Gaby, dear all,

congratulations to your release!

I'm curious about a few features that you announced.  Quoting from

http://www.open-axiom.org/1.2

> 2.1.1 Interpreter

[...]

> The interpreter now accepts instantiation of a domain or category
> constructor with a homogeneous variable length argument list, when
> the constructor is declared to accept a Tuple.

that sounds quite interesting.  Is this one step towards making
constructors like functions, and making functions have type 
    Tuple Type -> Type 
(or some such) as in aldor?

> It is now possible to restrict the type of a mapping-valued
> expression, e.g. 
>               _*$Float <at> ((NonNegativeInteger,Float) -> Float)
>  now selects the multiplication operation default supplied by the
> category AbelianGroup instead of producing an error. 

This sounds wonderful!  I want to have this in FriCAS, too, I
think...
(Continue reading)

Permalink | Reply | 2 comments |
headers
Waldek Hebisch | 26 Mar 2009 13:44
Picon

Re: [open-axiom-devel] Re: OpenAxiom-1.2.1 released

> 
> http://www.open-axiom.org/1.2
> 
> > 2.1.1 Interpreter
>  
> [...]
>  
> > The interpreter now accepts instantiation of a domain or category
> > constructor with a homogeneous variable length argument list, when
> > the constructor is declared to accept a Tuple.
> 
> that sounds quite interesting.  Is this one step towards making
> constructors like functions, and making functions have type 
>     Tuple Type -> Type 
> (or some such) as in aldor?
>  
> > It is now possible to restrict the type of a mapping-valued
> > expression, e.g. 
> >               _*$Float <at> ((NonNegativeInteger,Float) -> Float)
> >  now selects the multiplication operation default supplied by the
> > category AbelianGroup instead of producing an error. 
> 
> This sounds wonderful!  I want to have this in FriCAS, too, I
> think...

Hmm, I am not sure what the above means, but AFAICS the following
worked for quite a long time:

)abbrev package TTT Test
Test(): with
(Continue reading)

Permalink | Reply | 1 comment |
headers
Gabriel Dos Reis | 26 Mar 2009 13:55
Picon
Favicon

Re: [open-axiom-devel] OpenAxiom-1.2.1 released

Waldek Hebisch <hebisch@...> writes:

| > 
| > http://www.open-axiom.org/1.2
| > 
| > > 2.1.1 Interpreter
| >  
| > [...]
| >  
| > > The interpreter now accepts instantiation of a domain or category
| > > constructor with a homogeneous variable length argument list, when
| > > the constructor is declared to accept a Tuple.
| > 
| > that sounds quite interesting.  Is this one step towards making
| > constructors like functions, and making functions have type 
| >     Tuple Type -> Type 
| > (or some such) as in aldor?
| >  
| > > It is now possible to restrict the type of a mapping-valued
| > > expression, e.g. 
| > >               _*$Float <at> ((NonNegativeInteger,Float) -> Float)
| > >  now selects the multiplication operation default supplied by the
| > > category AbelianGroup instead of producing an error. 
| > 
| > This sounds wonderful!  I want to have this in FriCAS, too, I
| > think...
| 
| Hmm, I am not sure what the above means, but AFAICS the following
| worked for quite a long time:
|
(Continue reading)

Permalink | Reply | 0 comments |

Gmane