aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-04-18 09:21:21 +0000
committerdos-reis <gdr@axiomatics.org>2010-04-18 09:21:21 +0000
commit5ccf421537f1ce6bfe8a3baa214707221a5f7d21 (patch)
tree44d6c6163b7c3d8aee87c001d5381badf0825921 /src/algebra
parent813a32ae880645d8ce37b83be2ac9cc3a8d619e6 (diff)
downloadopen-axiom-5ccf421537f1ce6bfe8a3baa214707221a5f7d21.tar.gz
* algebra/term.spad.pamphlet (TermAlgebraOperator): New.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/Makefile.in2
-rw-r--r--src/algebra/Makefile.pamphlet2
-rw-r--r--src/algebra/term.spad.pamphlet21
3 files changed, 22 insertions, 3 deletions
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>>
@