Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
BasicType if element type satisfies it.
|
|
(String): Adjust.
|
|
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %f2s.
* algebra/string.spad.pamphlet (StringCategory) [string]: Add
overload DoubleFloat -> %.
(String): Define it.
|
|
* interp/mark.boot (compString): Likewise.
* algebra/string.spad.pamphlet (StringCategory): Remove obsolete
comments. Remove redundant SetCategory extension.
|
|
* 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.
|
|
[reducedSystem]: Add overload.
* algebra/si.spad.pamphlet (SingleInteger)[reducedSystem]: Tidy.
|
|
for 0 and zero?
(RightLinearSet): Likewise.
|
|
(DifferentialModuleExtension): Likewise.
(PartialDifferentialModule): New.
|
|
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.
|
|
extends DifferentialSpaceExtension.
|
|
|
|
(DifferentialModuleExtension): Likewise.
|
|
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.
|
|
(PartialDifferentialRing): Now extend PartialDifferentialSpace.
|
|
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.
|
|
on argument.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
|
|
(PartialDifferentialDomain): Likewise.
|
|
DifferentialSpace.
|
|
Extend DifferentialSpace.
|
|
|
|
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.
|
|
|
|
DifferentialDomain.
(DifferentialExtension): Check parameter for only DifferentialDomain.
* algebra/dpolcat.spad.pamphlet (DifferentialPolynomialCategory):
Likewise.
* algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator):
Likewise.
|
|
|
|
(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.
|
|
|
|
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.
|
|
(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.
|
|
compiler.boot.
(getInverseEnvironment): Likewise.
* interp/wi2.boot (getSuccessEnvironment): Remove.
(getInverseEnvironment): Likewise.
(corrupted?): Likewise.
(unLet): Likewise.
|
|
(|check-union|): Likewise.
* interp/compiler.boot (coerceSuperset): Tidy. Generate %Retract
instruction.
* interp/g-opt.boot (optRetract): New.
|
|
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.
|
|
partitions to domain Partitions.
* algebra/cycles.spad.pamphlet (CycleIndicators): User partitions
from Partition. Tidy.
|
|
(partitions$Partition): Likewise.
|
|
|
|
* 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.
|
|
(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.
|
|
(powerSum$CycleIndicators): Likewise.
(elementary$CycleIndicators): Likewise.
(alternating$CycleIndicators): Likewise.
(cyclic$CycleIndicators): Likewise.
(dihedral$CycleIndicators): Likewise.
(graphs$CycleIndicators): Likewise.
|
|
|
|
of pairs.
|
|
Rename from isTerm.
(simplify$PropositionalFormulaFunctions1): New.
|
|
(PropositionalLogic): Extend it.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Assert membership to
BooleanLogic.
|
|
(PropositionalFormulaFunctions2): Likewise.
|
|
|
|
(Environment): Likewise. Rename setProperty! to putProperty.
Rename setProperties! to putProperties.
|
|
functions. Elaborate definitions.
|
|
(InternalTypeForm): Likewise.
(CompilerPackage): Expand.
|
|
(InternalTypeForm): New.
(Elaboration): New.
|
|
|
|
|