diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 21:51:23 +0000 |
| commit | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (patch) | |
| tree | 4cf4d2b4af144e87a86cc1ac2f85a5f4148cb8fb /src/algebra/gaussian.spad.pamphlet | |
| parent | fb75980589a0611aee3b8e5e25408725a5c5a531 (diff) | |
| download | open-axiom-7bd82b57975bbc1ff5b87fed0739815c620ecdcc.tar.gz | |
* algebra/: Remove quotes from operator namaes in signatures.
Diffstat (limited to 'src/algebra/gaussian.spad.pamphlet')
| -rw-r--r-- | src/algebra/gaussian.spad.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index 2e7bd479..721e3b31 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -37,7 +37,7 @@ ComplexCategory(R:CommutativeRing): Category == norm : % -> R ++ norm(x) returns x * conjugate(x) if R has IntegralDomain then IntegralDomain - _exquo : (%,R) -> Union(%,"failed") + exquo : (%,R) -> Union(%,"failed") ++ exquo(x, r) returns the exact quotient of x by r, or ++ "failed" if r does not divide x exactly. if R has EuclideanDomain then EuclideanDomain @@ -251,13 +251,13 @@ ComplexCategory(R:CommutativeRing): Category == complex(real(x) / r, - imag(x) / r) if R has IntegralDomain then - _exquo(x:%, r:R) == + x:% exquo r:R == one? r => x (r1 := real(x) exquo r) case "failed" => "failed" (r2 := imag(x) exquo r) case "failed" => "failed" complex(r1, r2) - _exquo(x:%, y:%) == + x:% exquo y:% == zero? imag y => x exquo real y x * conjugate(y) exquo norm(y) @@ -612,7 +612,7 @@ Complex(R:CommutativeRing): ComplexCategory(R) with if R has IntegralDomain then - _exquo(x:%, y:%) == -- to correct bad defaulting problem + x:% exquo y:% == -- to correct bad defaulting problem zero? y.imag => x exquo y.real x * conjugate(y) exquo norm(y) @@ -763,7 +763,7 @@ ComplexIntegerSolveLinearPolynomialEquation(R,CR): C == T solveLinearPolynomialEquation(lp,p) == if (oldlp ~= lp) then -- we have to generate a new table - deg:= _+/[degree u for u in lp] + deg:= +/[degree u for u in lp] ans:Union(Vector List CP,"failed"):="failed" slpePrime:=67108859::R -- 2**26 -5 : a prime -- a good test case for this package is |