Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-05-17 | * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]: | dos-reis | 1 | -0/+6 | |
Change return type to instance of Maybe. * algebra/list.spad.pamphle (AssociationList): Reflect change. | |||||
2013-05-16 | * algebra/sortpak.spad.pamphlet (SortPackage): Have second | dos-reis | 1 | -0/+8 | |
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): Remove | dos-reis | 1 | -0/+6 | |
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily | dos-reis | 1 | -0/+19 | |
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 redundant | dos-reis | 1 | -0/+8 | |
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): New. | dos-reis | 1 | -0/+5 | |
* algebra/exposed.lsp.pamphlet: Expose it. | |||||
2013-05-16 | * interp/compiler.boot (unknownTypeError): Simplify. | dos-reis | 1 | -0/+5 | |
* interp/define.boot (dbClearForCompilation!): Clear more fields. | |||||
2013-05-15 | * interp/compiler.boot (comp2): Leave categories alone. | dos-reis | 1 | -0/+4 | |
2013-05-15 | * interp/compiler.boot (comp2): Don't test for $bootStrapMode. | dos-reis | 1 | -0/+4 | |
2013-05-15 | Add DB documentation accessor | dos-reis | 1 | -0/+4 | |
2013-05-15 | * interp/define.boot (dbClearForCompilation!): New. | dos-reis | 1 | -0/+5 | |
(compDefineFunctor1): Use it. | |||||
2013-05-15 | * interp/nruncomp.boot (NRTputInHead): Tidy. | dos-reis | 1 | -0/+4 | |
2013-05-15 | * interp/g-opt.boot (quoteMode): New. | dos-reis | 1 | -0/+6 | |
(optRetract): Use it. (optPullback): Likewise. | |||||
2013-05-15 | * interp/define.boot (checkAndDeclare): Constructor parameter | dos-reis | 1 | -1/+8 | |
shadowing. * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: Lose last parameter. Adjust callers. | |||||
2013-05-14 | * interp/c-util.boot (cleanParameterList!): New. | dos-reis | 1 | -0/+5 | |
* interp/define.boot (spadCompileOrSetq): Use it. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): | dos-reis | 1 | -0/+5 | |
Remove redundant declaration for parts. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test | dos-reis | 1 | -0/+5 | |
for BasicType satisfaction instead of existence of =. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]: | dos-reis | 1 | -0/+5 | |
Move implementation from TwoDimensionalArrayCategory. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move | dos-reis | 1 | -0/+5 | |
defaults to InnerTwoDimensionalArray. | |||||
2013-05-14 | * graph/include/G.h (GCstruct::GCchar): Increase length to 12. | dos-reis | 1 | -0/+4 | |
2013-05-14 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) | dos-reis | 1 | -0/+5 | |
[row, column]: Fix off-by-one thinko. | |||||
2013-05-13 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move | dos-reis | 1 | -1/+7 | |
row column implementation to InnerTwoDimensionalArray. (InnerTwoDimensionalArray): Simplify row and column implementation. | |||||
2013-05-13 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit | dos-reis | 1 | -0/+10 | |
empty? and empty from base domain. (TwoDimensionalArray): Attribute shallowlyMutable is already specified by TwoDimensionalArrayCategory. * algebra/matcat.spad.pamphlet (MatricCategory): Attributes shallowlyMutable and finiteAggregate are already specified by TwoDimensionalArrayCategory. | |||||
2013-05-13 | * algebra/array1.spad.pamphlet (IndexedOneDimensionalArray): Tidy. | dos-reis | 1 | -0/+4 | |
2013-05-13 | * interp/g-opt.boot (%array2list): New side-effect free opcode. | dos-reis | 1 | -0/+7 | |
* interp/lisp-backend.boot: Expand it. * algebra/array1.spad.pamphlet (PrimitiveArray): Implement maxIndex, parts, and members. | |||||
2013-05-13 | Remove obfuscation | dos-reis | 1 | -1/+1 | |
2013-05-13 | Remove IndecedVector. | dos-reis | 1 | -0/+6 | |
2013-05-13 | * algebra/carten.spad.pamphlet (CartesianTensor): Use | dos-reis | 1 | -0/+5 | |
PrimitiveArray in lieu of 0-based IndexedVector. | |||||
2013-05-12 | * interp/database.boot (getConstructorModemap): Revert previous change. | dos-reis | 1 | -0/+4 | |
2013-05-12 | * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove. | dos-reis | 1 | -0/+5 | |
(SquareMatrix) [ZERO, ONE]: Likewise. | |||||
2013-05-12 | * algebra/catdef.spad.pamphlet (OrderedRing): Extend | dos-reis | 1 | -0/+6 | |
CharactericZero too. | |||||
2013-05-11 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename | dos-reis | 1 | -0/+5 | |
from InnerIndexedTwoDimensionalArray. Adjust users. | |||||
2013-05-11 | Remove IndexedTwoDimensionalArray. | dos-reis | 1 | -0/+9 | |
2013-05-11 | * algebra/array2.spad.pamphlet: Cleanu up. | dos-reis | 1 | -0/+4 | |
2013-05-11 | * algebra/indexedp.spad.pamphlet | dos-reis | 1 | -0/+5 | |
(IndexedDirectProductAbelianMonoid) [opposite?]: Implement. | |||||
2013-05-11 | Remove IndexedMatrix as unused | dos-reis | 1 | -0/+5 | |
2013-05-11 | Introduce opcodes for arrays constructions | dos-reis | 1 | -0/+9 | |
2013-05-10 | * algebra/indexedp.spad.pamphlet | dos-reis | 1 | -0/+5 | |
(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively. | |||||
2013-05-10 | Add opposite? and annihilate? exports. | dos-reis | 1 | -0/+7 | |
2013-05-10 | The compiler now accepts do-statements | dos-reis | 1 | -0/+7 | |
2013-05-09 | * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject) | dos-reis | 1 | -0/+5 | |
[combineWithIf]: New. | |||||
2013-05-09 | * interp/i-special.boot (evalIF): Generate OIL intermediate | dos-reis | 1 | -0/+6 | |
instruction %otherwise, not Lisp expression T. * interp/slam.boot (isRecurrenceRelation): Likewise. | |||||
2013-05-09 | Simplify copy | dos-reis | 1 | -0/+6 | |
2013-05-08 | Almost pure function bodies are now %redex forms | dos-reis | 1 | -0/+5 | |
2013-05-07 | Tidy linear elements implememtations | dos-reis | 1 | -0/+5 | |
2013-05-07 | Tidy indexed direct product domains | dos-reis | 1 | -0/+8 | |
2013-05-07 | * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain. | dos-reis | 1 | -0/+4 | |
2013-04-08 | misc gui cleanup | dos-reis | 1 | -0/+12 | |
2013-04-07 | small cleanup | dos-reis | 1 | -0/+6 | |
2013-04-06 | Add token representation files | dos-reis | 1 | -0/+8 | |