diff options
Diffstat (limited to 'src/algebra/gaussian.spad.pamphlet')
| -rw-r--r-- | src/algebra/gaussian.spad.pamphlet | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index a22dc1a0..abbe8cee 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -170,10 +170,8 @@ ComplexCategory(R:CommutativeRing): Category == zero? i => re outi := '%i::OutputForm ip := --- one? i => outi - (i = 1) => outi --- one?(-i) => -outi - ((-i) = 1) => -outi + one? i => outi + one?(-i) => -outi ie * outi zero? r => ip re + ip @@ -256,8 +254,7 @@ ComplexCategory(R:CommutativeRing): Category == if R has IntegralDomain then _exquo(x:%, r:R) == --- one? r => x - (r = 1) => x + one? r => x (r1 := real(x) exquo r) case "failed" => "failed" (r2 := imag(x) exquo r) case "failed" => "failed" complex(r1, r2) @@ -604,8 +601,7 @@ Complex(R:CommutativeRing): ComplexCategory(R) with 0 == [0, 0] 1 == [1, 0] zero? x == zero?(x.real) and zero?(x.imag) --- one? x == one?(x.real) and zero?(x.imag) - one? x == ((x.real) = 1) and zero?(x.imag) + one? x == one?(x.real) and zero?(x.imag) coerce(r:R):% == [r, 0] complex(r, i) == [r, i] real x == x.real |