open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2008-11-20	* algebra/coerce.spad.pamphlet (CoercibleFrom): New.	dos-reis	1	-74/+0
	(ConvertibleFrom): Likewise. (RetractableTo): Use it. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include KRCFROM and KVTFROM. * share/algebra/: Update databases.
2008-10-13	Add support for Lisp declarations in generated Lisp code.	dos-reis	1	-2/+4
	* interp/i-map.boot (compileCoerceMap): Tell backend that minivector is global. * interp/i-spec1.boot (compileADEFBody): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise. * interp/define.boot (spadCompileOrSetq): Tell backend to ignore last argument for simple functions. * interp/c-util.boot (skipDeclarations): New. (lastDeclarationNode): Likewise. (declareGlobalVariables): Likewise. (transformToBackendCode): Use them to allow for Lisp declarations in middle-end forms. * interp/sys-driver.boot (AxiomCore::%sysInit): Reading Lisp level Floating point numbers default to double precision. * algebra/strap: Update.
2008-10-11	Update algebra bootstrap cache.	dos-reis	1	-2/+18

2008-09-01	2008-09-01 Martin Rubey <martin.rubey@univie.ac.at>	dos-reis	1	-16/+13
	Gabriel Dos Reis <gdr@cs.tamu.edu> Fix AW/431 * algebra/ore.spad.pamphlet (SpareUnivariateSkewPolynomial): Implement . 2008-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu> Make ^ an alias for . * interp/postpar.boot (postAtom): Replace "^" with "*". interp/format.boot (reportOpSymbol): Announce that "^" is an alias for "*". interp/nrungo.boot (compiledLookup): Be sure to look for "*" when operation is "^". interp/define.boot (noteCapsuleFunctionDefinition): New. (clearCapsuleFunctionTable): Likewise. (noteExport): Likewise. (clearExportsTable): Likewise. (compDefineCapsuleFunction): Rename "^" to "*". Take a note of the capsule function being compiled. (compCapsule): Clear previous capsule functions table. (doItIf): Keep track of predicate validity. (compCategory): Clear previous exports table. (compCategoryItem): Take notes of declared attributes and signatures. algebra/catdef.spad.pamphlet (DivisionRing): Remove duplicate definition for "^". (Group): Likewise. (Monoid): Likewise. (SemiGroup): Likewise. * algebra/poly.spad.pamphlet (PolynomialRing): Remove duplicate definitins of "^". (SparseUnivariatePolynomial): Likewise. * algebra/multpoly.spad.pamphlet (SparseMultivariatePolynomial): Remove duplicate definitions for "^". * algebra/interval.spad.pamphlet (Interval): Remove duplicate definition for "^". * algebra/curve.spad.pamphlet (FunctionFieldCategory): Remove duplicate declaration for represents. * algebra/strap/: Update cached Lisp translations. * share/algebra: Update databases.
2008-08-17	* algebra/Makefile.pamphlet (all-algstrap): New.	dos-reis	1	-136/+170
	* algebra/strap: Update cached Lisp translation.
2008-08-16	* algebra/strap: New. Sequester cached Lisp translation of	dos-reis	1	-0/+148
	algebra bootstrap domains here.