diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-18 00:55:11 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-18 00:55:11 +0000 |
| commit | 6e4fb4c2b8cc5f867eceb3bc39572fe218bb5d13 (patch) | |
| tree | 619a415b58c3681cf06ef7d70ed356c9e6acd4eb /src/algebra/gaussian.spad.pamphlet | |
| parent | d68d655abaef0d14652e07608c633b1ff1feefda (diff) | |
| download | open-axiom-6e4fb4c2b8cc5f867eceb3bc39572fe218bb5d13.tar.gz | |
Fix AW/293
* algebra/gaussian.spad.pamphlet (ComplexCategory): Remove complex
attribute.
Diffstat (limited to 'src/algebra/gaussian.spad.pamphlet')
| -rw-r--r-- | src/algebra/gaussian.spad.pamphlet | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index e09ed0c5..a7d5c1dd 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -28,7 +28,6 @@ ComplexCategory(R:CommutativeRing): Category == Join(MonogenicAlgebra(R, SparseUnivariatePolynomial R), FullyRetractableTo R, DifferentialExtension R, FullyEvalableOver R, FullyPatternMatchable(R), Patternable(R), FullyLinearlyExplicitRingOver R, CommutativeRing) with - complex ++ indicates that % has sqrt(-1) imaginary: () -> % ++ imaginary() = sqrt(-1) = %i. conjugate: % -> % ++ conjugate(x + %i y) returns x - %i y. complex : (R, R) -> % ++ complex(x,y) constructs x + %i*y. |