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
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
