open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-03-31	* interp/sys-utility.boot (loadModule): New.	dos-reis	1	-2/+2
	* interp/daase.lisp (initial-getdatabase): Use it instead of Lisp's LOAD. * interp/lisplib.boot (loadLib): Likewise. (loadLibNoUpdate): Likewise.
2008-03-25	* interp/bootlex.lisp: Import "sys-globals".	dos-reis	1	-1/+1
	Consistently use $InputStream and $OutputStream for I/O. * interp/c-util.boot: Likewise. * interp/comp.lisp: Likewise. * interp/compat.boot: Likewise. * interp/debug.lisp: Likewise. * interp/def.lisp: Likewise. * interp/g-error.boot: Likewise. * interp/i-toplev.boot: Likewise. * interp/int-top.boot: Likewise. * interp/intfile.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/macros.lisp: Likewise. * interp/metalex.lisp: Likewise. * interp/msgdb.boot: Likewise. * interp/patches.lisp: Likewise. * interp/preparse.lisp: Likewise. * interp/server.boot: Likewise. * interp/spad-parser.boot: Likewise. * interp/spad.lisp: Likewise. * interp/sys-globals.boot: Likewise. * interp/sys-macros.lisp: Likewise. * interp/sys-os.boot: Likewise. * interp/unlisp.lisp: Likewise. * interp/vmlisp.lisp: Likewise. * interp/Makefile.pamphlet (bootlex.$(FASLEXT)): Require sys-globals.$(FASLEXT) too. (vmlisp.$(FASLEXT)): Likewise.
2008-03-24	Add support for SBCL and CLisp	dos-reis	1	-6/+57

2008-03-19	* interp/trace.boot (untraceDomainLocalOps): Tidy.	dos-reis	1	-1/+1
	* interp/spaderror.lisp (\|$quitTag\|): Define as constant. (\|$numericFailure\|): Likewise. * interp/spad.lisp: Import "postpar" and "debug". ($): Remove toplevel assignment. (\|traceComp\|): Tidy. (/FLAG): Remove. (PROMPT): Remove. (\|New,ENTRY,1\|): Don't declare it. Tidy. (\|New,ENTRY,2\|): Fix typo. * interp/sfsfun-l.lisp (rbesselj): Remove extraneous right parenthesis. (rbesseli): Likewise. * interp/patches.lisp: Import "sockio" instead of "debug" (\|$useInternalHistoryTable\|): Don't define here. (user::start): Remove. (/RF-1): Declare ECHO-META special. (READSPADEXPR): Declare IN-STREAM special. (\|$ViewportProcessToWatch\|): Declare. (echo-meta): Don't set here. * interp/packtran.boot (rePackageTran): Tidy. * interp/nspadaux.lisp (\|$underscoreChar\|): Define. (\|$markChoices\|): Likewise. (\|$convert2NewCompiler\|): Likewise. (\|$AnalyzeOnly\|): Likewise. (\|$categoryPart\|): Likewise. (\|$insideCAPSULE\|): Likewise. (\|$insideEXPORTS\|): Likewise. (\|$originalSignature\|): Likewise. (\|$insideDEF\|): Likewise. (\|$insideTypeExpression\|): Likewise. (\|$spadTightList\|): Likewise. (\|$PerCentVariableList\|): Likewise. * interp/nrunopt.boot (augmentPredCode): Fix typo. * interp/nlib.lisp (LISP-BIN-FILETYPE): Remove. (recompile-lib-file-if-necessary): Use $faslType. Unconditionally define. * interp/lisplib.boot (compDefineLisplib): Tidy. * interp/interop.boot (SExprToDName): Tidy. (oldAxiomPreCategoryDevaluate): Likewise. (hashNewLookupInCategories): Likewise. * interp/g-util.boot (get): Adjust return type. (get0): Likewise. (get1): Likewise. (get2): Likewise. * interp/foam_l.lisp: Tidy. * interp/define.boot (maybeInsertViewMorphisms): Fix typo. * interp/debug.lisp (/breakcondition): Declare. * interp/sys-utility.boot (getSystemModulePath): New. * interp/daase.lisp (\|with\|): Remove (\|library\|): Move i-syscmd.boot (initial-getdatabase): Use getSystemModulePath. (getdatabase): Likewise. (addoperations): Don't reference package LISP. (localdatabase): Likewise. (write-interpdb): Don't declare print-prett special. (write-browsedb): Likewise. (write-categorydb): Likewise.
