diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-23 21:16:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-23 21:16:19 +0000 |
| commit | f61d3a323d0b382ec67245137f23f18936fdb107 (patch) | |
| tree | efaac35d84f0b914f62b1dfaa9f7b0d9be0206cb /src/algebra/integer.spad.pamphlet | |
| parent | 451422777355655abc12203831db9d067762fb06 (diff) | |
| download | open-axiom-f61d3a323d0b382ec67245137f23f18936fdb107.tar.gz | |
* algebra/seg.spad.pamphlet (SegmentCategory): Extend
ConvertibleFrom S.
* algebra/newpoint.spad.pamphlet (PointCategory): Extend
ConvertibleFrom List R.
* algebra/misc.spad.pamphlet (SingletonAsOrderedSet): Now
ConvertibleTo Symbol.
* algebra/integer.spad.pamphlet (RomanNumeral): Now
ConvertibleFrom Symbol.
* algebra/float.spad.pamphlet (Float): Now ConvertibleFrom SF.
* algebra/sex.spad.pamphlet (SExpressionCategory): Extend
ConvertibleFrom Str, ConvertibleFrom Sym, ConvertibleFrom Int,
ConvertibleFrom Flt, ConvertibleFrom List %.
Diffstat (limited to 'src/algebra/integer.spad.pamphlet')
| -rw-r--r-- | src/algebra/integer.spad.pamphlet | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet index 899a2b70..ad958900 100644 --- a/src/algebra/integer.spad.pamphlet +++ b/src/algebra/integer.spad.pamphlet @@ -323,15 +323,13 @@ PositiveInteger: Join(OrderedAbelianSemiGroup,Monoid) with ++ Keywords: roman numerals ++ Description: \spadtype{RomanNumeral} provides functions for converting ++ integers to roman numerals. -RomanNumeral(): IntegerNumberSystem with +RomanNumeral(): Join(IntegerNumberSystem,ConvertibleFrom Symbol) with canonical ++ mathematical equality is data structure equality. canonicalsClosed ++ two positives multiply to give positive. noetherian ++ ascending chain condition on ideals. - convert: Symbol -> % - ++ convert(n) creates a roman numeral for symbol n. roman : Symbol -> % ++ roman(n) creates a roman numeral for symbol n. roman : Integer -> % |