aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.in
AgeCommit message (Collapse)AuthorFilesLines
2011-03-12 * algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Exportdos-reis1-4/+6
negative?, abs, sign, with default implementations. (OrderedAbelianMonoid): Export positive?, with default. (OrderedRing): Don't export them.
2011-03-09 * algebra/catdef.spad.pamphlet (EuclideanDomain)dos-reis1-28/+14
[expressIdealMember]: Now returns Maybe List %. * algebra/Makefile.in: Tidy. (axiom_algebra_bootstrap_last_layer): Remove.
2011-03-09 * interp/g-opt.boot: %pair, %list, %vector, %bitvector are nowdos-reis1-3/+8
considered side-effect free functions. * algebra/boolean.spad.pamphlet: Reflect change. * algebra/Makefile.in (oa_strap_0_sources): Include MAYBE.
2011-03-08 * algebra/catdef.spad.pamphlet (SemiRing): New category.dos-reis1-2/+4
2011-03-08Fix dependency for bootstrapdos-reis1-45/+115
2011-03-07 * More dependeny rules.dos-reis1-34/+102
2011-03-07 * interp/sys-utility.boot (getSystemModulePath): Usedos-reis1-61/+289
systemAlgebraDirectory. * interp/database.boot (pathToDatabase): Use systemDatabaseDirectory. * algebra/integer.spad.pamphlet (Integer) [latex]: Tidy. * algebra/string.spad.pamphlet (Character) [latex]: Likewise. * algebra/Makefile.in: Rework bootstrapping set up. (COMPILE_LISP): Remove. (axiom_algebra_layer_strap): Likewise. (axiom_algebra_layer_strap_objects): Likewise. (axiom_algebra_bootstrap): Likewise. (oa_strap_0_fasls): New. (oa_strap_1_fasls): Likewise. (oa_strap_2_fasls): Likewise. (oa_strap_0_sources): Likewise. (oa_strap_1_sources): Likewise. (oa_strap_2_sources): Likewise. * src/algerab/strap: Remove.
2011-02-24(no commit message)dos-reis1-4/+5
2010-11-29Add support for translator and linker in the driverdos-reis1-9/+18
2010-11-05 * algebra/Makefile.pamphlet: Likewise.dos-reis1-0/+89
* interp/Makefile.pamphlet: Remove.
2010-10-27 * interp/c-util.boot (makeCommonEnvironment): Use list node pointerdos-reis1-2/+2
comparaison, not object comparaison.
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut.dos-reis1-4/+5
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.dos-reis1-1/+1
2010-10-27 * algebra/boolean.spad.pamphlet (Logic): Now extend Type.dos-reis1-1/+1
2010-08-21 External tool noweb is no longer required.dos-reis1-6/+6
* INSTALL: Update instructions. * Makefile.pamphlet: Remove rules for building noweb. (AXIOM_SRC_TARGETS): Include all-utils. * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for notangle and noweave. * config/setup-dep.mk: Remove rules for generating document. * config/var-def.mk: Remove NOTANGLE and NOWEAVE variables. * configure.ac: Instantiate Makefile for src/utils.
2010-07-19 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis1-2/+10
byte relation operators and bitmakst operators. * interp/g-util.boot: Expand them. * algebra/data.spad.pamphlet (Byte): Now satisfies Logic. Tidy. (SystemNonNegativeInteger): Likewise. * algebra/java.spad.pamphlet (JVMBytecode): Rename from JavaBytecode. (JVMClassFileAccess): New. (JVMFieldAccess): Likewise. (JVMMethodAccess): Likewise. (JVMConstantTag): Likewise. (JVMOpcode): Likewise.
2010-07-18More cleanupsdos-reis1-8/+19
2010-07-03 * algebra/vector.spad.pamphlet (DualBasis): New.dos-reis1-3/+10
(LinearBasis): Likewise. (LinearElement): Use them. (LinearForm): New.
2010-06-30 * algebra/vector.spad.pamphlet (LinearElement): New.dos-reis1-1/+2
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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-04 11:07:38 +0000