aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2013-05-27Define getWorkingDirectory via FFI.dos-reis1-0/+6
2013-05-26Rename MAKE-FULL-NAMESTRING to makeFullFilePath and implement in Boot.dos-reis1-1/+6
2013-05-26Define lexicographical ordering on Bits in Spaddos-reis1-0/+5
2013-05-26Rename MAKE-FILENAME to makeFilename and re-implement in Boot.dos-reis1-0/+9
2013-05-26Rename ADDPTIONS to addCompilerOption and implement in Boot.dos-reis1-0/+5
2013-05-26 * algebra/logic.spad.pamphlet: New file.dos-reis1-0/+11
* algebra/boolean.spad.pamphlet (Logic): Move there. (BooleanLogic): Likewise. (PropositionalLogic): Likewise. (PropositionalFormula): Likewise. (PropositionalFormulaFunctions1): Likewise. (PropositionalFormulaFunctions2): Likewise. (KleeneTrivalentLogic): Likewise.
2013-05-25 * algebra/cycles.spad.pamphlet (CycleIndicators) [spol]: Renamedos-reis1-0/+5
from nniBump. Fix thinko.
2013-05-25 * algebra/cycles.spad.pamphlet (alternating): Accept non-negative inputdos-reis1-0/+4
2013-05-25 * utils/command.cc (print_usage): Document --verbose.dos-reis1-0/+4
2013-05-25 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject):dos-reis1-0/+5
Define Rep, do not use base-domain form.
2013-05-23 * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]:dos-reis1-0/+5
Define unconditionally, even it it does not make much sense in general.
2013-05-22Replace Lisp-level structure with Boot datatypedos-reis1-0/+4
2013-05-22 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extenddos-reis1-0/+7
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate.
2013-05-21 * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]:dos-reis1-0/+6
Implement default. * algebra/list.spad.pamphlet (List) [map!]: Likewise.
2013-05-21Use DB data structure directly.dos-reis1-0/+1
2013-05-20 * interp/database.boot (getConstructorAbbreviationFromDB): Use DBdos-reis1-0/+5
data structure directtly.
2013-05-20 * algebra/aggcat.spad.pamphlet (Collection) [find]: Move todos-reis1-0/+5
FiniteAggregate.
2013-05-20 Use Functorial more often.dos-reis1-0/+14
2013-05-19Eradicate attribute shallowlyMutable.dos-reis1-0/+8
2013-05-19 * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-0/+4
2013-05-19 * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-0/+4
2013-05-19 * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.dos-reis1-0/+4
2013-05-19 * algebra/newdata.spad.pamphlet (SplittingTree): Includedos-reis1-0/+8
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-0/+9
* 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-0/+6
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.
2013-05-19 * interp/define.boot (compDefineFunctor1): Use the currentdos-reis1-0/+8
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-reis1-0/+8
(getDollarName): Likewise. (getSignature): Them. Tidy. (setDollarName): New. (compDefineFunctor1): Use it.
2013-05-19 * interp/define.boot (getSignature): Third parameter need not be fluid.dos-reis1-0/+4
2013-05-19Tidy getSignaturedos-reis1-0/+4
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: Newdos-reis1-0/+6
local function. [SFunction]: Use it.
2013-05-19 * algebra/cycles.spad.pamphlet (CycleIndicators)dos-reis1-0/+5
[complete,alternating]: Change input type to NonNegativeInteger.
2013-05-19 * interp/define.boot (knownPred): Take a memo-table as third parameter.dos-reis1-0/+4
2013-05-18 * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attributedos-reis1-0/+5
finiteAggregate.
2013-05-18 * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove.dos-reis1-0/+5
Remove redundant defaults.
2013-05-18 * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Movedos-reis1-0/+5
defaults for = and coerce to FiniteAggregate. Remove the rest.
2013-05-18Add reduce overloads fo FiniteAggregatedos-reis1-0/+5
2013-05-18Remove parts from HomogeneousAggregatedos-reis1-0/+5
2013-05-18Use members, not partsdos-reis1-0/+16
2013-05-18Define members, not partsdos-reis1-0/+17
2013-05-18 * algebra/aggcat.spad.pamphlet: Tidy.dos-reis1-0/+4
2013-05-18 * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename fromdos-reis1-0/+5
members to avoid semantics clash.
2013-05-18 * algebra/aggcat.spad.pamphlet: Replace uses of parts by members.dos-reis1-0/+4
2013-05-18 * algebra/attreg.spad.pamphlet (AttributeRegistry): Removedos-reis1-0/+10
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-reis1-0/+7
ShallowlyMutableAggregate S. (BinarySearchTree): Remove redundant shallowlyMutable attribute. (BalancedBinaryTree): Likewise.
2013-05-18 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.dos-reis1-0/+4
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults.dos-reis1-0/+5
(Aggregate): Remove default implementation of empty?
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis1-0/+5
implementation for empty?.
2013-05-17 * algebra/aggcat.spad.pamphlet (TableAggregate): Now extenddos-reis1-0/+10
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-0/+6
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17 * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial)dos-reis1-0/+8
[tableForDiscreteLogarithm]: Don't use pretend where checked coercion is intended. * algebra/pf.spad.pamphlet (InnerPrimeField) [tableForDiscreteLogarithm]: Likewise.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 09:06:44 +0000