diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.in | 3 | ||||
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 3 | ||||
| -rw-r--r-- | src/algebra/catdef.spad.pamphlet | 36 |
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) @ |