open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2010-06-17	* algebra/vector.spad.pamphlet (DirectProductCategory): Extend	dos-reis	1	-1/+1
	AbelianMonoid if element type satisfies AbelianMonoid. Extend AbelianGroup if element type satisfies AbelianGroup. Extend Module R if R satisfies CommutativeRing; remove bogus Algebra R and CommutativeRing extension.
2010-06-13	* algebra/catdef.spad.pamphlet (DifferentialDomain): New.	dos-reis	1	-1/+1

2010-06-09	* interp/compiler.boot (canReturn): Handle %when and %bind.	dos-reis	1	-1/+1
	(compMatchAlternative): Generate %bind form. (compMatch): Likewise. (compReduce1): Rewrite. (getIdentity): Tidy. * interp/g-opt.boot (changeThrowToExit): HAndle %reduce. (varIsAssigned): %store is side-effectful. * interp/g-util.boot (expandReduce): New. Expand %reduce forms. * interp/i-map.boot (getUserIdentifiersIn): Handle %reduce. (findLocalVars1): Likewise. * interp/i-spec1.boot (checkForFreeVariables): Likewise.
2010-06-02	* interp/c-util.boot (usedSymbol?): New.	dos-reis	1	-1/+1
	(declareUnusedParameters): Use it. Reimplement. * interp/i-map.boot (compileCoerceMap): Adjust call. * interp/i-spec1.boot (compileADEFBody): Likewise. (mkIterFun): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise. (reportFunctionCacheAll): Likewise. (compileRecurrenceRelation): Likewise.
2010-05-29	* interp/compiler.boot (getExternalSymbolMode): Allow Lisp as	dos-reis	1	-1/+1
	foreign language. (checkExternalEntity): Likewise. (compSignatureImport): Likewise. Give foreign variables dummy values. * interp/c-util.boot (middleEndExpand): Handle %true and %false. * interp/g-util.boot (expandToVMForm): Likewise.
2010-05-29	Add more utility functions	dos-reis	1	-1/+1

2010-05-26	* boot/tokens.boot: Automatically translate alphabetic?, digit?,	dos-reis	1	-1/+1
	lowerCase?, upperCase?, readByte, readInteger, readLine, writeByte, writeLine. * interp/as.boot: Use them. * interp/bc-matrix.boot: Likewise. * interp/bc-solve.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-search.boot: Likewise. * interp/br-util.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/c-util.boot: Likewise. * interp/database.boot: Likewise. * interp/format.boot: Likewise. * interp/fortcall.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-util.boot: Likewise. * interp/guess.boot: Likewise. * interp/ht-root.boot: Likewise. * interp/htcheck.boot: Likewise. * interp/htsetvar.boot: Likewise. * interp/i-map.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-util.boot: Likewise. * interp/int-top.boot: Likewise. * interp/intfile.boot: Likewise. * interp/mark.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/pf2sex.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/scan.boot: Likewise. * interp/slam.boot: Likewise. * interp/sys-utility.boot: Likewise. * interp/topics.boot: Likewise. * interp/trace.boot: Likewise. * interp/word.boot: Likewise.
2010-05-22	* interp/cparse.boot (npQuiver): Redefine. Now send Application	dos-reis	1	-1/+1
	to Application. (npTypedForm): Replace Application with Quiver. (npTypified): Likewise. (npTagged): Use npTypedForm not npTypedForm1. (npDiscrim): Now extend Relation, not Quiver. (npMdef): Allow same LHS as npDef. (npSingleRule): Likewise. * boot/ast.boot: Replace CONCAT with strconc. Replace SYMBOL-NAME with PNAME. * boot/scanner.boot: Likewise. * boot/translator.boot: Likewise.
2010-05-17	* interp/fnewmeta.lisp: Remove out-of-date META grammar.	dos-reis	1	-1/+1
	(PARSE-LabelExpr): Remove. * interp/newaux.lisp: Remove Nud property for << and >>.
2010-05-11	* interp/compiler.boot (freeVarUsage): New. Split out of	dos-reis	1	-1/+1
	compWithMappingMode. (finishLambdaExpression): Likewise. (compWithMappingMode): Restructure.
2010-05-09	* interp/c-util.boot: Replace uses of rplac with explicit	dos-reis	1	-4/+4
	assignments to first and rest fields. * interp/compiler.boot: Likewise. * interp/define.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/wi1.boot: Likewise.
2010-05-07	* configure.ac.pamphlet: Add new option: --enable-int-file-retention.	dos-reis	1	-0/+10
	src/ * lisp/core.lisp.in ($FilesToRetain): New. Export. * lisp/Makefile.in: Tidy. * boot/translator.boot (retainFile?): New. (compileBootHandler): Use it.
2010-05-07	* interp/as.boot: Miscellaneous cleanup.	dos-reis	1	-1/+1
	* interp/ax.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-prof.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/br-search.boot: Likewise. * interp/br-util.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/clammed.boot: Likewise. * interp/compiler.boot: Likewise. * interp/database.boot: Likewise. * interp/cstream.boot: Likewise. * interp/define.boot: Likewise. * interp/diagnostics.boot: Likewise. * interp/format.boot: Likewise. * interp/fortcall.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-boot.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/g-util.boot: Likewise. * interp/ht-util.boot: Likewise. * interp/htsetvar.boot: Likewise. * interp/i-analy.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-intern.boot: Likewise. * interp/i-map.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/interop.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/mark.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/newfort.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/nrungo.boot: Likewise. * interp/pathname.boot: Likewise. * interp/pf2atree.boot: Likewise. * interp/pf2sex.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/record.boot: Likewise. * interp/setvars.boot: Likewise. * interp/trace.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise.
2010-05-05	* interp/c-util.boot (backendCompileSPADSLAM): Generate more	dos-reis	1	-1/+1
	readable Lisp code.
2010-05-02	* interp/compiler.boot (isSubset): Expand domain representation form.	dos-reis	1	-1/+1
	* algebra/term.spad.pamphlet (retractIfCan$Arity): Tidy. * algebra/tree.spad.pamphlet (cyclicCopy2$Tree): Remove unnecessary "return".
2010-04-30	* interp/macros.lisp (\|check-subtype\|): Return coerced value if can.	dos-reis	1	-1/+1
	(\|check-union\|): Likewise. * interp/compiler.boot (coerceSuperset): Tidy. Generate %Retract instruction. * interp/g-opt.boot (optRetract): New.
2010-04-25	* algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Move	dos-reis	1	-1/+1
	partitions to domain Partitions. * algebra/cycles.spad.pamphlet (CycleIndicators): User partitions from Partition. Tidy.
2010-04-22	* algebra/irsn.spad.pamphlet (IrrRepSymNatPackage): Tidy.	dos-reis	1	-1/+1
	* algebra/partperm.spad.pamphlet (PartitionsAndPermutations): Likewise. * algebra/cycles.spad.pamphlet (complete$CycleIndicators): Now take only positive integers. (powerSum$CycleIndicators): Likewise. (elementary$CycleIndicators): Likewise. (alternating$CycleIndicators): Likewise. (cyclic$CycleIndicators): Likewise. (dihedral$CycleIndicators): Likewise. (graphs$CycleIndicators): Likewise.
2010-04-20	* interp/compiler.boot (joinIntegerModes): New.	dos-reis	1	-1/+1
	(compIntegerValue): Likewise. (compStepIterator): Likewise. (compIterate): Use it.
2010-04-17	* algebra/prtition.spad.pamphlet (Partition): Simplify	dos-reis	1	-1/+1
	implementation. Reuse operations available from the representation domain.
2010-04-08	* algebra/boolean.spad.pamphlet (atoms$PropositionalFormula):	dos-reis	1	-1/+1
	Rename from terms.
2010-04-07	* algebra/boolean.spad.pamphlet (isAtom$PropositionalFormula):	dos-reis	1	-1/+1
	Rename from isTerm. (simplify$PropositionalFormulaFunctions1): New.
2010-04-04	* algebra/boolean.spad.pamphlet (PropositionalFormulaFunctions1): New.	dos-reis	1	-1/+1
	(PropositionalFormulaFunctions2): Likewise.
2010-04-03	* interp/sys-utility.boot ($ClosedIOMode): New.	dos-reis	1	-1/+1
	* algebra/files.spad.pamphlet (closed$IOMode): Likewise.
2010-03-18	* algebra/any.spad.pamphlet (Property): Tidy.	dos-reis	1	-1/+1
	(Environment): Likewise. Rename setProperty! to putProperty. Rename setProperties! to putProperties.
2010-03-10	* interp/nruncomp.boot (genDeltaEntry): Take a second, environment	dos-reis	1	-1/+1
	argument. Pass to compOrCroak. * interp/compiler.boot (compElt): Adjust call to genDeltaEntry. (compCase1): Likewise. (coerceByModemap): Likewise. (autoCoerceByModemap): Likewise. (compCat): Likewise. (compViableModemap): Take an additional environment argument. Pass it to genDeltaEntry. (compApplyModemap): Adjust call to compViableModemap. (compResolveCall): Likewise.
2010-03-09	* interp/nruncomp.boot (needToQuoteFlags?): New.	dos-reis	1	-1/+1
	(optDeltaEntry): Use it.
2010-03-07	* interp/g-opt.boot ($VMsideEffectFreeOperators): New.	dos-reis	1	-1/+1
	($simpleVMoperators): Augment it. (semiSimpleRelativeTo?): New. (isSimpleVMForm): Use it. * interp/c-util.boot (forwardingCall?): New. (usesVariablesLinearly?): Likewise. (expandableDefinition?): Likewise. (foldSpadcall): Tidy. (foldExportedFunctionReferences): If a function is discovered to be expandable, make it so. * interp/define.boot (spadCompileOrSetq): Tidy.
2010-03-05	* interp/nruncomp.boot (optDeltaEntry): Silently fail for domains	dos-reis	1	-1/+1
	that are not instantiations.
2010-03-01	* algebra/vector.spad.pamphlet (maxIndex$Vector): Define.	dos-reis	1	-1/+1

2010-02-27	* interp/modemap.boot (augModemapsFromCategoryRep): Remove	dos-reis	1	-1/+1
	assignment to $base. (augModemapsFromCategory): Likewise.
2010-02-23	* interp/nruncomp.boot (genDeltaEntry): Don't store extraneous	dos-reis	1	-1/+1
	item on $NRTdeltaList. (NRTgetLocalIndex): Likewise. Tidy.
2010-02-23	Expand support for domain inlining to non-niladic functors.	dos-reis	1	-1/+1
	* interp/compiler.boot (processInlineRequest): Now accept any functor. * interp/c-util.boot (lookupFunctionInstance): New. (isFormal): Likewise. (expandFormTemplate): Likewise. (equalFormTemplate): Likewise. (getFunctionTemplate): Likewise. (lookupInheritedDefiningFunction): Likewise. (lookupDefiningFunction): Likewise. * interp/nruncomp.boot (optDeltaEntry): Tidy. Use lookupDefiningFunction.
2010-02-21	* algebra/boolean.spad.pamphlet (PropositionalFormula):	dos-reis	1	-1/+1
	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	* algebra/aggcat.spad.pamphlet: Remove unnecessary call to void.	dos-reis	1	-1/+1
	* algebra/algext.spad.pamphlet: Likewise. * algebra/catdef.spad.pamphlet: Likewise. * algebra/curve.spad.pamphlet: Likewise. * algebra/d01agents.spad.pamphlet: Likewise. * algebra/d02agents.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffhom.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/formula.spad.pamphlet: Likewise. * algebra/fortmac.spad.pamphlet: Likewise. * algebra/fortpak.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/forttyp.spad.pamphlet: Likewise. * algebra/generic.spad.pamphlet: Likewise. * algebra/kl.spad.pamphlet: Likewise. * algebra/mathml.spad.pamphlet: Likewise. * algebra/newdata.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pfo.spad.pamphlet: Likewise. * algebra/regset.spad.pamphlet: Likewise. * algebra/routines.spad.pamphlet: Likewise. * algebra/setorder.spad.pamphlet: Likewise. * algebra/sups.spad.pamphlet: Likewise. * algebra/symbol.spad.pamphlet: Likewise. * algebra/tex.spad.pamphlet: Likewise.
