Edit detail for SetCategory revision 3 of 3
| 1 2 3 | ||
|
Editor: kratt6
Time: 2007/12/18 04:29:39 GMT-8 |
||
| Note: typo | ||
changed: -Conditional Attributes -- cononical:: Conditional Attributes -- canonical::
Returns
- a category
- Description
- SetCategory is the basic category for describing a collection of elements with = (equality) and coerce to output form.
- Conditional Attributes
- canonical:
data structure equality is the same as =
Some or all expressions may not have rendered properly, because Axiom returned the following error:
Error: export AXIOM=/usr/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2007-12-09; export ALDORROOT=/usr/local/aldor/linux/1.1.0; export PATH=PATH; export HOME=/var/zope2/var/LatexWiki; ulimit -t 240; $AXIOM/bin/AXIOMsys < /var/zope2/var/LatexWiki/1391250529921181231-25px.axm
GCL (GNU Common Lisp) 2.6.8 CLtL1 Nov 9 2007 07:47:56 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (READLINE BFD UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ [1mOpenAxiom: The Open Scientific Computation Platform[0;10m Version: OpenAxiom 1.1.0-2007-12-09 Built on Sunday December 16, 2007 at 18:43:31 ----------------------------------------------------------------------------- Issue [1m)copyright[0;10m to view copyright notices. Issue [1m)summary[0;10m for a summary of useful system commands. Issue [1m)quit[0;10m to leave OpenAxiom and return to shell. -----------------------------------------------------------------------------
Error: Cannot open the file /home/page/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2007-12-09//algebra/compress.daase. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by SYSTEM:TOP-LEVEL. Broken at APPLY. Type :H for Help. BOOT>> Error: The variable SET is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable OUTPUT is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable ALGEBRA is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable OFF is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable SET is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable OUTPUT is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable TEX is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable ON is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable SET is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> "{\em Enumeration(a1, a2 ,..., aN)} creates an object which is exactly one of the N symbols {\em a1}, {\em a2}, ..., or {\em aN}, N > 0. The {\em Enumeration} can constructor can take any number of symbols as arguments." BOOT>> Error: The variable AUTOLOAD is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable OFF is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable SET is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable QUIT is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable UNPROTECTED is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable READ is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable /VAR/ZOPE2/VAR/LATEXWIKI/4741643448833872327-25PX.001.INPUT is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>> Error: The variable QUIT is unbound. Fast links are on: do (si::use-fast-links nil) for debugging Error signalled by EVALHOOK. Backtrace: system:universal-error-handler > evalhook > lambda > lambda-closure > block > apply > APPLY
Broken at APPLY. BOOT>>