Age | Commit message (Collapse) | Author | Files | Lines |
|
variable j.
* algebra/patmatch1.spad.pamphlet (PatternMatchTools): Tidy.
* algebra/padic.spad.pamphlet: Restrict type of literal constants.
* algebra/sttf.spad.pamphlet: Likewise.
* algebra/puiseux.spad.pamphlet: Likewise.
* algebra/odealg.spad.pamphlet (SystemODESolver) [applyLodo0]:
Specify type of local variable ans.
* algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions): Tidy.
* algebra/naalgc.spad.pamphlet (MonadWithUnit) [rightPower]:
Specify type of local variable res.
[leftPower]: Likewise.
* algebra/lodop.spad.pamphlet (NonCommutativeOperatorDivision)
[leftLcm]: Specify type of local variable v.
* algebra/intfact.spad.pamphlet (IntegerRoots) [approxSqrt]:
Specify type of local variables old and new.
* algebra/elfuts.spad.pamphlet
(EllipticFunctionsUnivariateTaylorSeries): Restrict types of
literal constants.
* algebra/ffnb.spad.pamphlet
(FiniteFieldNormalBasisExtensionByPolynomial): Likewise.
* algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise.
* algebra/intaux.spad.pamphlet (IntegrationResult): Likewise.
* algebra/defintef.spad.pamphlet
(ElementaryFunctionDefiniteIntegration) [checkSMP]: Specify type
in the definition of local variable n.
* algebra/combinat.spad.pamphlet (IntegerCombinatoricFunctions):
Tidy definition of local variables.
* algebra/clifford.spad.pamphlet (CliffordAlgebra): Specify type in
the definition of local variables k, exchanges, bz.
* algebra/catdef.spad.pamphlet (CartesianTensor): Specify type in the
definition of local varibles rx and offz.
Remove useless variables zol, xol, oly, and zoly.
|
|
* algebra/routines.spad.pamphlet: Likewise.
* algebra/functions.spad.pamphlet: Likewise.
* algebra/tools.spad.pamphlet: Likewise.
* algebra/cont.spad.pamphlet: Likewise.
* algebra/fortran.spad.pamphlet: Likewise.
* algebra/fortmac.spad.pamphlet: Likewise.
* algebra/fortpak.spad.pamphlet: Likewise.
|
|
* algebra/c02.spad.pamphlet: Likewise.
* algebra/c05.spad.pamphlet: Likewise.
* algebra/c06.spad.pamphlet: Likewise.
* algebra/d01.spad.pamphlet: Likewise.
* algebra/d02.spad.pamphlet: Likewise.
* algebra/d03.spad.pamphlet: Likewise.
* algebra/e01.spad.pamphlet: Likewise.
* algebra/e02.spad.pamphlet: Likewise.
* algebra/e04.spad.pamphlet: Likewise.
* algebra/f01.spad.pamphlet: Likewise.
* algebra/f02.spad.pamphlet: Likewise.
* algebra/f04.spad.pamphlet: Likewise.
* algebra/f07.spad.pamphlet: Likewise.
* algebra/s.spad.pamphlet: Likewise.
* algebra/d01Package.spad.pamphlet: Likewise.
* algebra/d02Package.spad.pamphlet: Likewise.
* algebra/d03Package.spad.pamphlet: Likewise.
* algebra/e04Package.spad.pamphlet: Likewise.
* algebra/d01agents.spad.pamphlet: Likewise.
* algebra/d01routine.spad.pamphlet: Likewise.
* algebra/d01transform.spad.pamphlet: Likewise.
* algebra/d01weights.spad.pamphlet: Likewise.
* algebra/d02agents.spad.pamphlet: Likewise.
* algebra/d02routine.spad.pamphlet: Likewise.
* algebra/d03agents.spad.pamphlet: Likewise.
* algebra/d03routine.spad.pamphlet: Likewise.
* algebra/e04agents.spad.pamphlet: Likewise.
* algebra/e04routine.spad.pamphlet: Likewise.
|
|
* algebra/ffrac.as.pamphlet: Likewise.
* algebra/herm.as.pamphlet: Likewise.
* algebra/interval.as.pamphlet: Likewise.
* algebra/invnode.as.pamphlet: Likewise.
* algebra/invrender.as.pamphlet: Likewise.
* algebra/invtypes.as.pamphlet: Likewise.
* algebra/invutils.as.pamphlet: Likewise.
* algebra/iviews.as.pamphlet: Likewise.
* algebra/ndftip.as.pamphlet: Likewise.
* algebra/nepip.as.pamphlet: Likewise.
* algebra/noptip.as.pamphlet: Likewise.
* algebra/nqip.as.pamphlet: Likewise.
* algebra/nrc.as.pamphlet: Likewise.
* algebra/nsfip.as.pamphlet: Likewise.
|
|
* algebra/list.spad.pamphlet (IndexedList): Fold definition into
List. Remove.
* algebra/exposed.lsp.pamphlet: Don't expose ILIST.
* algebra/Makefile.in: Adjust.
|
|
(optIsub): Likewise.
(optIdec): New.
* algebra/string.spad.pamphlet (IndexedString): Fold definition
into String. Remove.
(Character): Tidy.
(CharacterClass): Likewise.
* algebra/exposed.lsp.pamphlet: Do not expose ISTRING.
|
|
convert from Identifier.
|
|
(builtinFunctorName?): Likewise.
(builtinConstructor?): Likewise.
(superType): Exit early if builtin functor or non-domain form.
* algebra/Makefile.in: Flesh out bootstrap dependencies.
|
|
initdb.daase before bootstrap.
|
|
* interp/database.boot (loadDBIfnecessary): New.
(dbMutable?): Likewise.
* interp/lisplib.boot (finalizeLisplib): Record mutable property.
|
|
* 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.
|
|
(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
|
|
database tables if algebra is not complete yet.
* interp/Makefile.in (${SAVESYS}): Simplify.
* algebra/Makefile.in (strap-stamp): Make the destination directory.
|
|
[divide]: Tidy.
* algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp
files if keeping intermediate files.
|
|
(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.
|
|
(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.
|
|
* 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.
|
|
* 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.
|
|
negative?, abs, sign, with default implementations.
(OrderedAbelianMonoid): Export positive?, with default.
(OrderedRing): Don't export them.
|
|
[expressIdealMember]: Now returns Maybe List %.
* algebra/Makefile.in: Tidy.
(axiom_algebra_bootstrap_last_layer): Remove.
|
|
considered side-effect free functions.
* algebra/boolean.spad.pamphlet: Reflect change.
* algebra/Makefile.in (oa_strap_0_sources): Include MAYBE.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
* interp/Makefile.pamphlet: Remove.
|
|
comparaison, not object comparaison.
|
|
|
|
|
|
|
|
* 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.
|
|
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.
|
|
|
|
(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.
|
|
|
|
(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.
|