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

Edit detail for SandBoxA000230 revision 1 of 9

1 2 3 4 5 6 7 8 9
Editor: KSmarts
Time: 2017/10/28 16:41:26 GMT+0
Note:

changed:
-
\begin{axiom}
a : (Integer) -> Integer
a(n) ==
 i:=2
 repeat
  j:=nextPrime(i)
  if j-i >= 2*n then
   return i
  i:=j

for n in 1..20 repeat
 output(a(n))
\end{axiom}

fricas
a : (Integer) -> Integer
Type: Void
fricas
a(n) ==
 i:=2
 repeat
  j:=nextPrime(i)
  if j-i >= 2*n then
   return i
  i:=j
Type: Void
fricas
for n in 1..20 repeat
 output(a(n))
fricas
Compiling function a with type Integer -> Integer 
   3
   7
   23
   89
   113
   113
   113
   523
   523
   887
   1129
   1327
   1327
   1327
   1327
   1327
   1327
   9551
   15683
   15683
Type: Void