[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Bug in Tuple
From: |
Bill Page |
Subject: |
RE: [Axiom-developer] Bug in Tuple |
Date: |
Mon, 27 Feb 2006 15:57:47 -0500 |
Ralf,
On February 25, 2006 4:22 PM you wrote:
>
> Can someone explain that?
>
> Ralf
>
> (6) -> Tuple(Integer) has coerce: Tuple(Integer)->PrimitiveArrayInteger
>
> (6) false
>
> Type: Boolean
I presume what you meant to write was:
Tuple(Integer) has coerce:Tuple(Integer)->PrimitiveArray(Integer)
and that something like this might be possible in Aldor, right?
However the result the Axiom interpreter returns is still 'false'.
So far as I can tell from the available Axiom documentation the
'has' expression only allows categories and axioms on the right
hand side (rhs). So we can write:
Tuple(Integer) has CoercibleTo(OuputForm)
and
Integer has commutative("*")
but almost anything else on the rhs returns either 'false' or
an error message. You might have expected to be able to write:
(14) -> Tuple(Integer) has with Tuple(Integer)->PrimitiveArray(Integer)
Internal Error
Unexpected error in call to system function pf2Sex1
but that apparently doesn't work either. :(
Just as in Aldor different things might be possible in SPAD, but
I was't able to find any documentation about this.
Regards,
Bill Page.
- RE: [Axiom-developer] Bug in Tuple,
Bill Page <=