aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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
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 Reis20-206/+205
2016-01-13GETDATABASE: Remove dead alternatives.Gabriel Dos Reis1-7/+1
2016-01-13getSuperDomainFromDB: get data from generated codeGabriel Dos Reis4-4/+11
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
2016-01-09Switch getDualSignature to avoiding interpreter databaseGabriel Dos Reis5-18/+23
2016-01-09Every use of getDualSignature that does not ensure that builtinGabriel Dos Reis12-36/+52
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 Reis4-450/+514
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
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, ce...Gabriel Dos Reis15-97/+25
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
2015-12-28stuffSlot: Take the function directly from getLookupFun.Gabriel Dos Reis1-4/+1
2015-12-27Write out a functor's operation table separately in generated code stream.Gabriel Dos Reis4-3/+21
2015-12-27Simplify representation of constants in functors.Gabriel Dos Reis6-12/+10