aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/omcat.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-08-10 16:50:47 +0000
committerdos-reis <gdr@axiomatics.org>2011-08-10 16:50:47 +0000
commite6b1636fe3b19b148f347f6b9f00642db83c5ddc (patch)
tree79d6b46a38a96ac51ad2396fb137a163eb3a7f65 /src/algebra/omcat.spad.pamphlet
parent0a0661e0c50e9c3e160d54b8e0a5b891d419e2bc (diff)
downloadopen-axiom-e6b1636fe3b19b148f347f6b9f00642db83c5ddc.tar.gz
* algebra/Makefile.in (oa_strap_0_sources): Don't include OM.
(axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV. (axiom_algebra_layer_4): Don't include OMENC. (axiom_algebra_layer_14): Don't include OMPKG. (axiom_algebra_layer_19): Don't include OMERR, OMERRK. (axiom_algebra_layer_20): Don't include OMEXPR. * algebra/omcat.spad.pamphlet: Remove. * algebra/omdev.spad.pamphlet: Remove. * algebra/omerror.spad.pamphlet: Remove. * algebra/omserver.spad.pamphlet: Remove. * algebra/openmath.spad.pamphlet: Remove.
Diffstat (limited to 'src/algebra/omcat.spad.pamphlet')
-rw-r--r--src/algebra/omcat.spad.pamphlet85
1 files changed, 0 insertions, 85 deletions
diff --git a/src/algebra/omcat.spad.pamphlet b/src/algebra/omcat.spad.pamphlet
deleted file mode 100644
index 638aa325..00000000
--- a/src/algebra/omcat.spad.pamphlet
+++ /dev/null
@@ -1,85 +0,0 @@
-\documentclass{article}
-\usepackage{open-axiom}
-\begin{document}
-\title{\$SPAD/src/algebra omcat.spad}
-\author{Mike Dewar, Vilya Harvey}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{category OM OpenMath}
-<<category OM OpenMath>>=
-)abbrev category OM OpenMath
-++ Author: Mike Dewar & Vilya Harvey
-++ Basic Functions: OMwrite
-++ Related Constructors:
-++ Also See:
-++ AMS Classifications:
-++ Keywords:
-++ References:
-++ Description:
-++ \spadtype{OpenMath} provides operations for exporting an object
-++ in OpenMath format.
-
-OpenMath(): Category == with
- OMwrite : % -> String
- ++ OMwrite(u) returns the OpenMath XML encoding of \axiom{u} as a
- ++ complete OpenMath object.
- OMwrite : (%, Boolean) -> String
- ++ OMwrite(u, true) returns the OpenMath XML encoding of \axiom{u}
- ++ as a complete OpenMath object; OMwrite(u, false) returns the
- ++ OpenMath XML encoding of \axiom{u} as an OpenMath fragment.
- OMwrite : (OpenMathDevice, %) -> Void
- ++ OMwrite(dev, u) writes the OpenMath form of \axiom{u} to the
- ++ OpenMath device \axiom{dev} as a complete OpenMath object.
- OMwrite : (OpenMathDevice, %, Boolean) -> Void
- ++ OMwrite(dev, u, true) writes the OpenMath form of \axiom{u} to
- ++ the OpenMath device \axiom{dev} as a complete OpenMath object;
- ++ OMwrite(dev, u, false) writes the object as an OpenMath fragment.
-
-@
-\section{License}
-<<license>>=
---Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
---All rights reserved.
---
---Redistribution and use in source and binary forms, with or without
---modification, are permitted provided that the following conditions are
---met:
---
--- - Redistributions of source code must retain the above copyright
--- notice, this list of conditions and the following disclaimer.
---
--- - Redistributions in binary form must reproduce the above copyright
--- notice, this list of conditions and the following disclaimer in
--- the documentation and/or other materials provided with the
--- distribution.
---
--- - Neither the name of The Numerical ALgorithms Group Ltd. nor the
--- names of its contributors may be used to endorse or promote products
--- derived from this software without specific prior written permission.
---
---THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
---IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
---TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
---PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
---OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
---EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
---PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
---PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
---LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
---NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
---SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-@
-<<*>>=
-<<license>>
-
-<<category OM OpenMath>>
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}