open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
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

2013-04-07	tidy driver invokation	dos-reis	2	-5/+5

2013-04-07	small cleanup	dos-reis	2	-6/+16

2013-04-07	(no commit message)	dos-reis	2	-1/+1

2013-04-07	gui: fix parent of Debate	dos-reis	3	-8/+7

2013-04-07	gui: misc cleanup	dos-reis	9	-114/+123

2013-04-06	(no commit message)	dos-reis	3	-40/+20

2013-04-06	(no commit message)	dos-reis	5	-2/+9

2013-04-06	gui: tidy up	dos-reis	4	-5/+9

2013-04-06	gui: add new Server class	dos-reis	2	-0/+118

2013-04-06	gui: add new Server class	dos-reis	1	-2/+2

2013-04-06	gui: make FS part of the main window	dos-reis	4	-7/+9

2013-04-06	Add token representation files	dos-reis	10	-285/+1603

2013-04-04	convert src/algebra/Makefile.in to Automake stuff	dos-reis	5	-815/+3876

2013-04-04	Add initial io library files	dos-reis	11	-14/+1133

2013-04-03	Fix up fallout from C++11 switch	dos-reis	7	-99/+112

2013-04-02	* gui/conversation.h (Question::leaveEvent): Remove.	dos-reis	3	-19/+11
	(Question::focusOutEvent): Likewise. * gui/conversation.cc: Remove corresponding definitions.
2013-04-02	* gui/conversation.cc (font_units): Rename from em_metrics.	dos-reis	2	-7/+15
	Adjust callers. (Answer::Answer): Use raised frame style.
2013-04-02	Add experimental --gui option	dos-reis	2	-1/+2

2013-04-02	Use oa_setenv	dos-reis	1	-2/+2