Re: [open-axiom-devel] Removed support for obsolete syntax.

2008-02-27 Thread Ralf Hemmecke
a: Record(Integer == 7, DoubleFloat == 0) is not allowed... But maybe that's a bug. Let me quote aldorug.pdf section 14.6: Record: Tuple Type - Type -- Records provide the basic updatable structure for aggregate data. Each type argument to Record may be given in any

Re: [open-axiom-devel] Removed support for obsolete syntax.

2008-02-27 Thread Ralf Hemmecke
Hi Francois, if you work in the interpreter, it is probably reasonable to use some Record construction. However, if you do serious programming, then you should consider Record as being a very low level data structure. That is, you are certainly better off in defining a new type instead of just

Re: [open-axiom-devel] Removed support for obsolete syntax.

2008-02-27 Thread Francois Maltey
Hi Ralf, Martin, Gaby and all, I agree with all the Ralf mail, but I pain to explain that I don't see how to use easily pairs/tuples in axiom when the coordonates aren't of the same type (so I don't speak about Complex which can be a Vector) By example (Integer, Float). Of corse I may use List

Re: [open-axiom-devel] Removed support for obsolete syntax.

2008-02-27 Thread Ralf Hemmecke
For an educational purpose we often must code one or two loops or tests. And I can only use interpreter with students. My purpose is about this concrete mathematics, not teach a new language and the domains. I understand your problem. But the only suggestion I can give here is: Wait 30

Re: [open-axiom-devel] libXt.so on ubuntu 7.10

2008-02-27 Thread Alfredo Portes
Hi Bill, I have a box with Ubuntu (currently running 8.04 alpha). I see the symbolic link to libXt.so.6 Maybe it is the box you are testing on. Maybe somebody else can verify that the link is there in 7.10. Regards, Alfredo On Wed, Feb 27, 2008 at 9:23 PM, Bill Page [EMAIL PROTECTED] wrote:

Re: [open-axiom-devel] libXt.so on ubuntu 7.10

2008-02-27 Thread Alfredo Portes
On my box: [EMAIL PROTECTED]:/usr/lib$ ls -l libXt* -rw-r--r-- 1 root root 429164 2007-05-21 08:27 libXt.a lrwxrwxrwx 1 root root 14 2007-10-22 22:27 libXt.so - libXt.so.6.0.0 lrwxrwxrwx 1 root root 14 2007-10-21 13:46 libXt.so.6 - libXt.so.6.0.0 -rw-r--r-- 1 root root 326564 2007-05-21

[open-axiom-devel] function returning a Domain

2008-02-27 Thread Bill Page
Gaby, I am testing: http://axiom-wiki.newsynthesis.org/206InterpreterCodeGenerationFailedForFunctionReturningAType that you marked fixed in OpenAxiom-1.2.0. Refer to the end of the issue report where a bug is shown in which shows the error message not a type. On the axiom-wiki I ran this