Re: [open-axiom-devel] A package about basis

2008-04-05 Thread Gabriel Dos Reis
On Sat, Apr 5, 2008 at 12:08 PM, Francois Maltey <[EMAIL PROTECTED]> wrote: > Dear all, > > I have just finished a package for basis of subspaces which looks like > maple or mupad functions. > > This code has comments and I write an *.input test file. I write it with the > actual fricas cvs ver

Re: [open-axiom-devel] [fricas-devel] A package about basis

2008-04-05 Thread Martin Rubey
Francois Maltey <[EMAIL PROTECTED]> writes: > Dear all, > > I have just finished a package for basis of subspaces which looks like > maple or mupad functions. > > This code has comments and I write an *.input test file. I write it with the > actual fricas cvs version. > > I'll use it for exerc

[open-axiom-devel] A package about basis

2008-04-05 Thread Francois Maltey
Dear all, I have just finished a package for basis of subspaces which looks like maple or mupad functions. This code has comments and I write an *.input test file. I write it with the actual fricas cvs version. I'll use it for exercises for my course. What do I with theses files ? Have a nice

[open-axiom-devel] OpenAxiom on Mac OS

2008-04-05 Thread Gabriel Dos Reis
Hi, I have been able to build and run OpenAxiom-1.2.0 (trunk) on a MacIntel running Leopard, using SBCL. I don't have access to a PowerPC based Mac Os. Please could try out and let me know? CLisp on Leopard (macport) does not support FFI, so cannot build OpenAxiom. Thanks, -- Gaby --

Re: [open-axiom-devel] Monoid

2008-04-05 Thread Gabriel Dos Reis
On Sat, Apr 5, 2008 at 8:51 AM, Ralf Hemmecke <[EMAIL PROTECTED]> wrote: > Dear Gaby, > > Do you already have a plan how to tackle the Monoid problem? Yes, I have a plan. I need a preliminary insfrastrucrure -- quantified type variables -- for which an experimental implementation seems to work.

[open-axiom-devel] Monoid

2008-04-05 Thread Ralf Hemmecke
Dear Gaby, Do you already have a plan how to tackle the Monoid problem? Could you already give some hints how that should roughly look like? I guess that will be the place where you will differ from Aldor, right? Ralf - Thi

[open-axiom-devel] define.boot, wi1.boot, wi2.boot

2008-04-05 Thread Martin Rubey
Does anybody know about the relationship between these files? It seems that many definitions are (nearly) duplicate. If I want to start hacking (infovec code), which one should I look at? Martin - This SF.net email is spon