aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra
AgeCommit message (Collapse)AuthorFilesLines
2013-05-19Eradicate attribute shallowlyMutable.dos-reis5-18081/+18062
2013-05-19Use ShallowlyMutableAggregate.dos-reis5-795/+797
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis5-1086/+1068
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-reis5-748/+747
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: Newdos-reis5-5/+5
local function. [SFunction]: Use it.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators)dos-reis5-12/+12
[complete,alternating]: Change input type to NonNegativeInteger.
2013-05-18 * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attributedos-reis5-95/+95
finiteAggregate.
2013-05-18Tidy Collectiondos-reis5-733/+733
2013-05-18Tidydos-reis5-656/+656
2013-05-18 * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.dos-reis5-717/+708
Remove redundant defaults.
2013-05-18Add reduce overloads fo FiniteAggregatedos-reis5-766/+771
2013-05-18Remove parts from HomogeneousAggregatedos-reis5-546/+543
2013-05-18 * algebra/aggcat.spad.pamphlet: Tidy.dos-reis5-811/+809
2013-05-18 * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename fromdos-reis5-4628/+4629
members to avoid semantics clash.
2013-05-18 * algebra/aggcat.spad.pamphlet: Replace uses of parts by members.dos-reis5-18095/+18118
2013-05-18 * algebra/attreg.spad.pamphlet (AttributeRegistry): Removedos-reis5-18128/+18146
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-reis5-9259/+9269
2013-05-17Update databasesdos-reis5-10/+10
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis5-18713/+18720
implementation for empty?.
2013-05-17 * algebra/aggcat.spad.pamphlet (TableAggregate): Now extenddos-reis5-70/+79
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-reis5-689/+688
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17Update databasedos-reis5-17/+17
2013-05-16 * algebra/sortpak.spad.pamphlet (SortPackage): Have seconddos-reis5-584/+588
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-reis5-31/+31
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarilydos-reis5-226/+270
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-reis5-11/+11
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.dos-reis5-18712/+18734
* algebra/exposed.lsp.pamphlet: Expose it.
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):dos-reis5-441/+438
Remove redundant declaration for parts.
2013-05-13Update databasesdos-reis5-15/+15
2013-05-13 Remove IndecedVector.dos-reis5-16612/+16587
2013-05-13 * algebra/carten.spad.pamphlet (CartesianTensor): Usedos-reis5-3806/+3590
PrimitiveArray in lieu of 0-based IndexedVector.
2013-05-12fix databases corruptiondos-reis5-7/+7
2013-05-12 * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove.dos-reis5-7/+7
(SquareMatrix) [ZERO, ONE]: Likewise.
2013-05-12 * algebra/catdef.spad.pamphlet (OrderedRing): Extenddos-reis5-19/+22
CharactericZero too.
2013-05-11 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Renamedos-reis5-457/+457
from InnerIndexedTwoDimensionalArray. Adjust users.
2013-05-11 Remove IndexedTwoDimensionalArray.dos-reis5-19027/+19229
2013-05-11Remove IndexedMatrix as unuseddos-reis5-18096/+18081
2013-05-11Introduce opcodes for arrays constructionsdos-reis5-8/+8
2013-05-10Add opposite? and annihilate? exports.dos-reis5-19197/+19213
2013-05-09 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis5-4937/+4940
[combineWithIf]: New.
2013-05-07Tidy indexed direct product domainsdos-reis5-22/+30
2013-05-07 * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.dos-reis5-18077/+18090
2012-02-25 * algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.dos-reis5-20024/+20105
(BinaryOperation): Likewise. (IdempotentOperatorCategory): Likewise. (SemiGroupOperatorCategory): Likewise. (SemiGroupOperation): Likewise. (MonoidOperatorCategory): Likewise. (MonoidOperation): Likewise. * algebra/exposed.lsp.pamphlet: Expose them. * algebra/Makefile.in (oa_algebra_layer_0): Include IDEMOPC, SGPOPC, SPGOP, MONOPC, BINOPC. (axiom_algebra_layer_1): Include MONOP.
2012-02-19 * interp/br-data.boot (libConstructorSig): Rename T$ to T fordos-reis5-5/+5
external name printing. Do not call ncParseFromString.
2012-02-15 * algebra/catdef.spad.pamphlet (Ring): Extends SemiRing.dos-reis5-19222/+19247
(Dioid): New. Extend OrderedAbelianMonoid and SemiRing. * algebra/exposed.lsp.pamphlet: Expose Dioid.
2012-02-07 * interp/lisplib.boot (dbLocateModule): New.dos-reis5-18698/+18750
(findModule): Use it. Simplify. (loadLib): Tidy. (genericLoadDB): New. (loadDB): Use it. (loadDBIfCan): New. * interp/c-util.boot (lookupDefiningFunction): Give up gracefully if the domain of computation is not compiled yet. * algebra/Makefile.in ($(OUT)/SPADAST.$(FASLEXT)): Require $(OUT)/SUCHTAST.$(FASLEXT).
2012-02-03 * config/open-axiom.m4 (OPENAXIOM_ALIGNAS_SPECIFIER): New.dos-reis5-18620/+18612
(OPENAXIOM_CHECK_MISC): Use it. src/ * utils/vm.H: Add more VM data structures. * utils/vm.cc (BasicContext::make_operator): Define. * algebra/Makefile.in (SPADFILES): Include syntax.spad and spad-parser.spad.
2012-01-14 * algebra/catdef.spad.pamphlet (Finite) [random]: Provide defaultdos-reis5-18708/+18664
implementation. * algebra/boolean.spad.pamphlet (KleeneTrivalentLogic): Now satisfy Finite. Use Maybe Boolean as representation.
2011-10-26 * interp/postpar.boot (postSignature): Tidy.dos-reis5-90/+90
* interp/parse.boot (transCategoryItem): Remove as dead code. * interp/lisplib.boot (finalizeLisplib): Remove use of removeZeroOne. * interp/cattable.boot (categoryParts): Tidy.
2011-10-23 * interp/compiler.boot (compAtomWithModemap): Handle code-gen here.dos-reis5-53/+53
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 00:41:29 +0000