Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2013-05-17 | * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial) | dos-reis | 5 | -7/+13 | |
[tableForDiscreteLogarithm]: Don't use pretend where checked coercion is intended. * algebra/pf.spad.pamphlet (InnerPrimeField) [tableForDiscreteLogarithm]: Likewise. | |||||
2013-05-17 | Update database | dos-reis | 5 | -17/+17 | |
2013-05-17 | * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]: | dos-reis | 3 | -4/+10 | |
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 | 10 | -596/+605 | |
parameter satisfy FiniteAggregate A instead of requiring attribute finiteAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now extends FiniteAggregate. Remove finiteAggregate attribute. | |||||
2013-05-16 | Update release notes | dos-reis | 1 | -0/+14 | |
2013-05-16 | * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Remove | dos-reis | 8 | -33/+39 | |
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarily | dos-reis | 17 | -288/+344 | |
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 | 8 | -23/+27 | |
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise. | |||||
2013-05-16 | * algebra/aggcat.spad.pamphlet (FiniteAggregate): New. | dos-reis | 10 | -18714/+18795 | |
* algebra/exposed.lsp.pamphlet: Expose it. | |||||
2013-05-16 | * interp/compiler.boot (unknownTypeError): Simplify. | dos-reis | 3 | -4/+15 | |
* interp/define.boot (dbClearForCompilation!): Clear more fields. | |||||
2013-05-15 | * interp/compiler.boot (comp2): Leave categories alone. | dos-reis | 2 | -2/+7 | |
2013-05-15 | * interp/compiler.boot (comp2): Don't test for $bootStrapMode. | dos-reis | 2 | -2/+5 | |
2013-05-15 | Fix typo | dos-reis | 1 | -1/+1 | |
2013-05-15 | Revert accidental commit rev 2862 from experimental tree | dos-reis | 3 | -5/+85 | |
2013-05-15 | Add DB documentation accessor | dos-reis | 2 | -0/+7 | |
2013-05-15 | * interp/define.boot (dbClearForCompilation!): New. | dos-reis | 5 | -88/+18 | |
(compDefineFunctor1): Use it. | |||||
2013-05-15 | * interp/nruncomp.boot (NRTputInHead): Tidy. | dos-reis | 2 | -15/+20 | |
2013-05-15 | * interp/g-opt.boot (quoteMode): New. | dos-reis | 2 | -3/+15 | |
(optRetract): Use it. (optPullback): Likewise. | |||||
2013-05-15 | * interp/define.boot (checkAndDeclare): Constructor parameter | dos-reis | 3 | -10/+19 | |
shadowing. * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: Lose last parameter. Adjust callers. | |||||
2013-05-14 | * interp/c-util.boot (cleanParameterList!): New. | dos-reis | 6 | -15/+30 | |
* interp/define.boot (spadCompileOrSetq): Use it. | |||||
2013-05-14 | Move lispy stuff to lisp-backend.boot | dos-reis | 2 | -185/+185 | |
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): | dos-reis | 7 | -443/+443 | |
Remove redundant declaration for parts. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Test | dos-reis | 4 | -4/+16 | |
for BasicType satisfaction instead of existence of =. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]: | dos-reis | 2 | -15/+15 | |
Move implementation from TwoDimensionalArrayCategory. | |||||
2013-05-14 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move | dos-reis | 2 | -37/+35 | |
defaults to InnerTwoDimensionalArray. | |||||
2013-05-14 | * graph/include/G.h (GCstruct::GCchar): Increase length to 12. | dos-reis | 2 | -1/+5 | |
2013-05-14 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) | dos-reis | 2 | -2/+9 | |
[row, column]: Fix off-by-one thinko. | |||||
2013-05-13 | * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Move | dos-reis | 2 | -23/+17 | |
row column implementation to InnerTwoDimensionalArray. (InnerTwoDimensionalArray): Simplify row and column implementation. | |||||
2013-05-13 | Update databases | dos-reis | 5 | -15/+15 | |
2013-05-13 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inherit | dos-reis | 3 | -25/+17 | |
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 | 2 | -40/+9 | |
2013-05-13 | * interp/g-opt.boot (%array2list): New side-effect free opcode. | dos-reis | 4 | -1/+18 | |
* interp/lisp-backend.boot: Expand it. * algebra/array1.spad.pamphlet (PrimitiveArray): Implement maxIndex, parts, and members. | |||||
2013-05-13 | Remove obfuscation | dos-reis | 2 | -3/+2 | |
2013-05-13 | Remove IndecedVector. | dos-reis | 11 | -16660/+16612 | |
2013-05-13 | * algebra/carten.spad.pamphlet (CartesianTensor): Use | dos-reis | 7 | -3807/+3596 | |
PrimitiveArray in lieu of 0-based IndexedVector. | |||||
2013-05-12 | * interp/database.boot (getConstructorModemap): Revert previous change. | dos-reis | 2 | -2/+6 | |
2013-05-12 | fix databases corruption | dos-reis | 5 | -7/+7 | |
2013-05-12 | * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove. | dos-reis | 7 | -13/+15 | |
(SquareMatrix) [ZERO, ONE]: Likewise. | |||||
2013-05-12 | * algebra/catdef.spad.pamphlet (OrderedRing): Extend | dos-reis | 9 | -34/+38 | |
CharactericZero too. | |||||
2013-05-11 | * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Rename | dos-reis | 11 | -478/+482 | |
from InnerIndexedTwoDimensionalArray. Adjust users. | |||||
2013-05-11 | Remove IndexedTwoDimensionalArray. | dos-reis | 12 | -19065/+19251 | |
2013-05-11 | Consistently use OIL opcodes for abstractions | dos-reis | 9 | -33/+33 | |
2013-05-11 | Fix opcode for references to domain-wide entities | dos-reis | 2 | -5/+5 | |
2013-05-11 | Fix location of opposite? implementation | dos-reis | 2 | -2/+4 | |
2013-05-11 | * algebra/array2.spad.pamphlet: Cleanu up. | dos-reis | 2 | -48/+24 | |
2013-05-11 | * algebra/indexedp.spad.pamphlet | dos-reis | 2 | -0/+16 | |
(IndexedDirectProductAbelianMonoid) [opposite?]: Implement. | |||||
2013-05-11 | Remove IndexedMatrix as unused | dos-reis | 12 | -18179/+18097 | |
2013-05-11 | Introduce opcodes for arrays constructions | dos-reis | 9 | -38/+60 | |
2013-05-10 | Update src/algebra/Makefile for new defaults | dos-reis | 2 | -4/+4 | |
2013-05-10 | * algebra/indexedp.spad.pamphlet | dos-reis | 2 | -11/+19 | |
(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively. |