Clean Mathematics-Sets package

Author: SergeStinckwich

Mathematics-Groups/QuotientGroup.class.st

@@ -105,7 +105,15 @@ QuotientGroup >> relation [
 	| inv op |
 	op := self base operation.
 	inv := self base inverseMap.
-	^ EquivalenceRelation on: self base evaluating: [:x :y| self relations includes: (op value: {x. inv value: y})]
+	^ EquivalenceRelation
+		on: self base
+		evaluating: [ :x :y | 
+			self relations
+				includes:
+					(op
+						value:
+							{x.
+							(inv value: y)}) ]
 ]
 
 { #category : #accessing }

Mathematics-Kernel-Support/Aleph.class.st

@@ -77,8 +77,8 @@ Aleph >> order: anInteger [
 { #category : #printing }
 Aleph >> printOn: aStream [
 	aStream
-		nextPutAll: 'aleph';
-		nextPutAll: order printString sub
+		nextPutAll: 'Aleph-';
+		nextPutAll: order asString
 ]
 
 { #category : #arithmetic }

Mathematics-Kernel/Domain.class.st

@@ -168,8 +168,11 @@ Domain >> , aDomain [
 { #category : #operations }
 Domain >> / anEquivalenceRelation [
 	"Answer the categorical quotient of the receiver by an equivalence relation."
+	
 	| relation |
-	relation := anEquivalenceRelation isBlock ifTrue: [EquivalenceRelation on: self evaluating: anEquivalenceRelation] ifFalse: [anEquivalenceRelation].
+	relation := anEquivalenceRelation isBlock
+		ifTrue: [ EquivalenceRelation on: self evaluating: anEquivalenceRelation ]
+		ifFalse: [ anEquivalenceRelation ].
 	^ QuotientSet mod: relation
 ]
 
@@ -723,7 +726,7 @@ Domain >> product: aBlock [
 
 { #category : #properties }
 Domain >> properties [
-	^ properties ifNil: [properties := IdentityDictionary new]
+	^ properties ifNil: [ properties := IdentityDictionary new ]
 ]
 
 { #category : #properties }
@@ -763,7 +766,10 @@ Domain >> raisedTo: anInteger [
 Domain >> select: aBlock [
 	| elements |
 	elements := Set new.
-	self do: [:each| (aBlock value: each) ifTrue: [elements add: each]].
+	self
+		do: [ :each | 
+			(aBlock value: each)
+				ifTrue: [ elements add: each ] ].
 	^ elements as: Domain
 ]
 

Mathematics-Kernel/Function.class.st

@@ -78,10 +78,11 @@ Function class >> example3Frobenius1 [
 { #category : #examples }
 Function class >> example3Frobenius2 [
 	"The Frobenius ring homomorphism defined by a polynomial."
+
 	| R x |
 	R := ZZ / 6.
 	x := R polynomials x.
-	^ R endomorphisms evaluating: x raiseTo: 6
+	^ R endomorphisms evaluating: (x raisedTo: 6)
 ]
 
 { #category : #'instance creation' }

Mathematics-Modules-Free/QuotientSpace.class.st

@@ -94,7 +94,9 @@ QuotientSpace >> rank [
 
 { #category : #accessing }
 QuotientSpace >> relation [
-	^ EquivalenceRelation on: self base evaluating: [:x :y| self relations includes: x - y]
+	^ EquivalenceRelation
+		on: self base
+		evaluating: [ :x :y | self relations includes: x - y ]
 ]
 
 { #category : #accessing }

Mathematics-Modules/QuotientModule.class.st

@@ -121,7 +121,9 @@ QuotientModule >> projection [
 
 { #category : #accessing }
 QuotientModule >> relation [
-	^ EquivalenceRelation on: self base evaluating: [:x :y| self relations includes: x - y]
+	^ EquivalenceRelation
+		on: self base
+		evaluating: [ :x :y | self relations includes: x - y ]
 ]
 
 { #category : #accessing }

Mathematics-Rings/QuotientRing.class.st

@@ -254,7 +254,9 @@ QuotientRing >> projection [
 
 { #category : #accessing }
 QuotientRing >> relation [
-	^ EquivalenceRelation on: self base evaluating: [:a :b| self relations includes: a - b]
+	^ EquivalenceRelation
+		on: self base
+		evaluating: [ :a :b | self relations includes: a - b ]
 ]
 
 { #category : #accessing }

Mathematics-Sets/CartesianProduct.class.st

@@ -57,7 +57,7 @@ CartesianProduct >> at: anInteger [
 
 { #category : #random }
 CartesianProduct >> atRandom: aRandom [
-	^ components collect: [:each| each atRandom: aRandom]
+	^ components collect: [ :each | each atRandom: aRandom ]
 ]
 
 { #category : #random }
@@ -120,7 +120,8 @@ CartesianProduct >> projection: i [
 
 { #category : #accessing }
 CartesianProduct >> size [
-	^ components product: [:each| each size]
+	^ (components collect: [:each | each size])
+		fold: [ :a :b | a * b ]
 ]
 
 { #category : #enumerating }

Mathematics-Sets/EquivalenceRelation.class.st

@@ -17,7 +17,9 @@ Class {
 
 { #category : #'instance creation' }
 EquivalenceRelation class >> on: aDomain evaluating: aBlock [
-	^ self new domain: aDomain; block: aBlock
+	^ self new
+		domain: aDomain;
+		block: aBlock
 ]
 
 { #category : #'accessing-private' }

Mathematics-Sets/QuotientSet.class.st

@@ -34,8 +34,11 @@ QuotientSet >> isQuotient [
 
 { #category : #printing }
 QuotientSet >> printOn: aStream [
-	aStream print: self relation domain; nextPut: $/; print: self relation
-"	| domain |
+	aStream
+		print: self relation domain;
+		nextPut: $/;
+		print: self relation
+	"	| domain |
 	domain := self relation domain.
 	(domain printString allSatisfy: [:each|each isAlphaNumeric])
 		ifTrue: [aStream print: domain]