open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2013-05-15	Add DB documentation accessor	dos-reis	2	-0/+7

2013-05-15	* interp/define.boot (dbClearForCompilation!): New.	dos-reis	5	-88/+18
	(compDefineFunctor1): Use it.
2013-05-15	* interp/nruncomp.boot (NRTputInHead): Tidy.	dos-reis	2	-15/+20

2013-05-15	* interp/g-opt.boot (quoteMode): New.	dos-reis	2	-3/+15
	(optRetract): Use it. (optPullback): Likewise.
2013-05-15	* interp/define.boot (checkAndDeclare): Constructor parameter	dos-reis	3	-10/+19
	shadowing. * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: Lose last parameter. Adjust callers.
2013-05-14	* interp/c-util.boot (cleanParameterList!): New.	dos-reis	6	-15/+30
	* interp/define.boot (spadCompileOrSetq): Use it.
2013-05-14	Move lispy stuff to lisp-backend.boot	dos-reis	2	-185/+185

2013-05-14	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):	dos-reis	7	-443/+443
	Remove redundant declaration for parts.
2013-05-14	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test	dos-reis	4	-4/+16
	for BasicType satisfaction instead of existence of =.
2013-05-14	* algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]:	dos-reis	2	-15/+15
	Move implementation from TwoDimensionalArrayCategory.
2013-05-14	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move	dos-reis	2	-37/+35
	defaults to InnerTwoDimensionalArray.
2013-05-14	* graph/include/G.h (GCstruct::GCchar): Increase length to 12.	dos-reis	2	-1/+5

2013-05-14	* algebra/array2.spad.pamphlet (InnerTwoDimensionalArray)	dos-reis	2	-2/+9
	[row, column]: Fix off-by-one thinko.
2013-05-13	* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move	dos-reis	2	-23/+17
	row column implementation to InnerTwoDimensionalArray. (InnerTwoDimensionalArray): Simplify row and column implementation.
2013-05-13	Update databases	dos-reis	5	-15/+15

2013-05-13	* algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit	dos-reis	3	-25/+17
	empty? and empty from base domain. (TwoDimensionalArray): Attribute shallowlyMutable is already specified by TwoDimensionalArrayCategory. * algebra/matcat.spad.pamphlet (MatricCategory): Attributes shallowlyMutable and finiteAggregate are already specified by TwoDimensionalArrayCategory.
2013-05-13	* algebra/array1.spad.pamphlet (IndexedOneDimensionalArray): Tidy.	dos-reis	2	-40/+9

2013-05-13	* interp/g-opt.boot (%array2list): New side-effect free opcode.	dos-reis	4	-1/+18
	* interp/lisp-backend.boot: Expand it. * algebra/array1.spad.pamphlet (PrimitiveArray): Implement maxIndex, parts, and members.
2013-05-13	Remove obfuscation	dos-reis	2	-3/+2

2013-05-13	Remove IndecedVector.	dos-reis	11	-16660/+16612

2013-05-13	* algebra/carten.spad.pamphlet (CartesianTensor): Use	dos-reis	7	-3807/+3596
	PrimitiveArray in lieu of 0-based IndexedVector.
2013-05-12	* interp/database.boot (getConstructorModemap): Revert previous change.	dos-reis	2	-2/+6

2013-05-12	fix databases corruption	dos-reis	5	-7/+7

2013-05-12	* algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove.	dos-reis	7	-13/+15
	(SquareMatrix) [ZERO, ONE]: Likewise.
2013-05-12	* algebra/catdef.spad.pamphlet (OrderedRing): Extend	dos-reis	9	-34/+38
	CharactericZero too.
2013-05-11	* algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename	dos-reis	11	-478/+482
	from InnerIndexedTwoDimensionalArray. Adjust users.
2013-05-11	Remove IndexedTwoDimensionalArray.	dos-reis	12	-19065/+19251

2013-05-11	Consistently use OIL opcodes for abstractions	dos-reis	9	-33/+33

2013-05-11	Fix opcode for references to domain-wide entities	dos-reis	2	-5/+5

2013-05-11	Fix location of opposite? implementation	dos-reis	2	-2/+4

2013-05-11	* algebra/array2.spad.pamphlet: Cleanu up.	dos-reis	2	-48/+24

2013-05-11	* algebra/indexedp.spad.pamphlet	dos-reis	2	-0/+16
	(IndexedDirectProductAbelianMonoid) [opposite?]: Implement.
2013-05-11	Remove IndexedMatrix as unused	dos-reis	12	-18179/+18097

2013-05-11	Introduce opcodes for arrays constructions	dos-reis	9	-38/+60

2013-05-10	Update src/algebra/Makefile for new defaults	dos-reis	2	-4/+4

2013-05-10	* algebra/indexedp.spad.pamphlet	dos-reis	2	-11/+19
	(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively.
2013-05-10	Add opposite? and annihilate? exports.	dos-reis	9	-19202/+19240

2013-05-10	The compiler now accepts do-statements	dos-reis	5	-9/+36

2013-05-09	* algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)	dos-reis	7	-4938/+4983
	[combineWithIf]: New.
2013-05-09	* interp/i-special.boot (evalIF): Generate OIL intermediate	dos-reis	4	-11/+15
	instruction %otherwise, not Lisp expression T. * interp/slam.boot (isRecurrenceRelation): Likewise.
2013-05-09	Simplify copy	dos-reis	4	-15/+15

2013-05-08	Almost pure function bodies are now %redex forms	dos-reis	3	-7/+16

2013-05-07	Tidy linear elements implememtations	dos-reis	2	-5/+10

2013-05-07	Tidy indexed direct product domains	dos-reis	9	-94/+93

2013-05-07	* algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.	dos-reis	10	-18080/+18145

2013-04-08	more gui cleanup	dos-reis	4	-20/+17

2013-04-08	misc gui cleanup	dos-reis	7	-77/+46

2013-04-08	(no commit message)	dos-reis	2	-3/+3

2013-04-08	Remove QTabWidget intermediary	dos-reis	5	-14/+17

2013-04-07	(no commit message)	dos-reis	5	-10/+15