Just for the record...
in Aldor one would have to write something like
%11 >> Integer has with {+:(%,%)->%}
T @ Boolean
Comp: 10 msec, Interp: 0 msec
%12 >> Integer has {+:(%,%)->%}
............^
[L17 C13] #1 (Error) Syntax error.
The "has" is only defined for (Domain, Category) argument pair. I am not
able so say what type
random: Float -> Float
has. Does it have one?
Ralf
On 11/18/2008 11:27 AM, Martin Rubey wrote:
> I just noticed that in the interpreter, has does not work on operations:
>
> in FriCAS:
>
> (1) -> Float has random: Float -> Float
>
> >> System error:
> newHasTest expects category from
>
> OpenAxiom returns false always, it seems.
>
>
> Should I report this to IssueTracker? Or is this a known bug?
>
> Martin
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
