aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2013-05-18 * algebra/tree.spad.pamphlet(BinaryTreeCategory): Extenddos-reis4-37/+44
ShallowlyMutableAggregate S. (BinarySearchTree): Remove redundant shallowlyMutable attribute. (BalancedBinaryTree): Likewise.
2013-05-18 * algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): New.dos-reis11-9261/+9302
2013-05-17Update databasesdos-reis5-10/+10
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): More defaults.dos-reis2-2/+13
(Aggregate): Remove default implementation of empty?
2013-05-17 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Add defaultdos-reis10-18718/+18733
implementation for empty?.
2013-05-17 * algebra/aggcat.spad.pamphlet (TableAggregate): Now extenddos-reis12-139/+152
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-reis10-709/+713
IndexedAggregate too. Give default implementation for elt. (TableAggregate): Simplify.
2013-05-17 * algebra/ffp.spad.pamphlet (FiniteFieldExtensionByPolynomial)dos-reis5-7/+13
[tableForDiscreteLogarithm]: Don't use pretend where checked coercion is intended. * algebra/pf.spad.pamphlet (InnerPrimeField) [tableForDiscreteLogarithm]: Likewise.
2013-05-17Update databasedos-reis5-17/+17
2013-05-17 * algebra/aggcat.spad.pamphlet (AssociationListAggregate) [assoc]:dos-reis3-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 seconddos-reis10-596/+605
parameter satisfy FiniteAggregate A instead of requiring attribute finiteAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now extends FiniteAggregate. Remove finiteAggregate attribute.
2013-05-16Update release notesdos-reis1-0/+14
2013-05-16 * algebra/polset.spad.pamphlet (GeneralPolynomialSet): Removedos-reis8-33/+39
redundant FiniteAggregate. * algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): Temporarilydos-reis17-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 redundantdos-reis8-23/+27
finiteAggregate attribute. * algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise. (BinarySearchTree): Likewise. (BalancedBinaryTree): Likewise.
2013-05-16 * algebra/aggcat.spad.pamphlet (FiniteAggregate): New.dos-reis10-18714/+18795
* algebra/exposed.lsp.pamphlet: Expose it.
2013-05-16 * interp/compiler.boot (unknownTypeError): Simplify.dos-reis3-4/+15
* interp/define.boot (dbClearForCompilation!): Clear more fields.
2013-05-15 * interp/compiler.boot (comp2): Leave categories alone.dos-reis2-2/+7
2013-05-15 * interp/compiler.boot (comp2): Don't test for $bootStrapMode.dos-reis2-2/+5
2013-05-15Fix typodos-reis1-1/+1
2013-05-15Revert accidental commit rev 2862 from experimental treedos-reis3-5/+85
2013-05-15Add DB documentation accessordos-reis2-0/+7
2013-05-15 * interp/define.boot (dbClearForCompilation!): New.dos-reis5-88/+18
(compDefineFunctor1): Use it.
2013-05-15 * interp/nruncomp.boot (NRTputInHead): Tidy.dos-reis2-15/+20
2013-05-15 * interp/g-opt.boot (quoteMode): New.dos-reis2-3/+15
(optRetract): Use it. (optPullback): Likewise.
2013-05-15 * interp/define.boot (checkAndDeclare): Constructor parameterdos-reis3-10/+19
shadowing. * algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]: Lose last parameter. Adjust callers.
2013-05-14 * interp/c-util.boot (cleanParameterList!): New.dos-reis6-15/+30
* interp/define.boot (spadCompileOrSetq): Use it.
2013-05-14Move lispy stuff to lisp-backend.bootdos-reis2-185/+185
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory):dos-reis7-443/+443
Remove redundant declaration for parts.
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Testdos-reis4-4/+16
for BasicType satisfaction instead of existence of =.
2013-05-14 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray) [map]:dos-reis2-15/+15
Move implementation from TwoDimensionalArrayCategory.
2013-05-14 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Movedos-reis2-37/+35
defaults to InnerTwoDimensionalArray.
2013-05-14 * graph/include/G.h (GCstruct::GCchar): Increase length to 12.dos-reis2-1/+5
2013-05-14 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray)dos-reis2-2/+9
[row, column]: Fix off-by-one thinko.
2013-05-13 * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Movedos-reis2-23/+17
row column implementation to InnerTwoDimensionalArray. (InnerTwoDimensionalArray): Simplify row and column implementation.
2013-05-13Update databasesdos-reis5-15/+15
2013-05-13 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Inheritdos-reis3-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-reis2-40/+9
2013-05-13 * interp/g-opt.boot (%array2list): New side-effect free opcode.dos-reis4-1/+18
* interp/lisp-backend.boot: Expand it. * algebra/array1.spad.pamphlet (PrimitiveArray): Implement maxIndex, parts, and members.
2013-05-13Remove obfuscationdos-reis2-3/+2
2013-05-13 Remove IndecedVector.dos-reis11-16660/+16612
2013-05-13 * algebra/carten.spad.pamphlet (CartesianTensor): Usedos-reis7-3807/+3596
PrimitiveArray in lieu of 0-based IndexedVector.
2013-05-12 * interp/database.boot (getConstructorModemap): Revert previous change.dos-reis2-2/+6
2013-05-12fix databases corruptiondos-reis5-7/+7
2013-05-12 * algebra/matrix.spad.pamphlet (RectangularMatrix) [ZERO]: Remove.dos-reis7-13/+15
(SquareMatrix) [ZERO, ONE]: Likewise.
2013-05-12 * algebra/catdef.spad.pamphlet (OrderedRing): Extenddos-reis9-34/+38
CharactericZero too.
2013-05-11 * algebra/array2.spad.pamphlet (InnerTwoDimensionalArray): Renamedos-reis11-478/+482
from InnerIndexedTwoDimensionalArray. Adjust users.
2013-05-11 Remove IndexedTwoDimensionalArray.dos-reis12-19065/+19251
2013-05-11Consistently use OIL opcodes for abstractionsdos-reis9-33/+33
2013-05-11Fix opcode for references to domain-wide entitiesdos-reis2-5/+5