aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/variable.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-06-14 11:42:16 +0000
committerdos-reis <gdr@axiomatics.org>2008-06-14 11:42:16 +0000
commitc2d4514bfae7dbe8572c69fac2b9c013252d31f1 (patch)
tree2bfaf9937696fdb3946ef5f73ec6228a70aac285 /src/algebra/variable.spad.pamphlet
parentc9d86f3d7a1bd950ee0d04aacd3eadcdd5bb7361 (diff)
downloadopen-axiom-c2d4514bfae7dbe8572c69fac2b9c013252d31f1.tar.gz
* algebra/variable.spad.pamphlet (ModePatternVariable): New.
Diffstat (limited to 'src/algebra/variable.spad.pamphlet')
-rw-r--r--src/algebra/variable.spad.pamphlet19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/algebra/variable.spad.pamphlet b/src/algebra/variable.spad.pamphlet
index 54972970..f4de7726 100644
--- a/src/algebra/variable.spad.pamphlet
+++ b/src/algebra/variable.spad.pamphlet
@@ -112,6 +112,25 @@ AnonymousFunction():SetCategory with
CADDR(f)$Lisp : Syntax
@
+
+\section{The ModePatternVariable}
+<<domain MODEPVAR ModePatternVariable>>=
+)abbrev domain MODEPVAR ModePatternVariable
+++ Author: Gabriel Dos Reis
+++ Date Create: June 10, 2008
+++ Description: This is the datatype for pattern variables in library
+++ modemap description.
+ModePatternVariable(): Public == Private where
+ Public == SetCategory
+ Private == add
+ Rep == Symbol
+ x = y ==
+ rep x = rep y
+ coerce(x: %): OutputForm ==
+ outputForm rep x
+@
+
+
\section{License}
<<license>>=
--Copyright (C) 1991-2002, The Numerical Algorithms Group Ltd.