Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-05-28 | Add DB parameter to compNoStacking | dos-reis | 1 | -0/+9 | |
2013-05-28 | Have compDefine take a DB parameter | dos-reis | 1 | -0/+5 | |
2013-05-27 | * interp/sys-utility.boot ($ERASE): Remove. | dos-reis | 1 | -0/+4 | |
2013-05-27 | Rename $FINDFILE to findFile/ | dos-reis | 1 | -0/+4 | |
2013-05-27 | Rename MAKE-FULL-FILENAME to makeFullFilename. | dos-reis | 1 | -0/+5 | |
2013-05-27 | * interp/nlib.lisp (GET-DIRECTORY-LIST): Move to sys-utility.boot. | dos-reis | 1 | -0/+4 | |
2013-05-27 | Remove and . | dos-reis | 1 | -0/+7 | |
2013-05-27 | Define getWorkingDirectory via FFI. | dos-reis | 1 | -0/+6 | |
2013-05-26 | Rename MAKE-FULL-NAMESTRING to makeFullFilePath and implement in Boot. | dos-reis | 1 | -1/+6 | |
2013-05-26 | Define lexicographical ordering on Bits in Spad | dos-reis | 1 | -0/+5 | |
2013-05-26 | Rename MAKE-FILENAME to makeFilename and re-implement in Boot. | dos-reis | 1 | -0/+9 | |
2013-05-26 | Rename ADDPTIONS to addCompilerOption and implement in Boot. | dos-reis | 1 | -0/+5 | |
2013-05-26 | * algebra/logic.spad.pamphlet: New file. | dos-reis | 1 | -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]: Rename | dos-reis | 1 | -0/+5 | |
from nniBump. Fix thinko. | |||||
2013-05-25 | * algebra/cycles.spad.pamphlet (alternating): Accept non-negative input | dos-reis | 1 | -0/+4 | |
2013-05-25 | * utils/command.cc (print_usage): Document --verbose. | dos-reis | 1 | -0/+4 | |
2013-05-25 | * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject): | dos-reis | 1 | -0/+5 | |
Define Rep, do not use base-domain form. | |||||
2013-05-23 | * algebra/stream.spad.pamphlet (LazyStreamAggregate) [entries]: | dos-reis | 1 | -0/+5 | |
Define unconditionally, even it it does not make much sense in general. | |||||
2013-05-22 | Replace Lisp-level structure with Boot datatype | dos-reis | 1 | -0/+4 | |
2013-05-22 | * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend | dos-reis | 1 | -0/+7 | |
Aggregate only. Adjust users. (BagAggregate): Explicitly extend HomogeneousAggregate. (AssociationListAggregate): Extend ShallowlyMutableAggregate. | |||||
2013-05-21 | * algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]: | dos-reis | 1 | -0/+6 | |
Implement default. * algebra/list.spad.pamphlet (List) [map!]: Likewise. | |||||
2013-05-21 | Use DB data structure directly. | dos-reis | 1 | -0/+1 | |
2013-05-20 | * interp/database.boot (getConstructorAbbreviationFromDB): Use DB | dos-reis | 1 | -0/+5 | |
data structure directtly. | |||||
2013-05-20 | * algebra/aggcat.spad.pamphlet (Collection) [find]: Move to | dos-reis | 1 | -0/+5 | |
FiniteAggregate. | |||||
2013-05-20 | Use Functorial more often. | dos-reis | 1 | -0/+14 | |
2013-05-19 | Eradicate attribute shallowlyMutable. | dos-reis | 1 | -0/+8 | |
2013-05-19 | * algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate. | dos-reis | 1 | -0/+4 | |
2013-05-19 | * algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate. | dos-reis | 1 | -0/+4 | |
2013-05-19 | * algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate. | dos-reis | 1 | -0/+4 | |
2013-05-19 | * algebra/newdata.spad.pamphlet (SplittingTree): Include | dos-reis | 1 | -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-reis | 1 | -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-reis | 1 | -0/+6 | |
(UnaryRecursiveAggregate): Make definiton conditional. * algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise. | |||||
2013-05-19 | * interp/define.boot (compDefineFunctor1): Use the current | dos-reis | 1 | -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-reis | 1 | -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-reis | 1 | -0/+4 | |
2013-05-19 | Tidy getSignature | dos-reis | 1 | -0/+4 | |
2013-05-19 | * algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New | dos-reis | 1 | -0/+6 | |
local function. [SFunction]: Use it. | |||||
2013-05-19 | * algebra/cycles.spad.pamphlet (CycleIndicators) | dos-reis | 1 | -0/+5 | |
[complete,alternating]: Change input type to NonNegativeInteger. | |||||
2013-05-19 | * interp/define.boot (knownPred): Take a memo-table as third parameter. | dos-reis | 1 | -0/+4 | |
2013-05-18 | * algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute | dos-reis | 1 | -0/+5 | |
finiteAggregate. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet (Collection) [reduce]: Remove. | dos-reis | 1 | -0/+5 | |
Remove redundant defaults. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Move | dos-reis | 1 | -0/+5 | |
defaults for = and coerce to FiniteAggregate. Remove the rest. | |||||
2013-05-18 | Add reduce overloads fo FiniteAggregate | dos-reis | 1 | -0/+5 | |
2013-05-18 | Remove parts from HomogeneousAggregate | dos-reis | 1 | -0/+5 | |
2013-05-18 | Use members, not parts | dos-reis | 1 | -0/+16 | |
2013-05-18 | Define members, not parts | dos-reis | 1 | -0/+17 | |
2013-05-18 | * algebra/aggcat.spad.pamphlet: Tidy. | dos-reis | 1 | -0/+4 | |
2013-05-18 | * algebra/mset.spad.pamphlet (Multiset) [unique]: Rename from | dos-reis | 1 | -0/+5 | |
members to avoid semantics clash. | |||||
2013-05-18 | * algebra/aggcat.spad.pamphlet: Replace uses of parts by members. | dos-reis | 1 | -0/+4 | |
2013-05-18 | * algebra/attreg.spad.pamphlet (AttributeRegistry): Remove | dos-reis | 1 | -0/+10 | |
shallowlyMutble. * algebra/aggcat.spad.pamphlet (BagAggregate): Extend ShallowlyMutableAggregate. (ExtensibleLinearAggregate): Likewise. * algebra/mset.spad.pamphlet (Multiset): Likewise. * algebra/tree.spad.pamphlet (Tree): Likewise. |