Edit detail for OpenAxiom revision 14 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:24:25 GMT-7 |
||
| Note: need result type | ||
added:
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.
need result type --Bill Page, Mon, 26 May 2008 20:24:24 -0700 reply
spad)abbrev domain MAYBE Maybe Maybe(T: Type):Type == Union(T,"failed")
spad
Compiling OpenAxiom source code from file
/var/zope2/var/LatexWiki/6798525157762352212-25px001.spad using
old system compiler.
MAYBE abbreviates domain Maybe
------------------------------------------------------------------------
initializing NRLIB MAYBE for Maybe
compiling into NRLIB MAYBE
;;; *** |Maybe| REDEFINED
;;; *** |Maybe| REDEFINED
Time: 0 SEC.
Cumulative Statistics for Constructor Maybe
Time: 0 seconds
--------------non extending category----------------------
.. Maybe #1 of cat
(|Type|) has no
(|UnionCategory| |#1| "failed") finalizing NRLIB MAYBE
Processing Maybe for Browser database:
--->-->Maybe(): Missing Description
------------------------------------------------------------------------
Maybe is now explicitly exposed in frame initial
Maybe will be automatically loaded when needed from
/var/zope2/var/LatexWiki/MAYBE.NRLIB/code