... --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
 |