help links subscribe changes refresh edit

	SandBox
SandBox Functional Addition ←	↑	→ SandBox Gamma

SandBox Functions

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

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

$\label{eq1}31$

(1)

Type: NonNegativeInteger?

fricas

f 1000

$\label{eq2}\verb#"Too long!"#$

(2)

Type: String

... --unknown, Sat, 11 Jun 2005 10:04:23 -0500 reply

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

... --unknown, Fri, 02 Sep 2005 20:46:21 -0500 reply

f(n)=2^n