diff options
Diffstat (limited to 'src/algebra/algcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/algcat.spad.pamphlet | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/algebra/algcat.spad.pamphlet b/src/algebra/algcat.spad.pamphlet index a9ff5e97..982f6f0a 100644 --- a/src/algebra/algcat.spad.pamphlet +++ b/src/algebra/algcat.spad.pamphlet @@ -78,7 +78,7 @@ FiniteRankAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R): coordinates(v:Vector %, b:Vector %) == m := new(#v, #b, 0)$Matrix(R) for i in minIndex v .. maxIndex v for j in minRowIndex m .. repeat - setRow_!(m, j, coordinates(qelt(v, i), b)) + setRow!(m, j, coordinates(qelt(v, i), b)) m represents(v, b) == @@ -160,14 +160,14 @@ FramedAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R): coordinates(v:Vector %) == m := new(#v, rank(), 0)$Matrix(R) for i in minIndex v .. maxIndex v for j in minRowIndex m .. repeat - setRow_!(m, j, coordinates qelt(v, i)) + setRow!(m, j, coordinates qelt(v, i)) m regularRepresentation x == m := new(n := rank(), n, 0)$Matrix(R) b := basis() for i in minIndex b .. maxIndex b for j in minRowIndex m .. repeat - setRow_!(m, j, coordinates(x * qelt(b, i))) + setRow!(m, j, coordinates(x * qelt(b, i))) m characteristicPolynomial x == @@ -184,7 +184,7 @@ FramedAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R): n:=rank() m:Matrix R:=zero(n,n+1) for i in 1..n+1 repeat - setColumn_!(m,i,coordinates(y)) + setColumn!(m,i,coordinates(y)) y:=y*x v:=first nullSpace(m) +/[monomial(v.(i+1),i) for i in 0..#v-1] |