Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
(LinearBasis): Likewise.
(LinearElement): Use them.
(LinearForm): New.
|
|
|
|
* interp/define.boot (checkRepresentation): Don't compile the base
domain here yet.
|
|
|
|
(OrderedType) [max,min]: Export and provide defaults.
(OrderedSet): Simplify.
(SetCategory) [before?]: Move to BasicType.
|
|
Extend BasicType.
|
|
(String): Adjust.
|
|
Include Maybe.
|
|
(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.
|
|
(PartialDifferentialRing): Now extend PartialDifferentialSpace.
|
|
on argument.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
|
|
(PartialDifferentialDomain): Likewise.
|
|
DifferentialSpace.
|
|
Extend DifferentialSpace.
|
|
|
|
DifferentialDomain.
(DifferentialExtension): Check parameter for only DifferentialDomain.
* algebra/dpolcat.spad.pamphlet (DifferentialPolynomialCategory):
Likewise.
* algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator):
Likewise.
|
|
|
|
* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy.
* algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove
unnecessary "return".
|
|
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.
|
|
|
|
|
|
(PropositionalLogic): Extend it.
* algebra/aggcat.spad.pamphlet (BitAggregate): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Assert membership to
BooleanLogic.
|
|
(PropositionalFormulaFunctions2): Likewise.
|
|
(InternalTypeForm): New.
(Elaboration): New.
|
|
|
|
|
|
* interp/sys-driver.boot (initializeGlobalState): Sey domain
representation inlining if requested.
* interp/c-util.boot (setCompilerOptimizations): Set domain
representation inlining if at optimization level 3.
* algebra/constant.spad.pamphlet (AlgebraicNumber): Remove
assignment to Rep. Tidy.
* algebra/Makefile.pamphlet: Add dependencies.
|
|
Reimplement in terms of kernels.
* algebra/Makefile.pamphlet ($(OUT)/KERNEL.$(FASLEXT)): New
dependence rule.
($(OUT)PROPFRML.$(FASLEXT)): Likewise.
(axiom_algebra_layer_19): Move PROPFRML to...
(axiom_algebra_layer_6): ...here.
|
|
Include Void.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include VOID.
(axiom_algebra_layer_14): Loose it.
|
|
(SpadAstExports): Add case for StepAst.
(SpadAst): Implement.
|
|
* algebra/syntax.spad.pamphlet (ParameterAst): New.
(HeadAst): Use it.
* testsuite/interpreter/sf-2893009.input: Likewise.
* testsuite/interpreter/sf-2893009.spad: New.
|
|
(SegmentBinding): Tidy.
* algebra/exposed.lsp.pamphlet (RangeBinding): Expose.
* algebra/Makefile.pamphlet (axiom_algebra_layer_19): Include
RNGBIND.
|
|
|
|
(FreeModule): Use it.
* algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Likewise.
|
|
* interp/compiler.boot (getBasicFFIType): SystemPointer is an FFI type.
* algebra/data.spad.pamphlet (SystemPointer): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include SYSPTR.
|
|
(FunctorData): Likewise.
(functorData$DomainConstructor): Likewise.
|
|
* algebra/op.spad.pamphlet (BasicOperator): Don't export is? here.
Inherit it from OperatorCategory Symbol.
* algebra/catdef.spad.pamphlet (LeftLinearSet): New category.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
(AbelianGroup): Extend LeftLinearSet Integer.
(LeftModule): Extend LeftLinearSet R.
(Module): Extend LinearSet R.
(RightModule): Extend RightLinearSet R.
* algebra/exposed.lsp.pamphlet: Expose LeftLinearSet,
RightLinearSet, and LinearSet.
* algebra/Makefile.pamphlet: Tidy.
|
|
|
|
|
|
|
|
* algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule.
|
|
libraries.
* config: Update autotools to newer versions.
src/
* algebra/kl.spad.pamphlet (MakeCachableSet): Remove.
* algebra/Makefile.pamphlet (axiom_algebra_layer_6): Don't build it.
|
|
* algebra/array1.spad.pamphlet (fill!$PrimitiveArray): Use builtin
operation.
|
|
|
|
|
|
|