From ddcd33b371ecf118698d8d2109d47911960124f2 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 25 Dec 2011 00:25:09 +0000 Subject: * algebra/rep2.spad.pamphlet (RepresentationPackage2) [areEquivalent?]: Tidy. --- src/ChangeLog | 5 +++++ src/algebra/rep2.spad.pamphlet | 5 +++-- 2 files changed, 8 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/ChangeLog b/src/ChangeLog index f5638379..2018fd03 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2011-12-24 Gabriel Dos Reis + + * algebra/rep2.spad.pamphlet (RepresentationPackage2) + [areEquivalent?]: Tidy. + 2011-12-18 Gabriel Dos Reis * interp/g-opt.boot (unnestWhen!): New. diff --git a/src/algebra/rep2.spad.pamphlet b/src/algebra/rep2.spad.pamphlet index ea41c131..4219ab67 100644 --- a/src/algebra/rep2.spad.pamphlet +++ b/src/algebra/rep2.spad.pamphlet @@ -479,11 +479,12 @@ RepresentationPackage2(R): public == private where -- need a start value for creating random matrices: -- if we switch to randomelements later, we take the last -- fingerprint. + x0,x1: M R if randomelements then -- random should not be from I --randomIndex : I := randnum numberOfGenerators randomIndex := 1+(random()$Integer rem numberOfGenerators) - x0 : M R := aG0.randomIndex - x1 : M R := aG1.randomIndex + x0 := aG0.randomIndex + x1 := aG1.randomIndex n : NNI := #row(x0,1) -- degree of representation foundResult : B := false for i in 1..numberOfTries until foundResult repeat -- cgit v1.2.3