aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/operation.daase
AgeCommit message (Collapse)AuthorFilesLines
2016-01-21getConstructorAncestorsFromDB: get them from generated codeGabriel Dos Reis1-1/+1
Ancestors for category constructors are stored in databases with parameter names of the form #1, #2, etc. called "formals", instead of the user-writtern parameters in the input souce code. However, the ancestors as previously stored in generated code used the input source-level parameter names. Changed to formals, so no rewrite needed before making databases.
2016-01-17subtractIfCan$CancellationAbelianMonoid: return the more principled Maybe %Gabriel Dos Reis1-1181/+1061
2013-06-24Simplify database construction.dos-reis1-11694/+25913
2013-06-24 * interp/sys-constants.boot ($BuiltinAttributes): Removedos-reis1-10913/+10913
finiteAggregate and shallowlyMutable. * interp/daase.lisp (WRITE-COMPRESS): Do not push strings.
2013-06-18 * algebra/catdef.spad.pamphlet (CommutativeOperatorCategory): New.dos-reis1-10574/+10575
(CommutativeOperation): Likewise. * algebra/Makefile.am (oa_algebra_layer_0): Include them.
2013-06-17 * algebra/aggcat.spad.pamphlet (EltableAggregate): Weakendos-reis1-664/+661
requirement on first parameter. (IndexedAggregate): Likewise.
2013-06-17Weaken conditions on parameter of partial differential domains.dos-reis1-643/+643
2013-05-25 * algebra/cycles.spad.pamphlet (alternating): Accept non-negative inputdos-reis1-2/+2
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-20 * algebra/aggcat.spad.pamphlet (Collection) [find]: Move todos-reis1-731/+730
FiniteAggregate.
2013-05-20 Use Functorial more often.dos-reis1-1085/+1055
2013-05-20Add Functorial categorydos-reis1-9954/+9954
2013-05-20Fix up thinkosdos-reis1-9856/+9856
2013-05-20Update databasesdos-reis1-650/+647
2013-05-19Eradicate attribute shallowlyMutable.dos-reis1-9858/+9858
2013-05-19Use ShallowlyMutableAggregate.dos-reis1-682/+676
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis1-556/+538
ShallowlyMutableAggregate S in exports. * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude ShallowlyMutableAggregate P. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-19 * algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export.dos-reis1-689/+688
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: Newdos-reis1-1/+1
local function. [SFunction]: Use it.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators)dos-reis1-3/+3
[complete,alternating]: Change input type to NonNegativeInteger.
2013-05-18 * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attributedos-reis1-1/+1
finiteAggregate.
2013-05-18Tidy Collectiondos-reis1-629/+629
2013-05-18Tidydos-reis1-554/+554
2013-05-18 * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.dos-reis1-667/+658
Remove redundant defaults.
2013-05-18Add reduce overloads fo FiniteAggregatedos-reis1-658/+663
2013-05-18Remove parts from HomogeneousAggregatedos-reis1-424/+421
2013-05-18 * algebra/aggcat.spad.pamphlet: Tidy.dos-reis1-670/+668
2013-05-18 * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename fromdos-reis1-1113/+1114
members to avoid semantics clash.
2013-05-18 * algebra/aggcat.spad.pamphlet: Replace uses of parts by members.dos-reis1-9888/+9888
2013-05-18 * algebra/attreg.spad.pamphlet (AttributeRegistry): Removedos-reis1-9888/+9888
shallowlyMutble. * algebra/aggcat.spad.pamphlet (BagAggregate): Extend ShallowlyMutableAggregate. (ExtensibleLinearAggregate): Likewise. * algebra/mset.spad.pamphlet (Multiset): Likewise. * algebra/tree.spad.pamphlet (Tree): Likewise.
2013-05-18 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.dos-reis1-4726/+4727
2013-05-17Update databasesdos-reis1-1/+1
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis1-10223/+10223
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-646/+645
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17Update databasedos-reis1-6/+6
2013-05-16 * algebra/sortpak.spad.pamphlet (SortPackage): Have seconddos-reis1-541/+541
parameter satisfy FiniteAggregate A instead of requiring attribute finiteAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now extends FiniteAggregate. Remove finiteAggregate attribute.
2013-05-16 * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Removedos-reis1-1/+1
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarilydos-reis1-1/+1
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/data.spad.pamphlet (Byte): Remove redundantdos-reis1-1/+1
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.dos-reis1-10217/+10229
* algebra/exposed.lsp.pamphlet: Expose it.
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):dos-reis1-423/+420
Remove redundant declaration for parts.
2013-05-13Update databasesdos-reis1-1/+1
2013-05-13 Remove IndecedVector.dos-reis1-9404/+9404
2013-05-13 * algebra/carten.spad.pamphlet (CartesianTensor): Usedos-reis1-1/+1
PrimitiveArray in lieu of 0-based IndexedVector.
2013-05-12fix databases corruptiondos-reis1-1/+1
2013-05-12 * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove.dos-reis1-1/+1
(SquareMatrix) [ZERO, ONE]: Likewise.
2013-05-12 * algebra/catdef.spad.pamphlet (OrderedRing): Extenddos-reis1-1/+1
CharactericZero too.
2013-05-11 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Renamedos-reis1-134/+134
from InnerIndexedTwoDimensionalArray. Adjust users.
2013-05-11 Remove IndexedTwoDimensionalArray.dos-reis1-9892/+9892
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 05:13:30 +0000