aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Collapse)AuthorFilesLines
2013-05-19Eradicate attribute shallowlyMutable.dos-reis4-16/+11
2013-05-19Use ShallowlyMutableAggregate.dos-reis3-17/+13
2013-05-19 * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-5/+5
2013-05-19 * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-2/+2
2013-05-19 * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-2/+2
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis4-9/+4
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-reis2-75/+38
* 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-reis2-18/+19
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: Newdos-reis1-2/+7
local function. [SFunction]: Use it.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators)dos-reis1-2/+2
[complete,alternating]: Change input type to NonNegativeInteger.
2013-05-18 * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attributedos-reis1-3/+1
finiteAggregate.
2013-05-18Tidy Collectiondos-reis1-1/+1
2013-05-18Tidydos-reis1-3/+3
2013-05-18 * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.dos-reis2-33/+7
Remove redundant defaults.
2013-05-18 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Movedos-reis1-19/+5
defaults for = and coerce to FiniteAggregate. Remove the rest.
2013-05-18Add reduce overloads fo FiniteAggregatedos-reis1-1/+23
2013-05-18Use FiniteAggregate instead of finiteAggregatedos-reis3-11/+4
2013-05-18Remove parts from HomogeneousAggregatedos-reis2-9/+6
2013-05-18Use members, not partsdos-reis13-26/+26
2013-05-18Define members, not partsdos-reis14-44/+36
2013-05-18 * algebra/aggcat.spad.pamphlet: Tidy.dos-reis1-16/+16
2013-05-18 * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename fromdos-reis1-3/+3
members to avoid semantics clash.
2013-05-18 * algebra/aggcat.spad.pamphlet: Replace uses of parts by members.dos-reis2-44/+42
2013-05-18 * algebra/attreg.spad.pamphlet (AttributeRegistry): Removedos-reis4-15/+5
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-reis3-37/+37
ShallowlyMutableAggregate S. (BinarySearchTree): Remove redundant shallowlyMutable attribute. (BalancedBinaryTree): Likewise.
2013-05-18 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.dos-reis4-2/+25
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults.dos-reis1-2/+8
(Aggregate): Remove default implementation of empty?
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis4-5/+8
implementation for empty?.
2013-05-17 * algebra/aggcat.spad.pamphlet (TableAggregate): Now extenddos-reis5-69/+61
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-reis3-20/+17
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17 * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial)dos-reis4-7/+5
[tableForDiscreteLogarithm]: Don't use pretend where checked coercion is intended. * algebra/pf.spad.pamphlet (InnerPrimeField) [tableForDiscreteLogarithm]: Likewise.
2013-05-17 * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]:dos-reis2-4/+4
Change return type to instance of Maybe. * algebra/list.spad.pamphle (AssociationList): Reflect change.
2013-05-16 * algebra/sortpak.spad.pamphlet (SortPackage): Have seconddos-reis4-12/+9
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-reis2-2/+2
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarilydos-reis11-62/+55
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-reis2-12/+8
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.dos-reis4-2/+56
* algebra/exposed.lsp.pamphlet: Expose it.
2013-05-15Revert accidental commit rev 2862 from experimental treedos-reis3-5/+85
2013-05-15 * interp/define.boot (dbClearForCompilation!): New.dos-reis3-85/+5
(compDefineFunctor1): Use it.
2013-05-15 * interp/define.boot (checkAndDeclare): Constructor parameterdos-reis1-5/+5
shadowing. * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: Lose last parameter. Adjust callers.
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):dos-reis1-2/+0
Remove redundant declaration for parts.
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Testdos-reis1-1/+1
for BasicType satisfaction instead of existence of =.
2013-05-14 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]:dos-reis1-15/+10
Move implementation from TwoDimensionalArrayCategory.
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Movedos-reis1-37/+30
defaults to InnerTwoDimensionalArray.
2013-05-14 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray)dos-reis1-2/+4
[row, column]: Fix off-by-one thinko.
2013-05-13 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Movedos-reis1-22/+10
row column implementation to InnerTwoDimensionalArray. (InnerTwoDimensionalArray): Simplify row and column implementation.
2013-05-13 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inheritdos-reis2-25/+7
empty? and empty from base domain. (TwoDimensionalArray): Attribute shallowlyMutable is already specified by TwoDimensionalArrayCategory. * algebra/matcat.spad.pamphlet (MatricCategory): Attributes shallowlyMutable and finiteAggregate are already specified by TwoDimensionalArrayCategory.
2013-05-13 * algebra/array1.spad.pamphlet (IndexedOneDimensionalArray): Tidy.dos-reis1-40/+5
2013-05-13 * interp/g-opt.boot (%array2list): New side-effect free opcode.dos-reis1-0/+5
* interp/lisp-backend.boot: Expand it. * algebra/array1.spad.pamphlet (PrimitiveArray): Implement maxIndex, parts, and members.
2013-05-13Remove obfuscationdos-reis1-2/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-14 16:27:07 +0000