diff options
author | dos-reis <gdr@axiomatics.org> | 2009-02-04 23:09:12 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-02-04 23:09:12 +0000 |
commit | cf32b86f933ac576e4f529ed0959cb6be25459e8 (patch) | |
tree | 567f77f6fe40aa3f29184f466f7a029a94c62436 /src/algebra/gaussian.spad.pamphlet | |
parent | 9a70016f6c0ae22283f1c141e5daeb3369f3ddfd (diff) | |
download | open-axiom-cf32b86f933ac576e4f529ed0959cb6be25459e8.tar.gz |
* algebra/gaussian.spad.pamphlet (ComplexCategory): Reinstate
attribute 'complex'.
* algebra/Makefile.pamphlet: Tidy.
Diffstat (limited to 'src/algebra/gaussian.spad.pamphlet')
-rw-r--r-- | src/algebra/gaussian.spad.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet index fba0d687..a22dc1a0 100644 --- a/src/algebra/gaussian.spad.pamphlet +++ b/src/algebra/gaussian.spad.pamphlet @@ -28,6 +28,7 @@ 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. |