From c2d4514bfae7dbe8572c69fac2b9c013252d31f1 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 14 Jun 2008 11:42:16 +0000
Subject: 	* algebra/variable.spad.pamphlet (ModePatternVariable): New.

---
 src/algebra/variable.spad.pamphlet | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'src/algebra/variable.spad.pamphlet')

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.
-- 
cgit v1.2.3