2008-03-10	* lisp/core.lisp.in ("$faslType"): Export.	dos-reis	1	-4/+13
	* interp/sys-driver.boot (algebraBootstrapDir): New. * interp/lisplib.boot (findModule): New. (loadLib): Use it. * interp/daase.lisp (localdatabase): Make sure loadable modules have proper extensions. * interp/sys-utility.boot (existingFile?): New.
2008-02-20	* lisp/core.lisp.in [SBCL]: Require "sb-posix".	dos-reis	1	-2/+3
	(\|resetErrorCount\|): New export function. * interp/vmlisp.lisp (opOf): Remove macro definition. * interp/msg.boot (setMsgCatlessAttr): Fix thinko. * interp/monitor.lisp (monitor-add): Remove extra right parenthesis. * interp/lisplib.boot: Import "debug". (initializeLisplib): Don't use ERRORS variable. * interp/i-spec1.boot (isDomainValuedVariable): Tidy. * interp/i-output.boot (outputTran): Use SIZE instead of #. (output): Remove misguided conversion from Tuple to List. * interp/i-coerce.boot (coerceInteractive): Allow domain object convesions. * interp/g-util.boot (opOf): Declare. * interp/Makefile.pamphlet (lisplib.$(FASLEXT)): Depend on debug.$(FASLEXT). * algebra/Makefile.pamphlet: Use .$(FASLEXT) instead of hardcoded .o extension.
2008-02-16	* interp/unlisp.lisp (\|CatchAsCan\|): Tidy.	dos-reis	1	-1/+1
	* interp/sys-utility.boot (delete): Fix thinko. * interp/sys-globals.boot ($sourceFiles): Define here. (INPUTSTREAM): Likewise. * interp/i-syscmd.boot (UNDERBAR): Move to sys-globals.boot. * interp/fname.lisp: Import "macros". * interp/debug.lisp: Import "parsing". Replace $PRETTYPRINT with $PrettyPrint. (/FN): Define. (depthAlist): Likewise. * interp/br-search.boot (docSearch1): Fix thinko. * interp/Makefile.pamphlet (debug.$(FASLEXT)): Depend on parsing.$(FASLEXT). * interp/i-output.boot (starstarcond): Remove used function. (transcomparg): Likewise. (MATBORCH): Define here. (TALLPAR): Likewise. interp/vmlisp.lisp (\|char\|): Remove duplicate definition.
2008-01-26	* interp/database.boot: Tidy uses of $EmptyEnvironment.	dos-reis	1	-2/+4
	* interp/i-map.boot: Likewise. Allocate fresh cell for $env. * interp/i-spec1.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-toplev.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/setvars.boot: Likewise. * interp/sys-globals.boot: Likewise. * interp/nruncomp.boot: Encode flag types too. * interp/template.boot: Likewise. * share/algebra: Update databases.
2008-01-19	* interp/construc.lisp (\|loadLibNoUpdate\|): Fix thinko in initial	dos-reis	1	-2/+2
	value for empty environments. * interp/database.boot (rebuildCDT): Likewise. * interp/i-map.boot (addDefMap): Likewise. (rewriteMap0): Likewise. (rewriteMap1): Likewise. (compileDeclaredMap): Likewise. (analyzeUndeclaredMap): Likewise. * interp/i-spec1.boot: Likewise. * interp/i-syscmd.boot (reportOperations): Likewise. * interp/i-toplev.boot (interpret): Likewise. * interp/lisplib.boot (loadLib): Likewise. (loadLibNoUpdate): Likewise. * interp/setvars.boot (resetWorkspaceVariables): Likewise. * interp/spad.lisp ($e): Move definition to sys-globals.boot. ($env): Likewise. * interp/sys-globals.boot ($e): Define here. ($env): Likewise. * algebra/any.spad.pamphlet (ObjectProperty): New. (Binding): Likewise. (Contour): Likewise. (Scope): Likewise. (Environment): Likewise. * algebra/exposed.lsp.pamphlet: Expose ObjectProperty, Binding, Contour, Scope, and Environment. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include OBJPROP.o. (axiom_algebra_layer_1): Include BINDING.o (axiom_algebra_layer_2): Include CONTOUR.o (axiom_algebra_layer_3): Include SCOPE.o (axiom_algebra_layer_4): Include ENV.o * share/algebra: Update database.
