diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-12-21 02:20:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-12-21 02:20:35 +0000 |
| commit | 2f4a173a01acbc47bbe855a01ea79b18d0a0c4a0 (patch) | |
| tree | 4f15c7ade2b48e69c25bdf8ce7d721a5a016a6c1 /src/ChangeLog | |
| parent | 93853a12aba78b695405d9275f9ab56b01ec4269 (diff) | |
| download | open-axiom-2f4a173a01acbc47bbe855a01ea79b18d0a0c4a0.tar.gz | |
* interp/define.boot (checkRepresentation): Take a third
argument. Provide view morphisms for domain extensions.
(compCapsule): Adjust call.
* algebra/alql.spad.pamphlet (DataList): Use per and rep.
* algebra/fortmac.spad.pamphlet (MachineInteger): Likewise.
* algebra/fortran.spad.pamphlet (FortranExpression): Likewise.
* algebra/integer.spad.pamphlet (NonNegativeInteger): Likewise.
(PositiveInteger): Likewise.
* algebra/ituple.spad.pamphlet (InfiniteTuple): Likewise.
* algebra/matrix.spad.pamphlet (RectangularMatrix): Likewise.
* algebra/pf.spad.pamphlet (InnerPrimeField): Likewise.
* algebra/radix.spad.pamphlet (BinaryExpansion): Likewise.
(DecimalExpansion): Likewise.
(HexadecimalExpansion): Likewise.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index cfbfbc30..f3b6d473 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,22 @@ 2008-12-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/define.boot (checkRepresentation): Take a third + argument. Provide view morphisms for domain extensions. + (compCapsule): Adjust call. + * algebra/alql.spad.pamphlet (DataList): Use per and rep. + * algebra/fortmac.spad.pamphlet (MachineInteger): Likewise. + * algebra/fortran.spad.pamphlet (FortranExpression): Likewise. + * algebra/integer.spad.pamphlet (NonNegativeInteger): Likewise. + (PositiveInteger): Likewise. + * algebra/ituple.spad.pamphlet (InfiniteTuple): Likewise. + * algebra/matrix.spad.pamphlet (RectangularMatrix): Likewise. + * algebra/pf.spad.pamphlet (InnerPrimeField): Likewise. + * algebra/radix.spad.pamphlet (BinaryExpansion): Likewise. + (DecimalExpansion): Likewise. + (HexadecimalExpansion): Likewise. + +2008-12-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/i-analy.boot (elaborateForm): New. * interp/i-spec2.boot (uphas): Use it. Evaluate first operand. |