aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2016-01-20Include compiled initdb in final system image.Gabriel Dos Reis1-2/+6
2016-01-20testExtend: Handle case where first argument is presented as an attribute.Gabriel Dos Reis2-2/+5
2016-01-19Skip interp.daase for a few database info in generated code.Gabriel Dos Reis2-14/+9
2016-01-19getConstructorCategory: get it from generated code for category constructors.Gabriel Dos Reis4-4/+11
2016-01-17subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %Gabriel Dos Reis20-1909/+1794
2016-01-17Maybe: CoercibleTo OutputForm is now optional.Gabriel Dos Reis1-5/+7
2016-01-17Propagate renaming.Gabriel Dos Reis2-2/+2
2016-01-17Rename Magma to FreeMagmaGabriel Dos Reis4-21/+21
A breeze, given previous compiler work. Renaming matches FriCAS's.
2016-01-17getConstructorParentsFromDB: get data from compiled code.Gabriel Dos Reis3-8/+11
2016-01-16Reduce dependencies on databases to catgeory.daase during algebra buildGabriel Dos Reis18-195/+194
2016-01-13GETDATABASE: Remove dead alternatives.Gabriel Dos Reis1-7/+1
2016-01-13getSuperDomainFromDB: get data from generated codeGabriel Dos Reis4-4/+11
Don't call GETDATABASE to read the information. Rather, load the generated code for the contructor. Discovered mode algebra dependencies.
2016-01-12Share more code between various parts of the compiler.Gabriel Dos Reis4-6/+30
2016-01-12More algebra dependenciesGabriel Dos Reis3-26/+65
2016-01-11Algebra layer 0 now starts with basic typesGabriel Dos Reis2-422/+323
This cuts down on the number of domains that need to be built during bootstrapping.
2016-01-09Switch getDualSignature to avoiding interpreter databaseGabriel Dos Reis5-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-09Every use of getDualSignature that does not ensure that builtinGabriel Dos Reis12-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-09instantiateNiladics\!: Tidy.Gabriel Dos Reis1-2/+3
2016-01-09Remove $AncestorsTable. Adjust users.Gabriel Dos Reis4-43/+29
2016-01-08Remove dead codes.Gabriel Dos Reis3-34/+0
2016-01-08Misc cleanup.Gabriel Dos Reis1-24/+21
2016-01-08Replace \*ANCESTORS-HASH\* with $AncestorsTable.Gabriel Dos Reis3-16/+16
2016-01-08Replace \*HASCATEGORY-HASH\* with $HasCategoryTableGabriel Dos Reis5-28/+25
2016-01-07Remove 'parentsOf'; adjust users.Gabriel Dos Reis3-13/+8
2016-01-07ancestorsRecur: Tidy.Gabriel Dos Reis1-2/+2
2016-01-07computeAncestorsOf: First parameter is now a DB for the the constructor.Gabriel Dos Reis2-5/+7
2016-01-07Remove dead code. Add DB parameter for getFormModemaps.Gabriel Dos Reis3-49/+25
2016-01-06Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory?Gabriel Dos Reis6-10/+16
2016-01-06findOperatorImplementations: Take a DB parameter.Gabriel Dos Reis1-8/+8
2016-01-06optFunctorBody: Take a DB argument.Gabriel Dos Reis3-19/+19
2016-01-06macroExpand: Do not expand the definiendum in a definition.Gabriel Dos Reis2-5/+10
2016-01-04orDnf: Fix longstanding thinko.Gabriel Dos Reis1-2/+2
2016-01-03More algebra dependency layering.Gabriel Dos Reis2-541/+857
2016-01-01More algebra layering and dependencies.Gabriel Dos Reis2-438/+502
2015-12-31coerceEasy: Allow expansion of current domain in the target mode.Gabriel Dos Reis3-20/+26
2015-12-31Don't unconditionally reference primitive types if they are being defined.Gabriel Dos Reis3-9/+21
2015-12-31Avoid modulus bias in 'random()' usage.Gabriel Dos Reis15-44/+35
2015-12-31Improve 'random()' from Integer domain.Gabriel Dos Reis4-7/+13
2015-12-30Misc cleanup of Integer domain implementation.Gabriel Dos Reis1-17/+15
2015-12-30compCategories: Use DB parameter for current constructor's modemap.Gabriel Dos Reis2-1/+8
2015-12-30Thread database parameter through more compiler functions.Gabriel Dos Reis4-74/+79
2015-12-30Revert accidental modification causing FRAC miscompilation.Gabriel Dos Reis1-3/+1
2015-12-30Add more dependencies in the algberas' Makefile.am.Gabriel Dos Reis6-123/+389
2015-12-30Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % ↵Gabriel Dos Reis10-73/+15
-> T' signatures.
2015-12-30Remove redundant 'recip' signature from ModularRing and EuclideanModularRingGabriel Dos Reis1-4/+0
2015-12-30Remove redundant signature for 'recip' from CliffordAlgebraGabriel Dos Reis1-4/+1
2015-12-30Remove attributes unitsKnown, leftUnitary, rightUnitary, canonicalsClosed, ↵Gabriel Dos Reis15-97/+25
central, noetherian, NullSquare, JacobiIdentity.
2015-12-30Move bemol.cc's Fragment to core library.Gabriel Dos Reis4-111/+145
2015-12-29Tidy C++ code tokenizing Boot and Spad inputs.Gabriel Dos Reis14-9/+23
2015-12-29Introduce '' for the slot number of the add-chain domain.Gabriel Dos Reis9-27/+40