RE: [Axiom-developer] Bug in Tuple

[Bill Page]

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.