aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/interp.daase
AgeCommit message (Collapse)AuthorFilesLines
2010-06-26Update databasesdos-reis1-3725/+3725
2010-06-26 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfydos-reis1-3996/+3997
BasicType if element type satisfies it.
2010-06-26 * algebra/string.spad.pamphlet (StringCategory): Remove.dos-reis1-4756/+4751
(String): Adjust.
2010-06-26 * interp/g-util.boot: Expand %f2s.dos-reis1-4516/+4516
* 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-4525/+4525
* 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-4527/+4527
* 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-19 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)dos-reis1-3720/+3720
[reducedSystem]: Add overload. * algebra/si.spad.pamphlet (SingleInteger)[reducedSystem]: Tidy.
2010-06-19 * algebra/catdef.spad.pamphlet (LeftLinearSet): Remove declarationdos-reis1-4531/+4531
for 0 and zero? (RightLinearSet): Likewise.
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialModule): Tidy.dos-reis1-5338/+5348
(DifferentialModuleExtension): Likewise. (PartialDifferentialModule): New.
2010-06-18 * algebra/fparfrac.spad.pamphlet (FullPartialFractionExpansion):dos-reis1-4424/+4424
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-5352/+5348
extends DifferentialSpaceExtension.
2010-06-18Update databasesdos-reis1-4534/+4534
2010-06-17 * algebra/catdef.spad.pamphlet (DifferentialSpaceExtension): New.dos-reis1-5324/+5333
(DifferentialModuleExtension): Likewise.
2010-06-17 * algebra/vector.spad.pamphlet (DirectProductCategory): Extenddos-reis1-3753/+3753
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/catdef.spad.pamphlet (PartialDifferentialSpace): New.dos-reis1-5051/+5056
(PartialDifferentialRing): Now extend PartialDifferentialSpace.
2010-06-17 * algebra/vector.spad.pamphlet (DirectProductCategory): Extenddos-reis1-3747/+3747
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-4108/+4108
on argument. (RightLinearSet): Likewise. (LinearSet): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialModule): New.dos-reis1-5328/+5342
(PartialDifferentialDomain): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-5329/+5325
DifferentialSpace.
2010-06-16 * algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):dos-reis1-4074/+4074
Extend DifferentialSpace.
2010-06-15Update cached databasedos-reis1-5319/+5328
2010-06-14 * algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver): Nowdos-reis1-3805/+3805
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-4518/+4518
2010-06-14 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-3667/+3667
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-5311/+5320
2010-06-13 * algebra/laurent.spad.pamphletdos-reis1-4331/+4331
(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.
2010-06-12Update cached databasedos-reis1-3689/+3689
2010-06-12 * algebra/permgrps.spad.pamphlet (PermutationGroup): Renamedos-reis1-4520/+4520
movedPoints to support. Adjust call eval. * algebra/perm.spad.pamphlet (PermutationCategory): Now extend Eltable. Remove eval. Rename movedPoints to support. (Permutation): Adjust. * algebra/irsn.spad.pamphlet (listPermutationIrrRepSymNatPackage): Change call to eval to elt. * algebra/rep1.spad.pamphlet: Likewise.
2010-06-09 * interp/compiler.boot (canReturn): Handle %when and %bind.dos-reis1-4515/+4515
(compMatchAlternative): Generate %bind form. (compMatch): Likewise. (compReduce1): Rewrite. (getIdentity): Tidy. * interp/g-opt.boot (changeThrowToExit): HAndle %reduce. (varIsAssigned): %store is side-effectful. * interp/g-util.boot (expandReduce): New. Expand %reduce forms. * interp/i-map.boot (getUserIdentifiersIn): Handle %reduce. (findLocalVars1): Likewise. * interp/i-spec1.boot (checkForFreeVariables): Likewise.
2010-05-01 * interp/c-util.boot (getSuccessEnvironment): Move to here fromdos-reis1-4501/+4501
compiler.boot. (getInverseEnvironment): Likewise. * interp/wi2.boot (getSuccessEnvironment): Remove. (getInverseEnvironment): Likewise. (corrupted?): Likewise. (unLet): Likewise.
2010-04-30 * interp/macros.lisp (|check-subtype|): Return coerced value if can.dos-reis1-4510/+4510
(|check-union|): Likewise. * interp/compiler.boot (coerceSuperset): Tidy. Generate %Retract instruction. * interp/g-opt.boot (optRetract): New.
2010-04-26 * algebra/carten.spad.pamphlet (CartesianTensor): Satisfydos-reis1-3951/+3952
instantiation of Eltable. * algebra/clifford.spad.pamphlet (QuadraticForm): Likewise. * algebra/domain.spad.pamphlet (DomainTemplate): Likewise. * algebra/files.spad.pamphlet (Library): Likewise. * algebra/aggcat.spad.pamphlet (LinearAggregate): Extend instantiation of Eltable. * algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra): Likewise. * algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory): Likewise. * algebra/sex.spad.pamphlet (SExpressionCategory): Likewise. * algebra/Makefile.pamphlet: Update rules.
2010-04-25 * algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Move dos-reis1-7/+7
partitions to domain Partitions. * algebra/cycles.spad.pamphlet (CycleIndicators): User partitions from Partition. Tidy.
2010-04-23 * algebra/prtition.spad.pamphlet (parts$Partition): New.dos-reis1-4010/+4010
(partitions$Partition): Likewise.
2010-04-22 * algebra/young.spad.pamphlet: New.dos-reis1-4519/+4523
2010-04-22 * algebra/irsn.spad.pamphlet (IrrRepSymNatPackage): Tidy.dos-reis1-3893/+3893
* algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Likewise. * algebra/cycles.spad.pamphlet (complete$CycleIndicators): Now take only positive integers. (powerSum$CycleIndicators): Likewise. (elementary$CycleIndicators): Likewise. (alternating$CycleIndicators): Likewise. (cyclic$CycleIndicators): Likewise. (dihedral$CycleIndicators): Likewise. (graphs$CycleIndicators): Likewise.
2010-04-20 * interp/compiler.boot (joinIntegerModes): New.dos-reis1-4502/+4502
(compIntegerValue): Likewise. (compStepIterator): Likewise. (compIterate): Use it. * algebra/prtition.spad.pamphlet (Partition): Now CoercibleTo List PositiveInteger. * algebra/permgrps.spad.pamphlet (PermutationGroupExamples): Operate on positive integers only. * algebra/partperm.spad.pamphlet (partitions$PartitionsAndPermutations): Operate on positive integers only. * algebra/cycles.spad.pamphlet (alternating$CycleIndicators): Now accepts positive integer argument only. (cyclic$CycleIndicators): Likewise. (dihedral$CycleIndicators): Likewise.
2010-04-18 (complete$CycleIndicators): Argument type is now NonNegativeInteger.dos-reis1-5/+5
(powerSum$CycleIndicators): Likewise. (elementary$CycleIndicators): Likewise. (alternating$CycleIndicators): Likewise. (cyclic$CycleIndicators): Likewise. (dihedral$CycleIndicators): Likewise. (graphs$CycleIndicators): Likewise.
2010-04-18 * algebra/term.spad.pamphlet (TermAlgebraOperator): New.dos-reis1-4509/+4513
2010-04-17 * algebra/prtition.spad.pamphlet (powers$Partition): Return listdos-reis1-3938/+3938
of pairs.
2010-04-07 * algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):dos-reis1-4523/+4523
Rename from isTerm. (simplify$PropositionalFormulaFunctions1): New.
2010-04-04 * algebra/boolean.spad.pamphlet (BooleanLogic): New.dos-reis1-5348/+5353
(PropositionalLogic): Extend it. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Assert membership to BooleanLogic.
2010-04-04 * algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New.dos-reis1-4973/+4981
(PropositionalFormulaFunctions2): Likewise.
2010-04-03 Update databases.dos-reis1-4520/+4520
2010-03-18 * algebra/any.spad.pamphlet (Property): Tidy.dos-reis1-4954/+4954
(Environment): Likewise. Rename setProperty! to putProperty. Rename setProperties! to putProperties.
2010-03-13 * algebra/compiler.spad.pamphlet: Add more IR contructordos-reis1-4466/+4466
functions. Elaborate definitions.
2010-03-13 * algebra/compiler.spad.pamphlet (InternalRepresentationForm): Tidy.dos-reis1-4143/+4143
(InternalTypeForm): Likewise. (CompilerPackage): Expand.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-5266/+5274
(InternalTypeForm): New. (Elaboration): New.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-5293/+5297
2010-03-12 * algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.dos-reis1-5176/+5180
generated by cgit v1.2.3 (git 2.39.1) at 2024-10-31 05:19:27 +0000