2007-12-08	* bc-util.boot ($newConstructorList): Move from setq.lisp to here.	dos-reis	1	-0/+3
	($createLocalLibDb): Likewise. * clam.boot ($hashNode): Likewise. * comp.lisp (\|$compileDontDefineFunctions\|): Likewise. * compiler.boot ($compileOnlyCertainItems): Likewise. * database.boot ($globalExposureGroupAlist): Likewise. * define.boot ($newCompCompare): Likewise. * format.boot ($permitWhere): Likewise. * g-boot.boot ($inDefLET): Likewise. ($inDefIS): Likewise. ($letGenVarCounter): Likewise. ($isGenVarCounter): Likewise. * g-error.boot ($ReadingFile): Likewise. (handleLispBreakLoop): Remove special case on $cclSystem. * g-timer.boot (computeElapsedTime): Likewise. * g-util.boot ($interpOnly): Move from setq.lisp to here. * i-funsel.boot ($domPvar): Likewise. * i-object.boot ($immediateDataSymbol): Likewise. * i-output.boot ($algebraOutputStream): Likewise. (ERROROUTSTREAM): Likewise. (ERRORINSTREAM): Likewise. * i-spec2.boot ($InterpreterMacroAlist): Likewise. * i-syscmd.boot ($NonNullStream): Likewise. ($NullStream): Likewise. ($localExposureDataDefault): Likewise. ($localExposureData): Likewise. * lisplib.boot ($functionLocations): Likewise. * msgdb.boot ($testingSystem): Likewise. * nlib.lisp (get-directory-list): Tidy. * nruncomp.boot ($devaluateList): Move from setq.lisp to here. ($functorLocalParameters): Likewise. ($insideCategoryPackageIfTrue): Likewise. ($profileCompiler): Likewise. * nrunfast.boot ($doNotCompressHashTableIfTrue): Likewise. * nrungo.boot ($insideCompileBodyIfTrue): Likewise. * setvars.boot ($InitialCommandSynonymAlist): Likewise. ($CommandSynonymAlist): Likewise. (setOutputLibrary): Simplify. * spad.lisp (\|$newCompCompare\|): Don't set here. (\|$compileOnlyCertainItems\|): Likewise. * sys-constants.boot ($BasicPredicates): Include SYMBOLP. ($TriangleVariableList): Move from setq.lisp to here. ($Any): Likewise. ($Boolean): Likewise. ($SingleInteger): Likewise. ($QuotientField): Likewise. ($ComplexInteger): Likewise. ($OutputForm): Likewise. ($FunctionalExpression): Likewise. ($Expression): Likewise. ($AnonymousFunction): Likewise. * sys-globals.boot (INPUT_-LIBRARIES): Likewise. (OUTPUT_-LIBRARY): Likewise. ($newConlist): Likewise. ($compilingInputFile): Likewise. ($minivectorNames): Likewise.
2007-12-07	boot/	dos-reis	1	-1/+1
	2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu> * initial-env.lisp.pamphlet ("BOOTTRAN"): Don't use SYSTEM package. interp/ 2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu> * lisplib.boot (getSlotFromDomain): Use pointer to function Undef directly, instead of variable Undef. * i-syscmd.boot (cd): Move from patches.lisp to here. * g-timer.boot (printTimeIfTrue): Move from patches.lisp to here. * patches.lisp (Undef): Remove. ($printTimeIfTrue): Move to g-timer.boot. (cd): Move to i-syscmd.boot. (nullstream): Remove. (nononullstream): Likewise. (/MAJOR-VERSION): Move to sys-constants.boot. * setq.lisp (/MAJOR-VERSION): Remove. lisp/ 2007-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu> * core.lisp.in ("AxiomCore"): Don't use SYSTEM package.
2007-11-25	* Makefile.pamphlet (util.$(FASLEXT)): Move down.	dos-reis	1	-0/+2
	(bookvol5.$(FASLEXT)): Likewise. (<<depsys>>): Don't extract. (makeint.lisp): Don't depend on $(DEPSYS). (all-interpsys): Don't dependen on all-depsys. (all-axiomsys): Likewise. Now depend on all-interpsys. (apply.$(FASLEXT)): New rule. (lisplib.$(FASLEXT)): Likewise. (spad.$(FASLEXT)): Likewise. (axext_l.$(FASLEXT)): Likewise. (foam_l.$(FASLEXT)): Likewise.
2007-10-19	remove more pamphlets	dos-reis	1	-0/+688

2007-09-20	Revert commits to the wrong tree.	dos-reis	1	-686/+0

2007-09-20	remove pamphlets - part 6	dos-reis	1	-0/+686