aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/operation.daase
AgeCommit message (Collapse)AuthorFilesLines
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
2013-05-11Remove IndexedMatrix as unuseddos-reis1-9865/+9865
2013-05-11Introduce opcodes for arrays constructionsdos-reis1-1/+1
2013-05-10Add opposite? and annihilate? exports.dos-reis1-10422/+10424
2013-05-09 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis1-1240/+1243
[combineWithIf]: New.
2013-05-07Tidy indexed direct product domainsdos-reis1-2/+2
2013-05-07 * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.dos-reis1-9859/+9863
2012-02-25 * algebra/catdef.spad.pamphlet (BinaryOperatorCategory): New.dos-reis1-10770/+10781
(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-reis1-1/+1
external name printing. Do not call ncParseFromString.
2012-02-15 * algebra/catdef.spad.pamphlet (Ring): Extends SemiRing.dos-reis1-10471/+10473
(Dioid): New. Extend OrderedAbelianMonoid and SemiRing. * algebra/exposed.lsp.pamphlet: Expose Dioid.
2012-02-07 * interp/lisplib.boot (dbLocateModule): New.dos-reis1-10207/+10211
(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-reis1-10197/+10196
(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-reis1-10193/+10183
implementation. * algebra/boolean.spad.pamphlet (KleeneTrivalentLogic): Now satisfy Finite. Use Maybe Boolean as representation.
2011-10-26 * interp/postpar.boot (postSignature): Tidy.dos-reis1-1/+1
* 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-reis1-1/+1
2011-10-22 * interp/br-op2.boot (htSayExplicitExports): Don't forget possibledos-reis1-1/+1
constant marker in exported signatures. * interp/cattable.boot (simpHas): Likewise. * interp/format.boot (form2String1): Likewise. * interp/i-eval.boot (evaluateSignature): Likewise. * interp/i-funsel.boot (hasCaty): Likewise. (hasAttSig): Likewise. * interp/define.boot (extendsCategory): Likewise. (extendsCategoryBasic): Likewise. (catExtendsCat?): Likewise. (mkExportFromDescription): New. (mkCategoryPackage): Use it. * boot/tokens.boot: Add new selectors: mapOpsig, mapOperation, mapPredicate, and mapImpl.
2011-10-21 * interp/define.boot (compDefineCapsuleFunction): Reimplementdos-reis1-1/+1
signature inference. (hasSigInTargetCategory): Implement what the documentation says: infer the signature from the target category, not local declaration.
2011-10-19 * interp/postpar.boot (postNormalizeName): New.dos-reis1-1/+1
(postAtom): Use it. (postMDef): Do not generate artificial list of nils. Leave left-hand-side as written in source code. * interp/compiler.boot (compMacro): Tidy. * interp/define.boot (checkRepresentation): Likewise. * interp/parse.boot (parseMDEF): Likewise. * algebra/syntax.spad.pamphlet (MacroAst): Adjust.
2011-10-18 * interp/postpar.boot (displayPreCompilationErrors): Dot not checkdos-reis1-1/+1
for interactive mode. (postBigFloat): Likewise. (postDef): Likewise. (postMDef): Likewise. (tuple2List): Likewise. (postReduce): Likewise. (postQUOTE): Remove. (postQuot): Likewise. (postOp): Likewise. (postTran): Adjust. * interp/newaux.lisp: Replace %LET with ':='. * interp/property.lisp: Likewise. * interp/g-util.boot (getTypeOfSyntax): Likewise. * interp/define.boot (checkRepresentation): Likewise. (doIt): Likewise. * interp/compiler.boot (compSetq): Likewise. (compRecoverGuard): Likewise. (compReduce1): Likewise. * interp/c-util.boot (lhsOfAssignment): Likewise. (isAlmostSimple): Likewise. * interp/c-doc.boot (recordAttributeDocumentation): Likewise. * interp/parse.boot (parseLeftArrow): Remove. (parseLETD): Likewise. (parseAssign): Rename from parseLET. * algebra/syntax.spad.pamphlet (SpadAst): Handle both cases.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 02:26:32 +0000