diff options
author | dos-reis <gdr@axiomatics.org> | 2011-12-25 00:25:09 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-12-25 00:25:09 +0000 |
commit | ddcd33b371ecf118698d8d2109d47911960124f2 (patch) | |
tree | 1d2ff1f596bd4afd85bbfc412cfa9a4f06c262eb /src/algebra | |
parent | d6ff41eb503996363dd676485e138a2f322de601 (diff) | |
download | open-axiom-ddcd33b371ecf118698d8d2109d47911960124f2.tar.gz |
* algebra/rep2.spad.pamphlet (RepresentationPackage2)
[areEquivalent?]: Tidy.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/rep2.spad.pamphlet | 5 |
1 files changed, 3 insertions, 2 deletions
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 |