* algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirement

	on argument.
	(RightLinearSet): Likewise.
	(LinearSet): Likewise.

3 files changed, 19 insertions, 23 deletions

diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in
index 3a7c745b..a56827df 100644
--- a/src/algebra/Makefile.in
+++ b/src/algebra/Makefile.in
@@ -310,7 +310,8 @@ $(OUT)/LOGIC.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT)
 
 $(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
 $(OUT)/ABELSG.$(FASLEXT) $(OUT)/ABELSG-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
-$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT)
+$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \
+	$(OUT)/LLINSET.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT)
 $(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT)
 $(OUT)/BMODULE.$(FASLEXT): $(OUT)/LMODULE.$(FASLEXT) \
 	$(OUT)/RMODULE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT)
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 8a88d732..3149256b 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -264,7 +264,8 @@ $(OUT)/LOGIC.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT)
 
 $(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
 $(OUT)/ABELSG.$(FASLEXT) $(OUT)/ABELSG-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT)
-$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT)
+$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \
+	$(OUT)/LLINSET.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT)
 $(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT)
 $(OUT)/BMODULE.$(FASLEXT): $(OUT)/LMODULE.$(FASLEXT) \
 	$(OUT)/RMODULE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT)
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index 32f1f3c7..735d2e43 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -20,18 +20,16 @@
 ++ Date Created: May 31, 2009
 ++ Date Last Modified: May 31, 2009
 ++ Description:
-++   A set is an \spad{R}-left linear set if it is stable by left-dilation
-++   by elements in the ring \spad{R}.  This category differs from
-++   \spad{LeftModule} in that no other assumption (such as addition)
-++   is made about the underlying set.
+++   A set is an \spad{S}-left linear set if it is stable by left-dilation
+++   by elements in the semigroup \spad{S}.  
 ++ See Also: RightLinearSet.
-LeftLinearSet(R: Rng): Category == SetCategory with
+LeftLinearSet(S: SemiGroup): Category == SetCategory with
    0: %                
      ++ \spad{0} represents the origin of the linear set
    zero?: % -> Boolean 
-     ++ \spad{zero? x} holds is \spad{x} is the origin.
-   *: (R,%) -> %       
-     ++ \spad{r*x} is the left-dilation of \spad{x} by \spad{r}.
+     ++ \spad{zero? x} holds if \spad{x} is the origin.
+   *: (S,%) -> %       
+     ++ \spad{s*x} is the left-dilation of \spad{x} by \spad{s}.
 
 @
 
@@ -41,18 +39,16 @@ LeftLinearSet(R: Rng): Category == SetCategory with
 ++ Date Created: May 31, 2009
 ++ Date Last Modified: May 31, 2009
 ++ Description:
-++   A set is an \spad{R}-right linear set if it is stable by right-dilation
-++   by elements in the ring \spad{R}.  This category differs from
-++   \spad{RightModule} in that no other assumption (such as addition)
-++   is made about the underlying set.
+++   A set is an \spad{S}-right linear set if it is stable by right-dilation
+++   by elements in the semigroup \spad{S}.
 ++ See Also: LeftLinearSet.
-RightLinearSet(R: Rng): Category == SetCategory with
+RightLinearSet(S: SemiGroup): Category == SetCategory with
    0: %                
      ++ \spad{0} represents the origin of the linear set
    zero?: % -> Boolean 
-     ++ \spad{zero? x} holds is \spad{x} is the origin.
-   *: (%,R) -> %       
-     ++ \spad{r*x} is the left-dilation of \spad{x} by \spad{r}.
+     ++ \spad{zero? x} holds if \spad{x} is the origin.
+   *: (%,S) -> %       
+     ++ \spad{x*s} is the right-dilation of \spad{x} by \spad{s}.
 
 @
 
@@ -62,12 +58,10 @@ RightLinearSet(R: Rng): Category == SetCategory with
 ++ Date Created: May 31, 2009
 ++ Date Last Modified: May 31, 2009
 ++ Description:
-++   A set is an \spad{R}-linear set if it is stable by dilation
-++   by elements in the ring \spad{R}.  This category differs from
-++   \spad{Module} in that no other assumption (such as addition)
-++   is made about the underlying set.
+++   A set is an \spad{S}-linear set if it is stable by dilation
+++   by elements in the semigroup \spad{S}.
 ++ See Also: LeftLinearSet, RightLinearSet.
-LinearSet(R: Rng): Category == Join(LeftLinearSet R, RightLinearSet R)
+LinearSet(S: SemiGroup): Category == Join(LeftLinearSet S, RightLinearSet S)
 
 @