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':
fricas
(1) -> )version
"FriCAS 1.3.12 compiled at Sat 7 Jun 23:54:49 CEST 2025"
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.
OpenAxiomSources? | OpenAxiomBinaries? | SandBoxOpenAxiom?
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 FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/6798525157762352212-25px002.spad
using old system compiler.
MAYBE abbreviates domain Maybe
------------------------------------------------------------------------
initializing NRLIB MAYBE for Maybe
compiling into NRLIB MAYBE
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
; compiling file "/var/aw/var/LatexWiki/MAYBE.NRLIB/MAYBE.lsp" (written 11 SEP 2026 10:16:16 PM):
; wrote /var/aw/var/LatexWiki/MAYBE.NRLIB/MAYBE.fasl
; compilation finished in 0:00:00.004
------------------------------------------------------------------------
Maybe is now explicitly exposed in frame initial
Maybe will be automatically loaded when needed from
/var/aw/var/LatexWiki/MAYBE.NRLIB/MAYBE