aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.am
AgeCommit message (Collapse)AuthorFilesLines
2016-01-19getConstructorCategory: get it from generated code for category constructors.Gabriel Dos Reis1-1/+3
2016-01-17subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %Gabriel Dos Reis1-1/+2
2016-01-17Rename Magma to FreeMagmaGabriel Dos Reis1-1/+1
A breeze, given previous compiler work. Renaming matches FriCAS's.
2016-01-16Reduce dependencies on databases to catgeory.daase during algebra buildGabriel Dos Reis1-3/+6
2016-01-13getSuperDomainFromDB: get data from generated codeGabriel Dos Reis1-1/+3
Don't call GETDATABASE to read the information. Rather, load the generated code for the contructor. Discovered mode algebra dependencies.
2016-01-12More algebra dependenciesGabriel Dos Reis1-13/+32
2016-01-11Algebra layer 0 now starts with basic typesGabriel Dos Reis1-230/+181
This cuts down on the number of domains that need to be built during bootstrapping.
2016-01-09Switch getDualSignature to avoiding interpreter databaseGabriel Dos Reis1-2/+9
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-03More algebra dependency layering.Gabriel Dos Reis1-273/+433
2016-01-01More algebra layering and dependencies.Gabriel Dos Reis1-220/+255
2015-12-30Add more dependencies in the algberas' Makefile.am.Gabriel Dos Reis1-56/+186
2014-02-23FASLEXT is now AC_SUBSTdos-reis1-3/+0
2014-02-21Set derived src and target directory variablesdos-reis1-21/+4
2014-02-10Clean up global variable names.dos-reis1-1/+1
2013-06-29Remove stale algebra targets.dos-reis1-6/+5
2013-06-29Fix algebra build order an dependencydos-reis1-7/+5
2013-06-29Do not check for openServer being defined.dos-reis1-1/+1
2013-06-18 * algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.dos-reis1-1/+5
(CommutativeOperation): Likewise. * algebra/Makefile.am (oa_algebra_layer_0): Include them.
2013-06-17Weaken conditions on parameter of partial differential domains.dos-reis1-2/+2
2013-06-17Consolidate parsers in one pamphlet.dos-reis1-9/+1
2013-06-17More algebra dependencies.dos-reis1-16/+28
2013-06-17More algebra dependencies.dos-reis1-7/+20
2013-06-17More algebra dependencies.dos-reis1-31/+119
2013-06-17More algebra dependencies.dos-reis1-0/+43
2013-06-16Recipe Make recipes.dos-reis1-15/+39
2013-06-16Reorder dependencies.dos-reis1-60/+64
2013-06-09More algebra dependencies.dos-reis1-131/+182
2013-06-09More algebra dependenciesdos-reis1-5/+32
2013-06-06Add some algebra dependenciesdos-reis1-1/+1
2013-06-03More algebra module dependenciesdos-reis1-16/+55
2013-06-02Add dependencies for bootstrapdos-reis1-8/+29
2013-06-02Add dependencies for bootstrapdos-reis1-6/+41
2013-06-02Add dependencies for bootstrapdos-reis1-0/+26
2013-06-01Support --output in compiler, for bootstrapping stage.dos-reis1-19/+5
2013-05-26 * algebra/logic.spad.pamphlet: New file.dos-reis1-1/+1
* algebra/boolean.spad.pamphlet (Logic): Move there. (BooleanLogic): Likewise. (PropositionalLogic): Likewise. (PropositionalFormula): Likewise. (PropositionalFormulaFunctions1): Likewise. (PropositionalFormulaFunctions2): Likewise. (KleeneTrivalentLogic): Likewise.
2013-05-22Tidy src/algebra/Makefile.amdos-reis1-15/+10
2013-05-22 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extenddos-reis1-1/+1
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate.
2013-05-21Refactor src/algebra/Makefile.amdos-reis1-182/+66
2013-05-21Fix typos.dos-reis1-6/+6
2013-05-21Remove stale targetsdos-reis1-168/+7
2013-05-20 Use Functorial more often.dos-reis1-8/+11
2013-05-20Add Functorial categorydos-reis1-4/+9
2013-05-18 * algebra/tree.spad.pamphlet(BinaryTreeCategory): Extenddos-reis1-12/+15
ShallowlyMutableAggregate S. (BinarySearchTree): Remove redundant shallowlyMutable attribute. (BalancedBinaryTree): Likewise.
2013-05-18 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.dos-reis1-1/+2
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis1-1/+1
implementation for empty?.
2013-05-17 * algebra/aggcat.spad.pamphlet (TableAggregate): Now extenddos-reis1-1/+1
FiniteAggregate Record(key:Key,entry:Entry). * algebra/files.spad.pamphlet (KeyedAccessFile): Remove finiteAggregate attribute. * algebra/table.spad.pamphlet (HashTable): Likewise. (InnerTable): Likewise. (Table): Likewise.
2013-05-17 * algebra/aggcat.spad.pamphlet (KeyedDictionary): Now extenddos-reis1-3/+3
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-16 * algebra/sortpak.spad.pamphlet (SortPackage): Have seconddos-reis1-3/+3
parameter satisfy FiniteAggregate A instead of requiring attribute finiteAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now extends FiniteAggregate. Remove finiteAggregate attribute.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarilydos-reis1-12/+18
include attribute finiteAggregate. (StackAggregate): Extend category FiniteAggregate instead of attribute finiteAggregate. (QueueAggregate): Likewise. (PriorityQueueAggregate): Likewise. (FiniteSetAggregate): Likewise. * algebra/lmdict.spad.pamphlet (ListMultiDictionary): Likewise. * algebra/matcat.spad.pamphlet (MatrixCategory): Likewise. * algebra/mset.spad.pamphlet (Multiset): Likewise. * algebra/newdata.spad.pamphlet (SplittingTree): Likewise. * algebra/polset.spad.pamphlet (PolynomialSetCategory): Likewise. * algebra/tree.spad.pamphlet (Tree): Likewise. (BinaryTreeCategory): Likewise. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. * algebra/vector.spad.pamphlet (DirectProductCategory): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.dos-reis1-1/+3
* algebra/exposed.lsp.pamphlet: Expose it.