aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/variable.spad.pamphlet
diff options
context:
space:
mode:
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.