open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2010-06-27	* algebra/catdef.spad.pamphlet (LinearlyExplicitRingOver)	dos-reis	1	-4/+4
	[leftReducedSystem]: Rename from reducedSystem.
2010-06-22	Group sequence of LETT definitions into LET/LET* expressions where	dos-reis	1	-59/+38
	appropriate. * interp/g-opt.boot (jumpToToplevel?): New. (singleAssignment?): Likewise. (groupVariableDefinitions): Likewise. Use them. (optimizeFunctionDef): Group toplevel variable definitions into a bind expression. * interp/g-util.boot (expandBind): Tidy. * interp/c-util.boot (transformToBackendCode): Refrain from enclosing let-expressions in SEQ if not needed.
2010-06-20	* interp/g-opt.boot (changeVariableDefinitionToStore): New.	dos-reis	1	-4/+4
	(optimizeFunctionDef): Use it.
2010-06-20	* interp/compiler.boot (massageLoop): New.	dos-reis	1	-9/+8
	(compRepeatOrCollect): Use it to generate appropriate %loop forms. Bind new special variable $mayHaveFreeIteratorVariables. (complainIfShadowing): Set it as appropriate.
2010-06-20	* boot/tokens.boot (readOnly?): New builtin Boot function.	dos-reis	1	-4/+4
	* interp/c-util.boot (isLispSpecialVariable): Tidy. (transformToBackendCode): Likewise.
2010-06-18	* algebra/catdef.spad.pamphlet (DifferentialExtension): Now	dos-reis	1	-8/+7
	extends DifferentialSpaceExtension.
2010-06-15	* algebra/catdef.spad.pamphlet (DifferentialSpace): New.	dos-reis	1	-4/+4

2010-06-04	* interp/buildom.boot: Clean up QEQCAR uses.	dos-reis	1	-6/+6

2010-05-03	Generate more readable code for functor definitions.	dos-reis	1	-126/+112
	* interp/nruncomp.boot (washFunctorBody): New. (buildFunctor): Use it. * interp/g-opt.boot (optBind): New. (optLIST): Likewise.
2009-03-01	Optimization should not change slot numbers.	dos-reis	1	-120/+120

2008-11-20	* algebra/coerce.spad.pamphlet (CoercibleFrom): New.	dos-reis	1	-266/+0
	(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-10-11	Update algebra bootstrap cache.	dos-reis	1	-0/+81

2008-08-17	* algebra/Makefile.pamphlet (all-algstrap): New.	dos-reis	1	-0/+266
	* algebra/strap: Update cached Lisp translation.
2008-08-16	* algebra/strap: New. Sequester cached Lisp translation of	dos-reis	1	-0/+440
	algebra bootstrap domains here.