Hi Francois,
On 10/09/2008 12:43 PM, Francois Maltey wrote:
> Hello,
>
> The way (in mathematic or pure informatic) I prefer is
>
> fct := x +-> (y +-> gcd (x, y))
> fct 4 --- is an anonymous function
> (fct 4) 6 -- or fct 4 6 with right priority should be 2.
Oooops.
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 2008-05-28
Timestamp: Sunday August 3, 2008 at 12:47:11
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) ->
(1) -> fct := x +-> (y +-> gcd (x, y))
(1) x +-> y +-> gcd(x,y)
Type: AnonymousFunction
(2) -> fct 4
(2) y +-> gcd(G1403,y)
Type: AnonymousFunction
(3) -> g := fct 4
(3) y +-> gcd(G1414,y)
Type: AnonymousFunction
(4) -> g 6
(4) 1
Type: Polynomial Integer
(5) ->
Loos a bit wrong. Also the type is not quite what I would expect. :-(
(5) -> (fct 4) 6
>> System error:
Caught fatal error [memory may be damaged]
That is certainly not acceptable.
FriCAS (AXIOM fork) Computer Algebra System
Version: FriCAS 2008-05-28
Timestamp: Sunday August 3, 2008 at 12:47:11
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
(1) ->
(1) -> f: Integer-> Integer->Integer := x+->(y+->gcd(x,y))
(1) theMap(*1;anonymousFunction;0;frame0;internal)
Type: (Integer -> (Integer ->
Integer))
(2) -> g := f 4
(2) theMap(*1;anonymousFunction;1;frame0;internal)
Type: (Integer ->
Integer)
(3) -> g 6
>> System error:
Caught fatal error [memory may be damaged]
Hmmm. Let's try this...
(13) -> u(x:Integer): Integer->Integer==(y:Integer):Integer+->gcd(x,y)
Type: Void
(14) -> (u 4) 6
(14) 2
Type: PositiveInteger
(15) -> u.4.6
(15) 2
Ralf
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
