Edit detail for OpenAxiom revision 15 of 36
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 | ||
|
Editor: Bill Page
Time: 2008/05/26 20:31:35 GMT-7 |
||
| Note: reverted by Bill Page | ||
removed:
-
-From BillPage Mon May 26 20:24:24 -0700 2008
-From: Bill Page
-Date: Mon, 26 May 2008 20:24:24 -0700
-Subject: need result type
-Message-ID: <20080526202424-0700@axiom-wiki.newsynthesis.org>
-
-\begin{spad}
-)abbrev domain MAYBE Maybe
-Maybe(T: Type):Type == Union(T,"failed")
-\end{spad}
-
Open source development project on SourceForge? with emphasis on becoming the "Axiom of Choice" by improving the build system through the further development of high-level languages such as BOOT and SPAD.
OpenAxiom? fork was created by Gabriel Dos Reis (http://parasol.tamu.edu/~gdr).
See also [FriCAS]?
When editing pages on this wiki you can specify which version/fork of Axiom you wish to use to execute the commands in the \begin{axiom} ... \end{axiom} environment. This page is currently set to 'Axiom: OpenAxiom?-20071209':
axiom)version Value = "Sunday December 16, 2007 at 18:43:31 "
Any comments containing commands added here will use this
friCAS version/fork. Other versions of OpenAxiom? may also
be available and may be specified during edit.