From: Craig Carey <research@ijs.co.nz>
Subject: Re: Ann: symbolic multinomial algebra
Date: Thu, 03 Jun 2004 23:33:02 +1200
Date: 2004-06-03T23:33:02+12:00 [thread overview]
Message-ID: <rr1ub0ha61o15tr2afgj9msnon1a7lp41i@4ax.com> (raw)
In-Reply-To: 80lsb0p5k7utif2s5hkfjltou3fkea6d89@4ax.com
On Thu, 03 Jun 2004 10:53:18 +1200, Craig Carey wrote:
...
Correction: that software URL I gave ought to have ended in ".htm", and
not in ".html".
...
> http://www.cs.unipr.it/ppl/Documentation/chernikova.c
> (Mentioned on http://www.cs.unipr.it/ppl/Credits/ )
>It is curious how such a tiny 'satisfactory' C program can be at the
>centre of a lack of good progress of C programmers and also really quite
>hard to port to good Ada code.
Whoops: that's disputable and vague over what 'progress' for dual
polytope projects including: Cdd, Polka, Parma,
http://www.cs.umd.edu/projects/omega/ ? [integers QE], Polylib, etc.
Cdd duals: http://www.cs.mcgill.ca/~fukuda/soft/cdd_home/cdd.html
My 'hard to port' seems a bit incorrect and it was about cutting 2
C arrays to leave 4 Ada matrices.
Craig Carey
prev parent reply other threads:[~2004-06-03 11:33 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-31 22:56 Ann: symbolic multinomial algebra tmoran
2004-06-01 4:52 ` tmoran
2004-06-02 22:53 ` Craig Carey
2004-06-03 11:33 ` Craig Carey [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox