aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.in
AgeCommit message (Collapse)AuthorFilesLines
2010-06-30 * interp/c-util.boot (getRepresentation): Tidy.dos-reis1-7/+8
* interp/define.boot (checkRepresentation): Don't compile the base domain here yet.
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New.dos-reis1-1/+2
2010-06-29 * algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.dos-reis1-3/+5
(OrderedType) [max,min]: Export and provide defaults. (OrderedSet): Simplify. (SetCategory) [before?]: Move to BasicType.
2010-06-29Update databasesdos-reis1-1/+2
2010-06-26 * algebra/string.spad.pamphlet (StringCategory): Remove.dos-reis1-3/+2
(String): Adjust.
2010-06-23 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-1/+2
Include Maybe.
2010-06-18 * algebra/catdef.spad.pamphlet (DifferentialModule): Tidy.dos-reis1-1/+5
(DifferentialModuleExtension): Likewise. (PartialDifferentialModule): New.
2010-06-18 * algebra/fparfrac.spad.pamphlet (FullPartialFractionExpansion):dos-reis1-3/+8
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-1/+2
extends DifferentialSpaceExtension.
2010-06-17 * algebra/catdef.spad.pamphlet (DifferentialSpaceExtension): New.dos-reis1-1/+3
(DifferentialModuleExtension): Likewise.
2010-06-17 * algebra/catdef.spad.pamphlet (PartialDifferentialSpace): New.dos-reis1-2/+4
(PartialDifferentialRing): Now extend PartialDifferentialSpace.
2010-06-17 * algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirementdos-reis1-1/+2
on argument. (RightLinearSet): Likewise. (LinearSet): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialModule): New.dos-reis1-2/+4
(PartialDifferentialDomain): Likewise.
2010-06-16 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-4/+6
DifferentialSpace.
2010-06-16 * algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory):dos-reis1-0/+1
Extend DifferentialSpace.
2010-06-15 * algebra/catdef.spad.pamphlet (DifferentialSpace): New.dos-reis1-3/+5
2010-06-14 * algebra/catdef.spad.pamphlet (DifferentialRing): Now extendsdos-reis1-1/+1
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-1/+3
2010-05-02 * interp/compiler.boot (isSubset): Expand domain representation form.dos-reis1-3/+4
* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy. * algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove unnecessary "return".
2010-04-26 * algebra/carten.spad.pamphlet (CartesianTensor): Satisfydos-reis1-6/+14
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-22 * algebra/young.spad.pamphlet: New.dos-reis1-1/+1
2010-04-18 * algebra/term.spad.pamphlet (TermAlgebraOperator): New.dos-reis1-1/+1
2010-04-04 * algebra/boolean.spad.pamphlet (BooleanLogic): New.dos-reis1-2/+4
(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-6/+8
(PropositionalFormulaFunctions2): Likewise.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-1/+5
(InternalTypeForm): New. (Elaboration): New.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-1/+2
2010-03-12 * algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.dos-reis1-1/+3
2010-03-05 * interp/sys-globals.boot ($optimizeRep): Define.dos-reis1-42/+87
* 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.
2010-02-21 * algebra/boolean.spad.pamphlet (PropositionalFormula):dos-reis1-3/+7
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.
2010-02-17 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis1-1/+4
Include Void. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include VOID. (axiom_algebra_layer_14): Loose it.
2009-11-17 * algebra/syntax.spad.pamphlet (StepAst): New.dos-reis1-1/+3
(SpadAstExports): Add case for StepAst. (SpadAst): Implement.
2009-11-09 Fix SF/2893009dos-reis1-2/+3
* algebra/syntax.spad.pamphlet (ParameterAst): New. (HeadAst): Use it. * testsuite/interpreter/sf-2893009.input: Likewise. * testsuite/interpreter/sf-2893009.spad: New.
2009-10-29 * algebra/seg.spad.pamphlet (RangeBinding): New.dos-reis1-1/+1
(SegmentBinding): Tidy. * algebra/exposed.lsp.pamphlet (RangeBinding): Expose. * algebra/Makefile.pamphlet (axiom_algebra_layer_19): Include RNGBIND.
2009-09-27 * algebra/free.spad.pamphlet (FreeMonoidCategory): New.dos-reis1-1/+1
(FreeModule): Use it. * algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Likewise.
2009-09-08 * boot/ast.boot: Support "pointer" as simple datatype.dos-reis1-1/+2
* interp/compiler.boot (getBasicFFIType): SystemPointer is an FFI type. * algebra/data.spad.pamphlet (SystemPointer): New. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include SYSPTR.
2009-06-07 * algebra/domain.spad.pamphlet (DomainTemplate): New.dos-reis1-1/+4
(FunctorData): Likewise. (functorData$DomainConstructor): Likewise.
2009-05-31 * algebra/term.spad.pamphlet (is?$OperatorCategory): New.dos-reis1-8/+11
* 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.
2009-05-25(no commit message)dos-reis1-2/+2
2009-05-25Tidy Makefiledos-reis1-8/+9
2009-05-16 * algebra/any.spad.pamphlet: Tidy. Redeuce Lisp usage.dos-reis1-2/+9
2009-05-14 * algebra/any.spad.pamphlet (RuntimeValue): New domain.dos-reis1-1/+3
* algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule.
2009-05-13 * configure.ac.pamphlet: Disable use of libtool to build shareddos-reis1-1/+1
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.
2009-04-26 * algebra/newpoint.spad.pamphlet (point$Point): Call vector$Vector.dos-reis1-3/+3
* algebra/array1.spad.pamphlet (fill!$PrimitiveArray): Use builtin operation.
2009-04-25 * algebra/strap/PRIMARR.lsp: Remove.dos-reis1-5/+8
2009-04-24(no commit message)dos-reis1-4/+2
2009-04-24 * algebra/strap/ULSCAT.lsp: Remove.dos-reis1-3/+2
2009-04-24 * algebra/strap/UPOLYC.lsp: Remove.dos-reis1-2/+7
* algebra/strap/UPOLYC-.lsp: Likewise.
2009-04-24 * algebra/strap/PSETCAT-.lsp: Remove.dos-reis1-7/+12
* algebra/strap/PSETCAT.lsp: Likewise.
2009-04-23 * algebra/strap/TSETCAT.lsp: Remove.dos-reis1-5/+5
* algebra/strap/TSETCAT-.lsp: Likewise.
2009-04-23 * interp/c-util.boot (extendsCategoryForm): Use current categorydos-reis1-13/+18
body instead of previous previous version of it. * algebra/Makefile.pamphlet: Remove ES from bootstrap layer. Build it (and dependencies) at layer 1. * algebra/strap/ES.lsp: Remove. * algebra/strap/ES-.lsp: Likewise. * algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 00:26:57 +0000