open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-03-10	* interp/nocompil.lisp: Remove.	dos-reis	1	-3/+0
	* interp/Makefile.pamphlet: Adjust.
2008-03-03	* interp/i-analy.boot (bottomUp): Don't record constructor	dos-reis	1	-1/+1
	instantiations representations in interactive environments. * interp/i-eval.boot (evaluateFormAsType): New. (evaluateType): Use it. (evaluateType1): Tidy. * interp/i-output.boot (output): Tidy. * interp/i-object.boot ($genValue): Define here. * interp/sys-dirver.boot ($verbose): Rename from $verboseInterpreter. * interp/i-map.boot (genMapCode): Propagate $verbose renaming. * interp/slam.boot (compileRecurrenceRelation): Likewise.
2008-02-19	* algebra/variable.spad.pamphlet (AnonymousFunction): Add new	dos-reis	1	-1/+1
	functions `parameters' and `body'. * algebra/domain.spad.pamphlet: Rename from algebra/domain.spad. (Category): New category. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CATEGORY.o. (DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule. * interp/trace.boot (transTraceItem): Use $LangSupportTypes. * interp/sys-constants.boot ($None): New. ($Type): Likewise. ($LangSupportTypes): Likewise. * interp/parse.boot (parseHas): Use $LangSupportTypes. (parseHasRhs): Likewise. * interp/i-spec2.boot (upLETtype): Use conceptualType. (uptypeOf): Likewise. (upwhere): Likewise. (typeOfType): Remove. * interp/i-spec1.boot (isDomainValuedVariable): Variables with type Category and Type are domain valued too. * interp/i-output.boot (output): Special case only Mode and Type. * interp/i-funsel.boot (selectMms): Don't ignore modemaps with category parameters. * interp/i-coerce.boot (canCoerce1): Test for Category instead of SubDomain Domain. (canCoerceFrom0): Use $None and $Any. (absolutelyCannotCoerce): Use $None. (coerceInteractive): Use $LangSupportTypes. (coerceInt1): Use $Any. * interp/i-analy.boot (conceptualType): New. (bottomUpType): Use it. * interp/clammed.boot (isValidType): Use $LangSupportTypes. * interp/g-cndata.boot (isNameOfType): Likewise. * interp/category.boot (Category): Remove hacky definition. * interp/buildom.boot ($noCategoryDomains): Domain now has a Lisplib.
2008-02-04	* boot/translator.boot (translateToplevelExpression): New.	dos-reis	1	-8/+8
	(bpOutItem): Use it. * boot/ast.boot (needsPROG): New. (shoeCompTran): Use it. Tidy. (bfMain): Define cache variables before functions manipulating them. * boot/strap/: Update cached Lisp translations. * interp/g-timer.boot: Use assignment instead of SETANDFILEQ at toplevel. * interp/i-syscmd.boot: Likewise. * interp/pf2atree.boot: Likewise. * interp/trace.boot: Likewise.
2007-11-24	* Makefile.pamphlet (cfuns.$(FASLEXT)): New rule.	dos-reis	1	-0/+1
	(obey.$(FASLEXT)): Likewise. (setq.$(FASLEXT)): Likewise. (spaderror.$(FASLEXT)): Likewise. (debug.$(FASLEXT)): Likewise. (property.$(FASLEXT)): Likewise. (nspadaux.$(FASLEXT)): Likewise. (sockio.$(FASLEXT)): Likewise. (sfsfun-l.$(FASLEXT)): Likewise. (varini.$(FASLEXT)): Likewise. (trace.$(FASLEXT)): Likewise. (termrw.$(FASLEXT)): Likewise. (showimp.$(FASLEXT)): Likewise. (sfsfun.$(FASLEXT)): Likewise.
2007-10-15	remove more pamphlets from interp/	dos-reis	1	-0/+2

2007-09-11	* template.boot: New.	dos-reis	1	-0/+832
	* template.boot.pamphlet: Move content to template.boot. Remove. * termrw.boot: New. * termrw.boot.pamphlet: Move content to template.boot. Remove. * topics.boot: New. * topics.boot.pamphlet: Move content to topics.boot. Remove. * trace.boot: New. * trace.boot.pamphlet: Move content to trace.boot. Remove. * varini.boot: New. * varini.boot.pamphlet: Move content to varini.boot. Remove. * xrun.boot: New. * xrun.boot.pamphlet: Move content to xrun.boot. Remove * xruncomp.boot: New. * xruncomp.boot.pamphlet: Move content to xruncomp.boot. Remove. * Makefile.pamphlet (<<xruncomp.clisp>>): Remove. (<<trace.lisp>>): Likewise. (<<topics.clisp>>): Likewise. (<<template.clisp>>): Likewise. (<<termrw.clisp>>): Likewise.