diff options
Diffstat (limited to 'src/algebra/rep2.spad.pamphlet')
| -rw-r--r-- | src/algebra/rep2.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/rep2.spad.pamphlet b/src/algebra/rep2.spad.pamphlet index 01c39568..45fddeb4 100644 --- a/src/algebra/rep2.spad.pamphlet +++ b/src/algebra/rep2.spad.pamphlet @@ -320,7 +320,7 @@ RepresentationPackage2(R): public == private where --will be checked whether they are in the span of the vectors --computed so far. Of course we stop if we have got the whole --space. - while (^null furtherElts) and (nrows basis < #v) repeat + while (not null furtherElts) and (nrows basis < #v) repeat w : V R := first furtherElts nextVector : M R := matrix list entries w -- normalizing the vector -- will the rank change if we add this nextVector @@ -349,7 +349,7 @@ RepresentationPackage2(R): public == private where --will be checked whether they are in the span of the vectors --computed so far. Of course we stop if we have got the whole --space. - while (^null furtherElts) and (nrows basis < #v) repeat + while (not null furtherElts) and (nrows basis < #v) repeat w : V R := first furtherElts nextVector : M R := matrix list entries w -- normalizing the vector -- will the rank change if we add this nextVector |