From 5ccf421537f1ce6bfe8a3baa214707221a5f7d21 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 18 Apr 2010 09:21:21 +0000
Subject: 	* algebra/term.spad.pamphlet (TermAlgebraOperator): New.

---
 src/algebra/Makefile.in        |  2 +-
 src/algebra/Makefile.pamphlet  |  2 +-
 src/algebra/term.spad.pamphlet | 21 ++++++++++++++++++++-
 3 files changed, 22 insertions(+), 3 deletions(-)

(limited to 'src/algebra')

diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 8abba4d9..375128d5 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -944,7 +944,7 @@ axiom_algebra_layer_user =  \
         ASP78    ASP9     ASP12    ASP55    ASP8     ASP19    \
         ASP20    ASP30    ASP31    ASP35    ASP41    ASP42    \
 	ASP74    ASP77    ASP80    ASP29    IRFORM   COMPILER \
-	ITFORM   ELABOR
+	ITFORM   ELABOR   TALGOP
 
 axiom_algebra_layer_user_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user))
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 980260a2..126fc757 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -1023,7 +1023,7 @@ axiom_algebra_layer_user =  \
         ASP78    ASP9     ASP12    ASP55    ASP8     ASP19    \
         ASP20    ASP30    ASP31    ASP35    ASP41    ASP42    \
 	ASP74    ASP77    ASP80    ASP29    IRFORM   COMPILER \
-	ITFORM   ELABOR
+	ITFORM   ELABOR   TALGOP
 
 axiom_algebra_layer_user_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_user))
diff --git a/src/algebra/term.spad.pamphlet b/src/algebra/term.spad.pamphlet
index da897986..259b290e 100644
--- a/src/algebra/term.spad.pamphlet
+++ b/src/algebra/term.spad.pamphlet
@@ -83,11 +83,29 @@ OperatorCategory(S: SetCategory): Category ==
     is?(op,n) == name op = n
 @
 
+\section{Term Algebra Operator}
+<<domain TALGOP TermAlgebraOperator>>=
+)abbrev domain TALGOP TermAlgebraOperator
+++ Author: Gabriel Dos Reis
+++ Date Created: April 17, 2010
+++ Date Last Modified: April 17, 2010
+TermAlgebraOperator(S: SetCategory): Public == Private where
+  Public == OperatorCategory S with
+    operator: (S,Arity) -> %
+      ++ \spad{operator(n,a)} returns an operator named \spad{n}
+      ++ and with arity \spad{a}.
+  Private == add
+    Rep == Pair(S,Arity)
+    operator(n,a) == per pair(n,a)
+    name x == first rep x
+    arity x == second rep x
+@
+
 
 \section{License}
 
 <<license>>=
---Copyright (C) 2007-2009, Gabriel Dos Reis
+--Copyright (C) 2007-2010, Gabriel Dos Reis
 --All rights reserved.
 --
 --Redistribution and use in source and binary forms, with or without
@@ -127,6 +145,7 @@ OperatorCategory(S: SetCategory): Category ==
 <<license>>
 <<domain ARITY Arity>>
 <<category OPERCAT OperatorCategory>>
+<<domain TALGOP TermAlgebraOperator>>
 
 @
 
-- 
cgit v1.2.3