diff options
Diffstat (limited to 'src/algebra/equation2.spad.pamphlet')
-rw-r--r-- | src/algebra/equation2.spad.pamphlet | 31 |
1 files changed, 30 insertions, 1 deletions
diff --git a/src/algebra/equation2.spad.pamphlet b/src/algebra/equation2.spad.pamphlet index 25a5f2cf..4079a096 100644 --- a/src/algebra/equation2.spad.pamphlet +++ b/src/algebra/equation2.spad.pamphlet @@ -4,13 +4,30 @@ \title{\$SPAD/src/algebra equation2.spad} \author{Stephen M. Watt, Johannes Grabmeier} \maketitle + \begin{abstract} \end{abstract} -\eject \tableofcontents \eject + \section{domain EQ Equation} + <<domain EQ Equation>>= +import Type +import SetCategory +import AbelianSemiGroup +import AbelianGroup +import SemiGroup +import Monoid +import CoercibleTo Boolean +import InnerEvalable +import CommutativeRing +import PartialDifferentialRing +import Field +import VectorSpace +import Symbol +import OutputForm +import List )abbrev domain EQ Equation --FOR THE BENEFIT OF LIBAX0 GENERATION ++ Author: Stephen M. Watt, enhancements by Johannes Grabmeier @@ -227,6 +244,7 @@ Equation(S: Type): public == private where \section{package EQ2 EquationFunctions2} <<package EQ2 EquationFunctions2>>= +import Type import Equation )abbrev package EQ2 EquationFunctions2 ++ Author: @@ -248,8 +266,17 @@ EquationFunctions2(S: Type, R: Type): with map(fn, eqn) == equation(fn lhs eqn, fn rhs eqn) @ + \section{category FEVALAB FullyEvalableOver} + <<category FEVALAB FullyEvalableOver>>= +import SetCategory +import Eltable +import Evalable +import InnerEvalable +import Symbol +import List +import Equation )abbrev category FEVALAB FullyEvalableOver ++ Author: ++ Date Created: @@ -281,7 +308,9 @@ FullyEvalableOver(R:SetCategory): Category == with eval(x:$, ls:List Symbol, lv:List R) == map(eval(#1, ls, lv), x) @ + \section{License} + <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. |