aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.in
AgeCommit message (Collapse)AuthorFilesLines
2011-09-08 * interp/c-util.boot (builtinCategoryName?): Move to g-util.boot.dos-reis1-21/+77
(builtinFunctorName?): Likewise. (builtinConstructor?): Likewise. (superType): Exit early if builtin functor or non-domain form. * algebra/Makefile.in: Flesh out bootstrap dependencies.
2011-08-30 * algebra/Makefile.in: Simplify bootstrap rules. Builddos-reis1-44/+26
initdb.daase before bootstrap.
2011-08-25 * interp/daase.lisp (dbArity, dbInstanceCache): New accessors.dos-reis1-0/+1
* interp/database.boot (loadDBIfnecessary): New. (dbMutable?): Likewise. * interp/lisplib.boot (finalizeLisplib): Record mutable property.
2011-08-24 * algebra/Makefile.in: Support construction initial DB profile.dos-reis1-7/+19
* interp/database.boot (printInitdbInfo): New. (printAllInitdbInfo): Likewise. * interp/sys-driver.boot (initializeDatabases): Exit early if constructing initial DB profile. (buildInitdbHandler): New. Handle --build-initdb. * utils/command.cc (driver_table): Add map for --build-initdb.
2011-08-23 * interp/sys-driver.boot (initializeDatabases): New.dos-reis1-1/+1
(initializeGlobalState): Use it. * interp/spad-parser.boot (parseSpadFile): Tidy. * interp/g-cndata.boot (installConstructor): Exit early it global table not initialized. * interp/database.boot (makeInitialDB): New. (populateDBFromFile): Likewise. * interp/daase.lisp: Introduce more DB accessors. * interp/br-util.boot (dbSourceFile): Remove. * interp/br-con.boot (kdPageInfo): Use getConstructorSourceFileFromDB instead of dbSourceFile. (kPage): Likewise. * algebra/Makefile.in (SPADFILES): Include domain.spad
2011-08-23 * interp/sys-driver.boot (initializeGlobalState): Constructdos-reis1-0/+1
database tables if algebra is not complete yet. * interp/Makefile.in (${SAVESYS}): Simplify. * algebra/Makefile.in (strap-stamp): Make the destination directory.
2011-08-20 * algebra/polycat.spad.pamphlet (UnivariatePolynomialCategory)dos-reis1-1/+3
[divide]: Tidy. * algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp files if keeping intermediate files.
2011-08-13 * interp/c-util.boot (instantiationArgs): New.dos-reis1-2/+6
(domainDirectory): Likewise. (domainLookupFunction): Likewise. (domainOperatorTable): Likewise. (domainAttributes): Likewise. (domainPredicates): Likewise. (domainData): Likewise. * interp/buildom.boot: Use new domain accessors. * interp/functor.boot: Likewise. * interp/interop.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise.
2011-08-10 * algebra/Makefile.in (oa_strap_0_sources): Don't include OM.dos-reis1-12/+9
(axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV. (axiom_algebra_layer_4): Don't include OMENC. (axiom_algebra_layer_14): Don't include OMPKG. (axiom_algebra_layer_19): Don't include OMERR, OMERRK. (axiom_algebra_layer_20): Don't include OMEXPR. * algebra/omcat.spad.pamphlet: Remove. * algebra/omdev.spad.pamphlet: Remove. * algebra/omerror.spad.pamphlet: Remove. * algebra/omserver.spad.pamphlet: Remove. * algebra/openmath.spad.pamphlet: Remove.
2011-08-10 * interp/setvart.boot: Remoe OpenMath description.dos-reis1-1/+1
* interp/setvars.boot (setOutputOpenMath): Remove. (describeOutputOpenMath): Likewise. * algebra/Makefile.in (axiom_algebra_layer_14): Don't include OMSERVER. * algebra/float.spad.pamphlet (Float): Remove OpenMath exports. * algebra/fraction.spad.pamphlet (Fraction): Likewise. * algebra/gaussian.spad.pamphlet (Complex): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/list.spad.pamphlet (List): Likewise. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/string.spad.pamphlet (String): Likewise. * algebra/symbol.spad.pamphlet (Symbol): Likewise.
2011-07-04 * interp/setvars.boot: Remove support for script formula.dos-reis1-1/+1
* interp/setvart.boot: Likewise. * interp/diagnostics.boot (sayBrightlyNT1): Move from macros.lisp. (sayBrightly1): Likewise. (sayBrightlyNT): Likewise. (sayBrightly): Likewise. (sayBrightlyI): Likewise. (sayMSG): Likewise. (sayTeX): Likewise. (sayMSG2File): Likewise. * interp/i-output.boot (formulaFormat): Remove. (output): Adjust. * interp/macros.lisp (sayMSGNT): Remove. (sayFORTRAN): Likewise. (sayFORMULA): Likewise. ($formulaOutputstream): Likewise. * interp/sys-globals.boot ($formulaOutputstream): Remove. * interp/spad.lisp ($formulaFormat): Remove. * algebra/exposed.lsp.pamphlet: Do not expose ScriptFormulaFormat and ScriptFormulaFormat1. * algebra/exposed.lsp.pamphlet: Remove.
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.