From 803d7a62fb91bb4083a0aaaaa20749574292e967 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 31 May 2009 20:49:02 +0000
Subject: 	* algebra/term.spad.pamphlet (is?$OperatorCategory): New. 
 * algebra/op.spad.pamphlet (BasicOperator): Don't export is? here. 
 Inherit it from OperatorCategory Symbol. 	* algebra/catdef.spad.pamphlet
 (LeftLinearSet): New category. 	(RightLinearSet): Likewise. 
 (LinearSet): Likewise. 	(AbelianGroup): Extend LeftLinearSet Integer. 
 (LeftModule): Extend LeftLinearSet R. 	(Module): Extend LinearSet R. 
 (RightModule): Extend RightLinearSet R. 	*
 algebra/exposed.lsp.pamphlet: Expose LeftLinearSet, 	RightLinearSet, and
 LinearSet. 	* algebra/Makefile.pamphlet: Tidy.

---
 src/algebra/exposed.lsp.pamphlet | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/algebra/exposed.lsp.pamphlet')

diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index c1ca17ae..5247a755 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -679,11 +679,13 @@
   (|KeyedDictionary| . KDAGG)
   (|LazyStreamAggregate| . LZSTAGG)
   (|LeftAlgebra| . LALG)
+  (|LeftLinearSet| . LLINSET)
   (|LeftModule| . LMODULE)
   (|LieAlgebra| . LIECAT)
   (|LinearAggregate| . LNAGG)
   (|LinearlyExplicitRingOver| . LINEXP)
   (|LinearOrdinaryDifferentialOperatorCategory| . LODOCAT)
+  (|LinearSet| . LINSET)
   (|LiouvillianFunctionCategory| . LFCAT)
   (|ListAggregate| . LSAGG)
   (|Logic| . LOGIC)
@@ -752,6 +754,7 @@
   (|RetractableTo| . RETRACT)
   (|RGBColorModel| . RGBCMDL)
   (|RGBColorSpace| . RGBCSPC)
+  (|RightLinearSet| . RLINSET)
   (|RightModule| . RMODULE)
   (|Ring| . RING)
   (|Rng| . RNG)
-- 
cgit v1.2.3