aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2013-05-20Add Functorial categorydos-reis10-18171/+18269
2013-05-20Fix up thinkosdos-reis7-18063/+18081
2013-05-20Update databasesdos-reis5-786/+783
2013-05-20Tidy KeyedDictionarydos-reis1-2/+3
2013-05-19Eradicate attribute shallowlyMutable.dos-reis10-18097/+18081
2013-05-19Use ShallowlyMutableAggregate.dos-reis8-812/+810
2013-05-19 * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis2-5/+9
2013-05-19 * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis2-2/+6
2013-05-19 * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis2-2/+6
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis10-1095/+1080
ShallowlyMutableAggregate S in exports. * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude ShallowlyMutableAggregate P. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-19 Eradicate attribute finiteAggregate.dos-reis3-75/+47
* algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Remove exports conditional aatribute finiteAggregate. (TableAggregate): Remove spirous definitions. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Put definitions for FiniteAgregate exports under appropriate condition.
2013-05-19 * algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export.dos-reis8-766/+772
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
2013-05-19 * interp/define.boot (compDefineFunctor1): Use the currentdos-reis3-16/+21
instantiation form when adding modemaps from category. (partialSignature?): New. (refineDefinitionSignature): Use full completion from getSignature. * interp/compiler.boot (compIterator): Simplify.
2013-05-19 * interp/define.boot (sourceMatches): New.dos-reis2-2/+36
(getDollarName): Likewise. (getSignature): Them. Tidy. (setDollarName): New. (compDefineFunctor1): Use it.
2013-05-19 * interp/define.boot (getSignature): Third parameter need not be fluid.dos-reis2-4/+8
2013-05-19Tidy getSignaturedos-reis2-8/+10
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: Newdos-reis7-7/+18
local function. [SFunction]: Use it.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators)dos-reis7-14/+19
[complete,alternating]: Change input type to NonNegativeInteger.
2013-05-19 * interp/define.boot (knownPred): Take a memo-table as third parameter.dos-reis2-19/+43
2013-05-18 * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attributedos-reis7-98/+101
finiteAggregate.
2013-05-18Tidy Collectiondos-reis6-734/+734
2013-05-18Tidydos-reis6-659/+659
2013-05-18 * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.dos-reis8-750/+720
Remove redundant defaults.
2013-05-18 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Movedos-reis2-19/+10
defaults for = and coerce to FiniteAggregate. Remove the rest.
2013-05-18Add reduce overloads fo FiniteAggregatedos-reis7-767/+799
2013-05-18Use FiniteAggregate instead of finiteAggregatedos-reis3-11/+4
2013-05-18document parts's removaldos-reis1-0/+3
2013-05-18Remove parts from HomogeneousAggregatedos-reis8-555/+554
2013-05-18Use members, not partsdos-reis14-26/+42
2013-05-18Define members, not partsdos-reis15-44/+53
2013-05-18 * algebra/aggcat.spad.pamphlet: Tidy.dos-reis7-827/+829
2013-05-18 * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename fromdos-reis8-4632/+4641
members to avoid semantics clash.
2013-05-18 * algebra/aggcat.spad.pamphlet: Replace uses of parts by members.dos-reis8-18139/+18164
2013-05-18 * algebra/attreg.spad.pamphlet (AttributeRegistry): Removedos-reis10-18143/+18161
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/tree.spad.pamphlet(BinaryTreeCategory): Extenddos-reis4-37/+44
ShallowlyMutableAggregate S. (BinarySearchTree): Remove redundant shallowlyMutable attribute. (BalancedBinaryTree): Likewise.
2013-05-18 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.dos-reis11-9261/+9302
2013-05-17Update databasesdos-reis5-10/+10
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults.dos-reis2-2/+13
(Aggregate): Remove default implementation of empty?
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis10-18718/+18733
implementation for empty?.
2013-05-17 * algebra/aggcat.spad.pamphlet (TableAggregate): Now extenddos-reis12-139/+152
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-reis10-709/+713
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17 * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial)dos-reis5-7/+13
[tableForDiscreteLogarithm]: Don't use pretend where checked coercion is intended. * algebra/pf.spad.pamphlet (InnerPrimeField) [tableForDiscreteLogarithm]: Likewise.
2013-05-17Update databasedos-reis5-17/+17
2013-05-17 * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]:dos-reis3-4/+10
Change return type to instance of Maybe. * algebra/list.spad.pamphle (AssociationList): Reflect change.
2013-05-16 * algebra/sortpak.spad.pamphlet (SortPackage): Have seconddos-reis10-596/+605
parameter satisfy FiniteAggregate A instead of requiring attribute finiteAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now extends FiniteAggregate. Remove finiteAggregate attribute.
2013-05-16Update release notesdos-reis1-0/+14
2013-05-16 * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Removedos-reis8-33/+39
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarilydos-reis17-288/+344
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-reis8-23/+27
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.dos-reis10-18714/+18795
* algebra/exposed.lsp.pamphlet: Expose it.