[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


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)


  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.

Bill Page.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]