login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for SandBox Functions revision 1 of 1

1
Editor:
Time: 2007/11/18 18:02:41 GMT-8
Note:

changed:
-
From unknown Sat Jun 11 09:57:11 -0500 2005
From: unknown
Date: Sat, 11 Jun 2005 09:57:11 -0500
Subject: 
Message-ID: <20050611095711-0500@page.axiom-developer.org>

\begin{axiom}
f(n)==
 local length
 length:=#((2^n)::String)
 if length>120 then
   "Too long!"
 else length
\end{axiom}
\begin{axiom}
f 100
f 1000
\end{axiom}

From unknown Sat Jun 11 10:04:23 -0500 2005
From: unknown
Date: Sat, 11 Jun 2005 10:04:23 -0500
Subject: 
Message-ID: <20050611100423-0500@page.axiom-developer.org>

\begin{axiom}
f(n) == (local length; length := #((2^n)::String); if length>120 then "Too long!" else length)
f 100
f 1000
\end{axiom}

From unknown Fri Sep 2 20:46:21 -0500 2005
From: unknown
Date: Fri, 02 Sep 2005 20:46:21 -0500
Subject: 
Message-ID: <20050902204621-0500@www.axiom-developer.org>

f(n)=2^n

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

\label{eq1}31(1)
Type: NonNegativeInteger?
fricas
f 1000

\label{eq2}\verb#"Too long!"#(2)
Type: String

fricas
f(n) == (local length; length := #((2^n)::String); if length>120 then "Too long!" else length)
Compiled code for f has been cleared. 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f 100
fricas
Compiling function f with type PositiveInteger -> Any

\label{eq3}31(3)
Type: NonNegativeInteger?
fricas
f 1000

\label{eq4}\verb#"Too long!"#(4)
Type: String

f(n)=2^n