| ... --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: Stringf(n)=2^n | 



