One more green test

Author: SergeStinckwich

Mathematics-Groups/Group.class.st

@@ -715,7 +715,7 @@ Group >> orderOf: anElement boundedBy: n [
 
 { #category : #morphisms }
 Group >> outerAutomorphisms [
-	^ self automorphisms / self innerAutomorphisms
+	^ self automorphisms / self innerAutomorphisms 
 ]
 
 { #category : #operations }
@@ -763,7 +763,14 @@ Group >> random [
 
 { #category : #morphisms }
 Group >> rightAction [
-	^ GroupAction from: (self, self) to: self evaluatingWithArguments: [:x :y| self operation value: {y. self inverseMap value: x}]
+	^ GroupAction
+		from: self , self
+		to: self
+		evaluatingWithArguments: [ :x :y |
+			self operation
+				value:
+					{y.
+					(self inverseMap value: x)} ]
 ]
 
 { #category : #morphisms }

Mathematics-Groups/QuotientGroup.class.st

@@ -35,7 +35,7 @@ QuotientGroup >> buildProjection [
 	"Answer the natural projection, or quotient map, or canonical homomorphism. This takes elements from the base group to the corresponding coset in the quotient group."
 	| answer |
 	answer := self base to: self evaluating: [:each| self project: each].
-	answer name: Character pi asString.
+	answer name: 'Pi'. "Character pi asString"
 	answer properties
 		at: #kernel put: self relations;
 		at: #image put: self;

Mathematics-Kernel-Support/Infinity.class.st

@@ -176,8 +176,8 @@ Infinity >> positive [
 { #category : #printing }
 Infinity >> printOn: aStream [
 	self negative ifTrue: [aStream nextPut: $-].
-	aStream nextPut: Character infinity
-"	aStream nextPutAll: 'infinity'"
+	"aStream nextPut: Character infinity"
+	aStream nextPutAll: 'infinity'
 ]
 
 { #category : #arithmetic }

Mathematics-Kernel/Domain.class.st

@@ -243,7 +243,8 @@ Domain >> asSet [
 { #category : #random }
 Domain >> atRandom [
 	"Answer an element in the receiver choosen at random. This will fail if the receiver is not finite."
-	^ Random withDefaultDo: [:aRandom| self atRandom: aRandom]
+	"^ Random withDefaultDo: [:aRandom| self atRandom: aRandom]" "Cuis specific"
+	^self atRandom: Random new
 ]
 
 { #category : #random }
@@ -263,7 +264,8 @@ Domain >> atRandom: aRandom bits: bitSize [
 { #category : #random }
 Domain >> atRandomBits: bitSize [
 	"Answer an element of the receiver of at most n bits (as measured by #bitSize). The total number of elements that could be returned shouldn't exceed 2^n."
-	^ Random withDefaultDo: [:aRandom| self atRandom: aRandom bits: bitSize]
+	"^ Random withDefaultDo: [:aRandom| self atRandom: aRandom bits: bitSize]" "Cuis specific"
+	^ self atRandom: Random new bits: bitSize
 ]
 
 { #category : #morphisms }

MathematicsTests/GroupTest.class.st

@@ -166,9 +166,13 @@ GroupTest >> testGroupRing [
 	xa := R embed: a.
 	xb := R embed: b.
 	xc := R embed: c.
-	self assert: xa*xb = (R embed: a*b).
-	self assert: xa*2 + xb*xc - (xa*xc) - (xb*xc) = (R embed: a*c).
-	'self assert: (xa + xb) * (xa - xb) = (xa^2 - (xb^2) + (xb*xa) - (xa*xb))'
+	self assert: xa * xb equals: (R embed: a * b).
+	self
+		assert: (xa * 2 + xb) * xc - (xa * xc) - (xb * xc)
+		equals: (R embed: a * c).
+	self
+		assert: (xa + xb) * (xa - xb)
+		equals: (xa raisedTo: 2) - (xb raisedTo: 2) + (xb * xa) - (xa * xb)
 ]
 
 { #category : #tests }
@@ -274,14 +278,14 @@ GroupTest >> testPermutationGroupHomomorphism [
 GroupTest >> testQuotientGroup [
 	| G N Q pi h |
 	G := Group integersMod: 6.
-	N := G span: {3 % 6}.
+	N := G span: {(3 % 6)}.
 	Q := G / N.
-	self assert: Q size = 3.
+	self assert: Q size equals: 3.
 	self testGroup: Q.
 	pi := Q projection.
 	self assert: (Q includes: (pi value: G atRandom)).
 	h := Q atRandom.
-	self assert: (pi value: (pi section value: h)) = h.
+	self assert: (pi value: (pi section value: h)) equals: h.
 	self testGroupHomomorphism: pi
 ]