aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New category.dos-reis1-0/+5
Extend BasicType.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-0/+5
[terms]: Rename from support.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):dos-reis1-0/+5
Rework implementation.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)dos-reis1-0/+6
[support]: New. (IndexedDirectProductObject): Implement.
2010-06-28 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-0/+5
Include Pair.
2010-06-28 * interp/slam.boot (clearCache): Use reallyClearLocalModemaps todos-reis1-0/+8
remove local modemaps.Likewise. (clearLocalModemaps): Likewise. Tidy. (reallyClearLocalModemaps): New. Remove dynamically generated function definition for internal Lisp-level functions.
2010-06-28 * interp/i-map.boot (findExternalVarsInBindExpr): New.dos-reis1-0/+5
(findLocalVars1): Use it for %bind-expressions.
2010-06-27 * interp/g-util.boot: Add new opcode %before?.dos-reis1-0/+5
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include it.
2010-06-27 * algebra/matcat.spad.pamphlet (MatrixCategory) [matrix]:dos-reis1-0/+5
Add overload that takes sizes and function to compute entries.
2010-06-27 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis1-0/+5
[leftReducedSystem]: Rename from reducedSystem.
2010-06-26 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %vrefdos-reis1-0/+8
and %vlength. * interp/g-util.boot: Expand them. * algebra/array1.spad.pamphlet (PrimitiveArray): Use them. (IndexedOneDimensionalArray): Likewise.
2010-06-26 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfydos-reis1-0/+5
BasicType if element type satisfies it.
2010-06-26 * algebra/string.spad.pamphlet (StringCategory): Remove.dos-reis1-0/+5
(String): Adjust.
2010-06-26 * interp/g-util.boot: Expand %f2s.dos-reis1-0/+8
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %f2s. * algebra/string.spad.pamphlet (StringCategory) [string]: Add overload DoubleFloat -> %. (String): Define it.
2010-06-26 * interp/compiler.boot (compString): Remove as unused.dos-reis1-0/+7
* interp/mark.boot (compString): Likewise. * algebra/string.spad.pamphlet (StringCategory): Remove obsolete comments. Remove redundant SetCategory extension.
2010-06-25 * interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.dos-reis1-0/+22
* interp/g-util.boot: Expand it. * algebra/aggcat.spad.pamphlet: Cleanup. * algebra/any.spad.pamphlet: Likewise. * algebra/boolean.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/laurent.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/mappkg.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/padic.spad.pamphlet: Likewise. * algebra/pattern.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise. * algebra/table.spad.pamphlet: Likewise.
2010-06-25 * interp/c-util.boot (expandableDefinition?): Try to make it ados-reis1-0/+5
forwarding function if possible.
2010-06-24 * algebra/outform.spad.pamphlet: Cleanup.dos-reis1-0/+6
* algebra/polycat.spad.pamphlet: Likewise. * algebra/sregset.spad.pamphlet: Likewise.
2010-06-24 * interp/c-util.boot: Cleanup.dos-reis1-0/+11
* interp/compiler.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/mark.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise.
2010-06-23 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-0/+5
Include Maybe.
2010-06-23 * interp/nruncomp.boot (optDeltaEntry): Don't optimize currentdos-reis1-0/+15
domain modemap references here. * interp/g-opt.boot ($VMsideEffectFreeOperators): Include more floating point operators. ($simpleVMoperators): Move FUNCALL here. (isVMConstantForm): Tidy. * interp/g-util.boot: Expand more floating point insns. * interp/c-util.boot (replaceSimpleFunctions): Replace more constants. * algebra/integer.spad.pamphlet (Integer): More cleanup. Use builtin functions. * algebra/sf.spad.pamphlet: Likewise.
2010-06-22 Group sequence of LETT definitions into LET/LET* expressions wheredos-reis1-0/+13
appropriate. * interp/g-opt.boot (jumpToToplevel?): New. (singleAssignment?): Likewise. (groupVariableDefinitions): Likewise. Use them. (optimizeFunctionDef): Group toplevel variable definitions into a bind expression. * interp/g-util.boot (expandBind): Tidy. * interp/c-util.boot (transformToBackendCode): Refrain from enclosing let-expressions in SEQ if not needed.
2010-06-21 * interp/c-util.boot (middleEndExpand): Give it another macrodos-reis1-0/+5
expansion pass after new opcode expansion.
2010-06-21 * interp/nlib.lisp (COMPILE-LIB-FILE): Rework. Halt compilationdos-reis1-0/+27
if generated is malformed or contains serious warnings. * algebra/pfo.spad.pamphlet (PointsOfFiniteOrder) [cmult]: Merge local conditional definitions. * algebra/permgrps.spad.pamphlet (PermutationGroup) [cosetRep]: Don't forget to return a value. * algebra/newpoly.spad.pamphlet (RecursivePolynomialCategory) [exactQuo]: Merge conditional local definitions. [ZToR]: Inline at sole use point. Remove conditional definitions. [QToR]: Likewise. [PZToPR]: Likewise. [PQToPR]: Likewise. * algebra/naalgc.spad.pamphlet (FramedNonAssociativeAlgebra) [leftRankPolynomial]: Initialize local variable xx. (rightRankPolynomial): Likewise. * algebra/multsqfr.spad.pamphlet (MultivariateSquareFree) [intChoose]: Error if no solution is found in the loop. * algebra/mts.spad.pamphlet (SparseMultivariateTaylorSeries): Tidy. [stream] Remove duplicate definition. * algebra/d01routine.spad.pamphlet (d01anfAnnaType) [measure]: Tidy. (d01asfAnnaType) [measure]: Likewise. * algebra/d01transform.spad.pamphlet (d01TransformFunctionType) [measure]: Likewise. * algebra/forttyp.spad.pamphlet (FortranScalarType) [coerce]: Likewise.
2010-06-21 * algebra/sgcf.spad.pamphlet (SymmetricGroupCombinatoricFunctions)dos-reis1-0/+6
[listYoungTableaus]: Fix thinko. Don't use lattice in its own initialization.
2010-06-21Revert previous erroneous commitdos-reis1-6/+0
2010-06-21 * algebra/sgcf.spad.pamphlet (SymmetricGroupCombinatoricFunctions)dos-reis1-0/+6
[listYoungTableaus]: Fix thinko. Don't use lattice in its own initialization before it is defined.
2010-06-20 * interp/g-opt.boot (changeVariableDefinitionToStore): New.dos-reis1-0/+5
(optimizeFunctionDef): Use it.
2010-06-20 * interp/compiler.boot (massageLoop): New.dos-reis1-0/+7
(compRepeatOrCollect): Use it to generate appropriate %loop forms. Bind new special variable $mayHaveFreeIteratorVariables. (complainIfShadowing): Set it as appropriate.
2010-06-20 * boot/tokens.boot (readOnly?): New builtin Boot function.dos-reis1-0/+6
* interp/c-util.boot (isLispSpecialVariable): Tidy. (transformToBackendCode): Likewise.
2010-06-19 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis1-0/+6
[reducedSystem]: Add overload. * algebra/si.spad.pamphlet (SingleInteger)[reducedSystem]: Tidy.
2010-06-19 * algebra/catdef.spad.pamphlet (LeftLinearSet): Remove declarationdos-reis1-1/+7
for 0 and zero? (RightLinearSet): Likewise.
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialModule): Tidy.dos-reis1-0/+6
(DifferentialModuleExtension): Likewise. (PartialDifferentialModule): New.
2010-06-18 * algebra/fparfrac.spad.pamphlet (FullPartialFractionExpansion):dos-reis1-0/+14
Now satisfies DifferentialSpace. * algebra/gseries.spad.pamphlet (GeneralUnivariatePowerSeries): Now satisfies an instance of PartialDifferentialDomain. * algebra/laurent.spad.pamphlet (UnivariateLaurentSeries): Likewise. * algebra/puiseux.spad.pamphlet (UnivariatePuiseuxSeries): Likewise. * algebra/suls.spad.pamphlet (SparseUnivariateLaurentSeries): Likewise. * algebra/supxs.spad.pamphlet (SparseUnivariatePuiseuxSeries): Likewise. * algebra/suts.spad.pamphlet (SparseUnivariateTaylorSeries): Likewise. * algebra/taylor.spad.pamphlet (UnivariateTaylorSeries): Likewise.
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialExtension): Nowdos-reis1-0/+5
extends DifferentialSpaceExtension.
2010-06-17 * algebra/catdef.spad.pamphlet (DifferentialSpaceExtension): New.dos-reis1-0/+5
(DifferentialModuleExtension): Likewise.
2010-06-17 * algebra/vector.spad.pamphlet (DirectProductCategory): Extenddos-reis1-0/+8
AbelianMonoid if element type satisfies AbelianMonoid. Extend AbelianGroup if element type satisfies AbelianGroup. Extend Module R if R satisfies CommutativeRing; remove bogus Algebra R and CommutativeRing extension.
2010-06-17 * algebra/strap/DIFRING-.lsp: Remove.dos-reis1-0/+4
2010-06-17 * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): New.dos-reis1-0/+5
(PartialDifferentialRing): Now extend PartialDifferentialSpace.
2010-06-17 * algebra/vector.spad.pamphlet (DirectProductCategory): Extenddos-reis1-0/+8
LinearSet if the coefficient type satifies Monoid. Remove previous bogus extension of Monoid. Similarly, extend OrderedSet if the element type satisfies OrderedSet. Remove previous bogus extension of OrderedRing.
2010-06-17 * algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirementdos-reis1-0/+7
on argument. (RightLinearSet): Likewise. (LinearSet): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialModule): New.dos-reis1-0/+5
(PartialDifferentialDomain): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-0/+5
DifferentialSpace.
2010-06-16 * algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):dos-reis1-0/+5
Extend DifferentialSpace.
2010-06-15 * algebra/catdef.spad.pamphlet (DifferentialSpace): New.dos-reis1-0/+4
2010-06-14 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver): Nowdos-reis1-0/+9
extends LeftModule R. [reducedSystem: Vector % -> Matrix R]: New overload. * algebra/lindep.spad.pamphlet (LinearDependence): Additionally require Ring on the second parameter. (IntegerLinearDependence): Add similar requirement on the parameter.
2010-06-14 * Partially revert previous change.dos-reis1-0/+4
2010-06-14 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-0/+10
DifferentialDomain. (DifferentialExtension): Check parameter for only DifferentialDomain. * algebra/dpolcat.spad.pamphlet (DifferentialPolynomialCategory): Likewise. * algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator): Likewise.
2010-06-13 * algebra/catdef.spad.pamphlet (DifferentialDomain): New.dos-reis1-0/+4
2010-06-13 * algebra/laurent.spad.pamphletdos-reis1-0/+13
(UnivariateLaurentSeriesConstructor) [termsToOutputForm]: Tidy. * algebra/mts.spad.pamphlet (SparseMultivariateTaylorSeries) [coerce]: Likewise. * algebra/padic.spad.pamphlet (PAdicIntegerCategory) [coerce]: Likewise. * algebra/pscat.spad.pamphlet (UnivariateTaylorSeriesCategory)[coerce]: Likewise. * algebra/puiseux.spad.pamphlet (UnivariatePuiseuxSeries) [termsToOutputForm]: Likewise.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-09 13:03:37 +0000