diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 03:52:53 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-30 03:52:53 -0800 |
| commit | bd1588b379e4c9c4bc63ad59296ad531ebc52994 (patch) | |
| tree | c3cf913a3822ab9d9794314747367d77be379bb4 /src | |
| parent | 9213251560073e45e73ae94c46bc382a625a57bb (diff) | |
| download | open-axiom-bd1588b379e4c9c4bc63ad59296ad531ebc52994.tar.gz | |
Remove redundant signature for 'recip' from CliffordAlgebra
Diffstat (limited to 'src')
| -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 dd7a0826..1badc880 100644 --- a/src/algebra/clifford.spad.pamphlet +++ b/src/algebra/clifford.spad.pamphlet @@ -273,9 +273,6 @@ CliffordAlgebra(n, K, Q): T == Impl where coefficient: (%, List PI) -> K ++ coefficient(x,[i1,i2,...,iN]) extracts the coefficient of ++ \spad{e(i1)*e(i2)*...*e(iN)} in x. - recip: % -> Union(%, "failed") - ++ recip(x) computes the multiplicative inverse of x or "failed" - ++ if x is not invertible. Impl ==> add Qeelist := [Q unitVector(i::PositiveInteger) for i in 1..n] @@ -402,7 +399,7 @@ CliffordAlgebra(n, K, Q): T == Impl where Pn:List List PI := powerSets(n) - recip(x: %): Union(%, "failed") == + recip x == one:% := 1 -- tmp:c := x*yC - 1$C rhsEqs : List K := [] |