diff options
Diffstat (limited to 'src/algebra/clifford.spad.pamphlet')
| -rw-r--r-- | src/algebra/clifford.spad.pamphlet | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/algebra/clifford.spad.pamphlet b/src/algebra/clifford.spad.pamphlet index 20fa8514..262afa86 100644 --- a/src/algebra/clifford.spad.pamphlet +++ b/src/algebra/clifford.spad.pamphlet @@ -33,15 +33,12 @@ QuadraticForm(n, K): T == Impl where SM ==> SquareMatrix V ==> DirectProduct - T ==> AbelianGroup with + T ==> Join(AbelianGroup, Eltable(V(n,K),K)) with quadraticForm: SM(n, K) -> % ++ quadraticForm(m) creates a quadratic form from a symmetric, ++ square matrix m. matrix: % -> SM(n, K) ++ matrix(qf) creates a square matrix from the quadratic form qf. - elt: (%, V(n, K)) -> K - ++ elt(qf,v) evaluates the quadratic form qf on the vector v, - ++ producing a scalar. Impl ==> SM(n,K) add Rep := SM(n,K) |