Age | Commit message (Collapse) | Author | Files | Lines |
|
IndexedAggregate too. Give default implementation for elt.
(TableAggregate): Simplify.
|
|
[tableForDiscreteLogarithm]: Don't use pretend where checked
coercion is intended.
* algebra/pf.spad.pamphlet (InnerPrimeField)
[tableForDiscreteLogarithm]: Likewise.
|
|
Change return type to instance of Maybe.
* algebra/list.spad.pamphle (AssociationList): Reflect change.
|
|
parameter satisfy FiniteAggregate A instead of requiring attribute
finiteAggregate.
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now
extends FiniteAggregate. Remove finiteAggregate attribute.
|
|
redundant FiniteAggregate.
* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
|
|
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.
|
|
finiteAggregate attribute.
* algebra/tree.spad.pamphlet (BinaryTreeCategory): Likewise.
(BinarySearchTree): Likewise.
(BalancedBinaryTree): Likewise.
|
|
* algebra/exposed.lsp.pamphlet: Expose it.
|
|
|
|
(compDefineFunctor1): Use it.
|
|
shadowing.
* algebra/lodof.spad.pamphlet (SetOfMIntegersInOneToN): [enum]:
Lose last parameter. Adjust callers.
|
|
Remove redundant declaration for parts.
|
|
for BasicType satisfaction instead of existence of =.
|
|
Move implementation from TwoDimensionalArrayCategory.
|
|
defaults to InnerTwoDimensionalArray.
|
|
[row, column]: Fix off-by-one thinko.
|
|
row column implementation to InnerTwoDimensionalArray.
(InnerTwoDimensionalArray): Simplify row and column implementation.
|
|
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.
|
|
|
|
* interp/lisp-backend.boot: Expand it.
* algebra/array1.spad.pamphlet (PrimitiveArray): Implement
maxIndex, parts, and members.
|
|
|
|
|
|
PrimitiveArray in lieu of 0-based IndexedVector.
|
|
(SquareMatrix) [ZERO, ONE]: Likewise.
|
|
CharactericZero too.
|
|
from InnerIndexedTwoDimensionalArray. Adjust users.
|
|
|
|
|
|
|
|
(IndexedDirectProductAbelianMonoid) [opposite?]: Implement.
|
|
|
|
|
|
|
|
(IndexedDirectProductOrderedAbelianMonoid) [<]: Rewrite iteratively.
|
|
|
|
[combineWithIf]: New.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(INITIALIZE-PREPARSE): Do not set it.
(preparse1): Do not reference it. Do not test for ioTerminal? and
the input is always a disk file.
* interp/spad-parser.boot (findCommentBlock): Do not reference
$EchoLineStack.
(preparseReadLine1): Do not reference $LineList.
|
|
|
|
specified.
* interp/database.boot (populateDFFromFile): Remove.
(printAllInitdbInfo): Write as as Lisp file.
* algebra/Makefile.in (COMPILE_SPAD): initdb is now a FASL.
(BOOTSTRAP): Likewise.
(strap-2/%.$(FASLEXT)): Likewise.
(initdb.$(FASLEXT)): New.
|
|
%imulmod.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* interp/c-util.boot (devaluate): Use # in lieu of QVSIZE.
* interp/g-opt.boot: %ilfshift and %irshift are now builtin
side-effect free operations.
* interp/lisp-backend.boot: Translate them.
* interp/g-util.boot (mergeSort): Avoid QSDIFFERENCE.
* interp/slam.boot: Likewise.
* interp/sys-macros.lisp: Likewise.
* interp/macros.lisp: Avoid QVMAXINDEX.
* interp/vmlisp.lisp (QSDIFFERENCE): Remove.
(QSGREATERP): Likewise.
(QSLEFTSHIFT): Likewise.
(QSLESSP): Likewise.
(QSMAX): Likewise.
(QSMIN): Likewise.
(QSMINUS): Likewise.
(QSMINUSP): Likewise.
(QSODDP): Likewise.
(QSABSVAL): Likewise.
(QSPLUS): Likewise.
(QSZEROP): Likewise.
(QVMAXINDEX): Likewise.
(QVSIZE): Likewise.
(ZERO?): Likewise.
|
|
%isubmod, and %imulmod.
* interp/g-opt.boot: These are now builtin side-effect operators.
(optIaddmod): New optimizer. Register.
(optIsubmod): Likewise.
(optImulmod): Likewise.
* interp/sys-macros.lisp (QSADDMOD): Remove.
(QSDIFMOD): Likewise.
(QSMULMOD): Likewise.
|
|
* algebra/sex.spad.pamphlet: Use %float? instead of RNUM.
Use %integer? instead of INTP.
* interp/g-timer.boot: Use float? instead of RNUMP.
* interp/i-coerce.boot: Use fixnum? instead of SINTP or SMINTP.
* interp/i-intern.boot: Likewise.
* interp/lisp-backend.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/vmlisp.lisp: Likewise.
(INTP): Remove.
(BINTP): Likewise.
(LESSP): Likewise.
(LINTP): Likewise.
(MAKESTRING): Likewise.
(MAPELT): Likewise.
(NUMP): Likewise.
(RNUMP): Likewise.
(SINTP): Likewise.
(SMINTP): Likewise.
|
|
SemiGroupOperation T.
|
|
(BinaryOperation): Likewise.
(IdempotentOperatorCategory): Likewise.
(SemiGroupOperatorCategory): Likewise.
(SemiGroupOperation): Likewise.
(MonoidOperatorCategory): Likewise.
(MonoidOperation): Likewise.
* algebra/exposed.lsp.pamphlet: Expose them.
* algebra/Makefile.in (oa_algebra_layer_0): Include IDEMOPC,
SGPOPC, SPGOP, MONOPC, BINOPC.
(axiom_algebra_layer_1): Include MONOP.
|