... --unknown, Sat, 11 Jun 2005 09:57:11 -0500 reply fricas (1) -> f(n)== local length length:=#((2^n)::String) if length>120 then "Too long!" else length Type: Void
fricas f 100 fricas Compiling function f with type PositiveInteger -> Any
Type: NonNegativeInteger?
fricas f 1000
Type: String
fricas f(n) == (local length; length := #((2^n)::String); if length>120 then "Too long!" else length) Type: Void
fricas f 100 fricas Compiling function f with type PositiveInteger -> Any
Type: NonNegativeInteger?
fricas f 1000
Type: String
f(n)=2^n
|