aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/aggcat.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2015-12-31Avoid modulus bias in 'random()' usage.Gabriel Dos Reis1-1/+1
2013-06-17 * algebra/aggcat.spad.pamphlet (EltableAggregate): Weakendos-reis1-2/+2
requirement on first parameter. (IndexedAggregate): Likewise.
2013-05-22 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extenddos-reis1-6/+8
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate.
2013-05-21 * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]:dos-reis1-7/+7
Implement default. * algebra/list.spad.pamphlet (List) [map!]: Likewise.
2013-05-20 * algebra/aggcat.spad.pamphlet (Collection) [find]: Move todos-reis1-4/+4
FiniteAggregate.
2013-05-20 Use Functorial more often.dos-reis1-1/+1
2013-05-20Add Functorial categorydos-reis1-10/+6
2013-05-20Fix up thinkosdos-reis1-1/+0
2013-05-20Tidy KeyedDictionarydos-reis1-2/+3
2013-05-19Eradicate attribute shallowlyMutable.dos-reis1-11/+6
2013-05-19Use ShallowlyMutableAggregate.dos-reis1-11/+11
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis1-1/+1
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-reis1-35/+0
* 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-reis1-9/+8
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
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-reis1-32/+6
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-reis1-6/+2
2013-05-18Remove parts from HomogeneousAggregatedos-reis1-5/+2
2013-05-18 * algebra/aggcat.spad.pamphlet: Tidy.dos-reis1-16/+16
2013-05-18 * algebra/aggcat.spad.pamphlet: Replace uses of parts by members.dos-reis1-41/+41
2013-05-18 * algebra/attreg.spad.pamphlet (AttributeRegistry): Removedos-reis1-6/+3
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-0/+20
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-reis1-3/+5
implementation for empty?.
2013-05-17 * algebra/aggcat.spad.pamphlet (TableAggregate): Now extenddos-reis1-56/+55
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-14/+11
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17 * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]:dos-reis1-2/+2
Change return type to instance of Maybe. * algebra/list.spad.pamphle (AssociationList): Reflect change.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarilydos-reis1-10/+6
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-0/+49
* algebra/exposed.lsp.pamphlet: Expose it.
2011-12-03 * interp/g-util.boot (hasNoLeave?): Move from g-opt.boot.dos-reis1-0/+2
(mkLabelled): New. (mkBind): Likewise. * interp/g-opt.boot (groupVariableDefinitions): Use them. * algebra/aggcat.spad.pamphlet (ListAggregate) [merge!]: Declare local variables `r' and `s' before assigning to them.
2011-05-19 * algebra/aggcat.spad.pamphlet (Aggregate) [more?,less?,size?]:dos-reis1-25/+7
Move to StreamAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Don't implement them. * algebra/tree.spad.pamphlet (Tree): Likewise.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-4/+4
greater than 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-4/+6
less than 0.
2010-06-26 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Satisfydos-reis1-2/+8
BasicType if element type satisfies it.
2010-06-25 * interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.dos-reis1-1/+1
* interp/g-util.boot: Expand it. * algebra/aggcat.spad.pamphlet: Cleanup. * algebra/any.spad.pamphlet: Likewise. * algebra/boolean.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/laurent.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/mappkg.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/padic.spad.pamphlet: Likewise. * algebra/pattern.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise. * algebra/table.spad.pamphlet: Likewise.
2010-06-13 * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) dos-reis1-10/+17
[#, cycleEntry, cycleLength]: Tidy. (ListAggregate) [position]: Likewise. * algebra/string.spad.pamphlet (IndexedString) [replace,split, leftTrim, rightTrim]: Likewise.
2010-06-13 * algebra/aggcat.spad.pamphlet (OneDimensionalArrayAggregate)dos-reis1-16/+31
[merge,insert,delete]: Tidy.
2010-04-26 * algebra/carten.spad.pamphlet (CartesianTensor): Satisfydos-reis1-5/+2
instantiation of Eltable. * algebra/clifford.spad.pamphlet (QuadraticForm): Likewise. * algebra/domain.spad.pamphlet (DomainTemplate): Likewise. * algebra/files.spad.pamphlet (Library): Likewise. * algebra/aggcat.spad.pamphlet (LinearAggregate): Extend instantiation of Eltable. * algebra/naalg.spad.pamphlet (FiniteRankNonAssociativeAlgebra): Likewise. * algebra/pscat.spad.pamphlet (UnivariatePowerSeriesCategory): Likewise. * algebra/sex.spad.pamphlet (SExpressionCategory): Likewise. * algebra/Makefile.pamphlet: Update rules.
2010-04-25 * algebra/aggcat.spad.pamphlet: Tidy.dos-reis1-10/+9
2010-04-04 * algebra/boolean.spad.pamphlet (BooleanLogic): New.dos-reis1-10/+1
(PropositionalLogic): Extend it. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Assert membership to BooleanLogic.
2010-02-17 * algebra/aggcat.spad.pamphlet: Remove unnecessary call to void.dos-reis1-1/+0
* algebra/algext.spad.pamphlet: Likewise. * algebra/catdef.spad.pamphlet: Likewise. * algebra/curve.spad.pamphlet: Likewise. * algebra/d01agents.spad.pamphlet: Likewise. * algebra/d02agents.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffhom.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/formula.spad.pamphlet: Likewise. * algebra/fortmac.spad.pamphlet: Likewise. * algebra/fortpak.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/forttyp.spad.pamphlet: Likewise. * algebra/generic.spad.pamphlet: Likewise. * algebra/kl.spad.pamphlet: Likewise. * algebra/mathml.spad.pamphlet: Likewise. * algebra/newdata.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pfo.spad.pamphlet: Likewise. * algebra/regset.spad.pamphlet: Likewise. * algebra/routines.spad.pamphlet: Likewise. * algebra/setorder.spad.pamphlet: Likewise. * algebra/sups.spad.pamphlet: Likewise. * algebra/symbol.spad.pamphlet: Likewise. * algebra/tex.spad.pamphlet: Likewise.
2010-02-17 * interp/compiler.boot (compAtomWithModemap): Reject niladicdos-reis1-1/+3
functions used as constants. * algebra/aggcat.spad.pamphlet (IndexedAggregate): Add parenthesis for call to niladic function 'void'. * algebra/algext.spad.pamphlet (SimpleAlgebraicExtension): Likewise. * algebra/curve.spad.pamphlet (RadicalFunctionField): Likewise. (AlgebraicFunctionField): Likewise. * algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise. * algebra/pfo.spad.pamphlet (FunctionSpaceReduce): Likewise. * algebra/setorder.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Add parenthesis for call to niladic function 'representationType'. * algebra/ffnb.spad.pamphlet (FiniteFieldNormalBasisExtensionByPolynomial): Likewise for normalElement. * algebra/float.spad.pamphlet (Float): Likewise for OMencodingXML, pi, log2, log10, digits. * algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise for dimension. * algebra/fraction.spad.pamphlet (Fraction): Likewise for OMencodingXML. * algebra/gaussian.spad.pamphlet (Complex): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/list.spad.pamphlet (List): Likewise. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/string.spad.pamphlet (String): Likewise. * algebra/symbol.spad.pamphlet (Symbol): Likewise. * algebra/intrf.spad.pamphlet (TranscendentalIntegration): Likewise for empty. * algebra/kl.spad.pamphlet (SortedCache): Likewise for cache, void. * algebra/newdata.spad.pamphlet (TabulatedComputationPackage): Likewise for usingTable?. * algebra/omserver.spad.pamphlet (OpenMathServerPackage): Likewise for OMencodingUnknown. * algebra/plot.spad.pamphlet (Plot): Likewise for adaptive?. * algebra/plot3d.spad.pamphlet (Plot3D): Likewise for adaptive3D?.
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-06-11 * algebra/: Don't quote '!' at end of names.dos-reis1-200/+200
2009-06-11 * algebra/: Remove quotes from operator namaes in signatures.dos-reis1-17/+17
2009-04-23 * interp/compiler.boot ($IOFormDomains): New.dos-reis1-1/+1
(compAtom): Allow implicit coercion to IO forms for values of fundamental types. (compSymbol): Likewise. (compQuote): Likewise. * algebra/aggcat.spad.pamphlet (coerce$BinaryRecursiveAggregate): Don't hard code empty bracket.