diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-15 15:09:25 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-15 15:09:25 +0000 |
| commit | 9025c74466dcd1c38dde5e4c63934ff0b2e4f18d (patch) | |
| tree | 447b28f9159920ca29a18fa9647bf7120dc3619c /src/algebra/constant.spad.pamphlet | |
| parent | f5060cfd48a6993c7a6bd6b739e3d37bd234453a (diff) | |
| download | open-axiom-9025c74466dcd1c38dde5e4c63934ff0b2e4f18d.tar.gz | |
* algebra/alql.spad.pamphlet (IndexCard): Now satisfies
CoercibleFrom String. Remove explicit coerce export.
* algebra/carten.spad.pamphlet (CartesianTensor): Remove explicit
coerce export. Add satisfaction of CoercibleFrom appropriate
domains.
* algebra/color.spad.pamphlet (Palette): Relace explicit coerce
export with CoercibleTo %.
* algebra/constant.spad.pamphlet (InnerAlgebraicNumber): Likewise.
* algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):
Likewise.
Diffstat (limited to 'src/algebra/constant.spad.pamphlet')
| -rw-r--r-- | src/algebra/constant.spad.pamphlet | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/algebra/constant.spad.pamphlet b/src/algebra/constant.spad.pamphlet index 34138adc..186d6afb 100644 --- a/src/algebra/constant.spad.pamphlet +++ b/src/algebra/constant.spad.pamphlet @@ -30,9 +30,8 @@ InnerAlgebraicNumber(): Exports == Implementation where LinearlyExplicitRingOver Z, RealConstant, LinearlyExplicitRingOver Fraction Z, CharacteristicZero, - ConvertibleTo Complex Float, DifferentialRing) with - coerce : P -> % - ++ coerce(p) returns p viewed as an algebraic number. + ConvertibleTo Complex Float, DifferentialRing, + CoercibleFrom P) with numer : % -> P ++ numer(f) returns the numerator of f viewed as a ++ polynomial in the kernels over Z. @@ -164,9 +163,8 @@ AlgebraicNumber(): Exports == Implementation where LinearlyExplicitRingOver Z, RealConstant, LinearlyExplicitRingOver Fraction Z, CharacteristicZero, - ConvertibleTo Complex Float, DifferentialRing) with - coerce : P -> % - ++ coerce(p) returns p viewed as an algebraic number. + ConvertibleTo Complex Float, DifferentialRing, + CoercibleFrom P) with numer : % -> P ++ numer(f) returns the numerator of f viewed as a ++ polynomial in the kernels over Z. |