diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-11-20 20:05:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-11-20 20:05:35 +0000 |
| commit | 003d8009ff08ef11901956ac887422cea0cc4b55 (patch) | |
| tree | 490f1f62576c12798021f11af19bea21f8cc579a /src/algebra/data.spad.pamphlet | |
| parent | 87f397a2fabcf265efb39d1be4c2b87633579e19 (diff) | |
| download | open-axiom-003d8009ff08ef11901956ac887422cea0cc4b55.tar.gz | |
* algebra/wtpol.spad.pamphlet (WeightedPolynomials): No
HomotopicTo P.
(OrdinaryWeightedPolynomials): Likewise.
* algebra/modmonom.spad.pamphlet (ModuleMonomial): Now
HomotopicTo MM.
* algebra/matrix.spad.pamphlet (coerce$RectangularMatrix): Remove
redundant signature.
* algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Now
HomotopicTo HomotopicTo R.
* algebra/alql.spad.pamphlet (DataList): Now HomotopicTo List S.
* algebra/array1.spad.pamphlet (Tuple): Now HomotopicTo
PrimitiveArray S.
* algebra/kl.spad.pamphlet (CachableSet): Now HomotopicTo S.
* algebra/java.spad.pamphlet (JavaBytecode): Now HomotopicTo Byte.
* algebra/fname.spad.pamphlet (FileNameCategory): Extends
HomotopicTo String.
* algebra/data.spad.pamphlet (Byte): Now HomotopicTo Character.
Diffstat (limited to 'src/algebra/data.spad.pamphlet')
| -rw-r--r-- | src/algebra/data.spad.pamphlet | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet index 10fb2431..0e2a8863 100644 --- a/src/algebra/data.spad.pamphlet +++ b/src/algebra/data.spad.pamphlet @@ -26,15 +26,12 @@ import OutputForm ++ Byte is the datatype of 8-bit sized unsigned integer values. Byte(): Public == Private where Public == Join(OrderedSet, CoercibleTo NonNegativeInteger, - CoercibleTo Character) with + HomotopicTo Character) with byte: NonNegativeInteger -> % ++ byte(x) injects the unsigned integer value `v' into ++ the Byte algebra. `v' must be non-negative and less than 256. coerce: NonNegativeInteger -> % ++ coerce(x) has the same effect as byte(x). - coerce: Character -> % - ++ coerce(c) views `c' a a byte. In particular `c' is supposed - ++ to have a numerical value less than 256. bitand: (%,%) -> % ++ bitand(x,y) returns the bitwise `and' of `x' and `y'. bitior: (%,%) -> % |