2010-02-16	* interp/compiler.boot (compAtomWithModemap): Rewrite.	dos-reis	1	-1/+1
	(transImplementation): Remove.
2010-02-15	* interp/compiler.boot (transImplementation): Loose last argument.	dos-reis	1	-1/+1
	(compAtomWithModemap): Adjust call.
2010-02-14	* algebra/sttaylor.spad.pamphlet	dos-reis	1	-1/+1
	(revert$StreamTaylorSeriesOperations): Tidy.
2010-02-11	* algebra/boolean.spad.pamphlet (~$Boolean): Work around silly bug	dos-reis	1	-1/+1
	in CLisp-2.48.
2010-02-09	* interp/sys-utility.boot (RECLAIM): Don't error.	dos-reis	1	-1/+1

2010-02-08	* lisp/core.lisp.in ("AxiomCore"): Use Clozure CL's package CCL.	dos-reis	1	-1/+1

2010-02-08	Add support for CLozure CL.	dos-reis	1	-0/+17
	* lisp/core.lisp.in: Add support for Clozure CL. (main): Remove as unused. * driver/utils.h (openaxiom_runtime): Add openaxiom_clozure_runtime. * boot/translator.boot (loadNativeModule): Handle Clozure CL. * boot/ast.boot (nativeType): Handle Clozure's FFI types. (nativeReturnType): Likewise. (coerceToNativeType): Likewise. (genCLOZUREnativeTranslation): New. (genImportDeclaration): Use it. * interp/vmlisp.lisp (SINTP): Remove duplicate definition. (SMINTP): Likewise. (ZERO?): Likewise. (GCMSG): Reorganize definition. (BPINAME): Likewise.
2010-02-07	* interp/daase.lisp: Remove conditionals on :CCL.	dos-reis	1	-1/+1
	* interp/fname.lisp: Likewise. * interp/foam_l.lisp: Likewise. * interp/macros.lisp: Likewise. * interp/nlib.lisp: Likewise. * interp/patches.lisp: Likewise. * interp/sfsfun-l.lisp: Likewise. * interp/spad.lisp: Likewise. * interp/util.lisp: Likewise. * interp/vmlisp.lisp: Likewise.
2010-02-07	* configure.ac.pamphlet: Add support for --enable-threads.	dos-reis	1	-1/+17

2010-01-30	import MT package from capable base Lisp systems	dos-reis	1	-1/+1

2010-01-03	Annual ChangeLog rotation	dos-reis	1	-1/+1

2009-11-17	* algebra/syntax.spad.pamphlet (StepAst): New.	dos-reis	1	-1/+1
	(SpadAstExports): Add case for StepAst. (SpadAst): Implement.
2009-11-09	Fix SF/2893009	dos-reis	1	-1/+1
	* algebra/syntax.spad.pamphlet (ParameterAst): New. (HeadAst): Use it. * testsuite/interpreter/sf-2893009.input: Likewise. * testsuite/interpreter/sf-2893009.spad: New.
2009-10-29	* algebra/seg.spad.pamphlet (RangeBinding): New.	dos-reis	1	-1/+1
	(SegmentBinding): Tidy. * algebra/exposed.lsp.pamphlet (RangeBinding): Expose. * algebra/Makefile.pamphlet (axiom_algebra_layer_19): Include RNGBIND.
2009-10-25	* lib/cfuns-c.c (oa_concatenate_string): Define.	dos-reis	1	-1/+1
	* include/open-axiom.h (openaxiom_ifs): New. (OPENAXIOM_TEXINPUTS_PATH): Likewise. (OPENAXIOM_BIBINPUTS_PATH): Likewise. * driver/main.c (augment_variable): New. (upgrade_environment): Likewise. Call publish_systemdir. (main): Call it instead of publish_systemdir. Handle 'spawn' driver. * driver/utils.h (openaxiom_execute_driver): New kind of driver. * driver/utils.c (openaxiom_preprocess_arguments): Tidy. (openaxiom_execute_core): Likewise. * sman/sman.c (process_arguments): Likewise. (process_options): Likewise.