open-axiom - open scientific computation system

Age	Commit message (Collapse)	Author	Files	Lines
2016-01-17	Rename Magma to FreeMagma	Gabriel Dos Reis	4	-21/+21
	A breeze, given previous compiler work. Renaming matches FriCAS's.
2016-01-17	getConstructorParentsFromDB: get data from compiled code.	Gabriel Dos Reis	3	-8/+11

2016-01-16	Reduce dependencies on databases to catgeory.daase during algebra build	Gabriel Dos Reis	18	-195/+194

2016-01-13	GETDATABASE: Remove dead alternatives.	Gabriel Dos Reis	1	-7/+1

2016-01-13	getSuperDomainFromDB: get data from generated code	Gabriel Dos Reis	4	-4/+11
	Don't call GETDATABASE to read the information. Rather, load the generated code for the contructor. Discovered mode algebra dependencies.
2016-01-12	Share more code between various parts of the compiler.	Gabriel Dos Reis	4	-6/+30

2016-01-12	More algebra dependencies	Gabriel Dos Reis	3	-26/+65

2016-01-11	Algebra layer 0 now starts with basic types	Gabriel Dos Reis	2	-422/+323
	This cuts down on the number of domains that need to be built during bootstrapping.
2016-01-09	Switch getDualSignature to avoiding interpreter database	Gabriel Dos Reis	5	-18/+23
	Now that OpenAxiom emits the dual signature data also directly in the generated executable code for a constructor, there is no no need to consult the interpreter data base for that information. This change relies on the previous commit, e.g. getDualSignature should be considered invalid for builtin constructors. Any instanbility caused by this patch should be considered a latent bug that should be given high priority fixing.
2016-01-09	Every use of getDualSignature that does not ensure that builtin	Gabriel Dos Reis	12	-36/+52
	constructors are handled before the call is a bug. This patch fixes most the obvious and glaring places. Hopefully, the remaining cases will be exercised when getDualSignature bypasses the on-disk database mamouth.
2016-01-09	instantiateNiladics\!: Tidy.	Gabriel Dos Reis	1	-2/+3

2016-01-09	Remove $AncestorsTable. Adjust users.	Gabriel Dos Reis	4	-43/+29

2016-01-08	Remove dead codes.	Gabriel Dos Reis	3	-34/+0

2016-01-08	Misc cleanup.	Gabriel Dos Reis	1	-24/+21

2016-01-08	Replace \ANCESTORS-HASH\ with $AncestorsTable.	Gabriel Dos Reis	3	-16/+16

2016-01-08	Replace \HASCATEGORY-HASH\ with $HasCategoryTable	Gabriel Dos Reis	5	-28/+25

2016-01-07	Remove 'parentsOf'; adjust users.	Gabriel Dos Reis	3	-13/+8

2016-01-07	ancestorsRecur: Tidy.	Gabriel Dos Reis	1	-2/+2

2016-01-07	computeAncestorsOf: First parameter is now a DB for the the constructor.	Gabriel Dos Reis	2	-5/+7

2016-01-07	Remove dead code. Add DB parameter for getFormModemaps.	Gabriel Dos Reis	3	-49/+25

2016-01-06	Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory?	Gabriel Dos Reis	6	-10/+16

2016-01-06	findOperatorImplementations: Take a DB parameter.	Gabriel Dos Reis	1	-8/+8

2016-01-06	optFunctorBody: Take a DB argument.	Gabriel Dos Reis	3	-19/+19

2016-01-06	macroExpand: Do not expand the definiendum in a definition.	Gabriel Dos Reis	2	-5/+10

2016-01-04	orDnf: Fix longstanding thinko.	Gabriel Dos Reis	1	-2/+2

2016-01-03	More algebra dependency layering.	Gabriel Dos Reis	2	-541/+857

2016-01-01	More algebra layering and dependencies.	Gabriel Dos Reis	2	-438/+502

2015-12-31	coerceEasy: Allow expansion of current domain in the target mode.	Gabriel Dos Reis	3	-20/+26

2015-12-31	Don't unconditionally reference primitive types if they are being defined.	Gabriel Dos Reis	3	-9/+21

2015-12-31	Avoid modulus bias in 'random()' usage.	Gabriel Dos Reis	15	-44/+35

2015-12-31	Improve 'random()' from Integer domain.	Gabriel Dos Reis	4	-7/+13

2015-12-30	Misc cleanup of Integer domain implementation.	Gabriel Dos Reis	1	-17/+15

2015-12-30	compCategories: Use DB parameter for current constructor's modemap.	Gabriel Dos Reis	2	-1/+8

2015-12-30	Thread database parameter through more compiler functions.	Gabriel Dos Reis	4	-74/+79

2015-12-30	Revert accidental modification causing FRAC miscompilation.	Gabriel Dos Reis	1	-3/+1

2015-12-30	Add more dependencies in the algberas' Makefile.am.	Gabriel Dos Reis	6	-123/+389

2015-12-30	Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % ↵	Gabriel Dos Reis	10	-73/+15
	-> T' signatures.
2015-12-30	Remove redundant 'recip' signature from ModularRing and EuclideanModularRing	Gabriel Dos Reis	1	-4/+0

2015-12-30	Remove redundant signature for 'recip' from CliffordAlgebra	Gabriel Dos Reis	1	-4/+1

2015-12-30	Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ↵	Gabriel Dos Reis	15	-97/+25
	central, noetherian, NullSquare, JacobiIdentity.
2015-12-30	Move bemol.cc's Fragment to core library.	Gabriel Dos Reis	4	-111/+145

2015-12-29	Tidy C++ code tokenizing Boot and Spad inputs.	Gabriel Dos Reis	14	-9/+23

2015-12-29	Introduce '' for the slot number of the add-chain domain.	Gabriel Dos Reis	9	-27/+40

2015-12-28	stuffSlot: Take the function directly from getLookupFun.	Gabriel Dos Reis	1	-4/+1

2015-12-27	Write out a functor's operation table separately in generated code stream.	Gabriel Dos Reis	4	-3/+21

2015-12-27	Simplify representation of constants in functors.	Gabriel Dos Reis	6	-12/+10

2015-12-27	Use '%closure' instead of 'CONS' in functor data.	Gabriel Dos Reis	4	-8/+8

2015-12-26	Remove dead and bogus code for constant assginments.	Gabriel Dos Reis	3	-16/+10

2015-12-26	Extract two helper functions out of DescendCode.	Gabriel Dos Reis	2	-12/+22

2015-12-26	Rename 'lastItem' to 'last'. Remove the macro definition.	Gabriel Dos Reis	4	-9/+5