aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/interp.daase
AgeCommit message (Collapse)AuthorFilesLines
2011-05-21 * interp/modemap.boot (augModemapsFromDomain): Don't add modemapsdos-reis1-4568/+4568
for element types of Vector or List aggregates. * algebrar/: Adjust algebras that depended on this behaviour.
2011-05-19 * algebra/aggcat.spad.pamphlet (Aggregate) [more?,less?,size?]:dos-reis1-4571/+4571
Move to StreamAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Don't implement them. * algebra/tree.spad.pamphlet (Tree): Likewise.
2011-05-17cleanupdos-reis1-4571/+4571
2011-03-22 * algebra/op.spad.pamphlet (BasicOperator) [display]: Now return ados-reis1-3958/+3958
Maybe (List O -> O) value. [input]: Now return a Maybe(List SEX -> SEX). * algebra/kl.spad.pamphlet (Kernel): Adjust. * algebra/pattern.spad.pamphlet (Pattern): Likewise.
2011-03-20 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis1-4571/+4571
%bytevec2str and %str2bytevec opcode. * interp/lisp-backend.boot: Expand them. * algebra/data.spad.pamphlet (ByteBuffer): Tidy.
2011-03-20More cleanupsdos-reis1-4571/+4571
2011-03-20 * boot/translator.boot (FC): Remove.dos-reis1-4571/+4571
(FBO): Likewise. (FEV): Likewise. (shoeGeneralFC): Likewise. (shoeFindName): Likewise. (shoeFindName2): Likewise. (shoeTransform2): Likewise. * boot/scanner.boot (shoeLineToks): Don't support `)package' line anymore. * boot/includer.boot: Remove support for `)package', `)include', `)includelisp', `)includelines' lines. (shorPackageStartsAt): Remove. (shorFindLines): Likewise. (shoeFileInput): Likewise. (shoeLispFileInput): Likewise. (shoeLineFileInput): Likewise. (shoeFunctionFileInput): Likewise. (shoePlainLine?): Reflect removal. (shoeSimpleLine): Likewise. * boot/tokens.boot (charByName): New builtin library function. * algebra/sf.spad.pamphlet (RealNumberSystem): Don't re-export abs. It is already exported by OrderedRing.
2011-03-13 * src/algebra/: Systematically use not zero? when comparing fordos-reis1-3689/+3689
equality with 0.
2011-03-12 * src/algebra/: Systematically use not one? when comparing fordos-reis1-3723/+3723
equality with 1.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-3626/+3626
equality with 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-3718/+3718
greater than 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-4572/+4572
less than 0.
2011-03-12 * algebra/si.spad.pamphlet (IntegerNumberSystem) [positive?]:dos-reis1-4567/+4567
Remove definition. (SingleInteger): Simplify implementation of random. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. [positive?]: Define. * algebra/integer.spad.pamphlet (Integer): Tidy.
2011-03-12 * algebra/catdef.spad.pamphlet (OrderedAbelianGroup): Exportdos-reis1-5227/+5231
negative?, abs, sign, with default implementations. (OrderedAbelianMonoid): Export positive?, with default. (OrderedRing): Don't export them.
2011-03-10Update cached databasesdos-reis1-4565/+4565
2011-03-09 * algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Nowdos-reis1-3978/+3978
return Maybe %. * algebra/ffcat.spad.pamphlet: Propagate change. * algebra/fmod.spad.pamphlet: Likewise. * algebra/fraction.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/pfbr.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise.
2011-03-09 * algebra/catdef.spad.pamphlet (EuclideanDomain)dos-reis1-4456/+4456
[expressIdealMember]: Now returns Maybe List %. * algebra/Makefile.in: Tidy. (axiom_algebra_bootstrap_last_layer): Remove.
2011-03-08 * algebra/catdef.spad.pamphlet (SemiRing): New category.dos-reis1-4897/+4902
2011-03-07 * algebra/si.spad.pamphlet (SingleInteger): Logic is indirectlydos-reis1-4564/+4564
included through BooleanLogic.
2011-03-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %c2s.dos-reis1-4564/+4564
* interp/lisp-backend.boot: Translate it. * algebra/integer.spad.pamphlet (Integer) [convert]: Tidy. [latex]: Likewise. * algebra/string.spad.pamphlet (Character)[latex]: Likewise.
2011-02-28 * algebra/boolean.spad.pamphlet (PropositionalFormula): dos-reis1-4564/+4564
Implement true and false. Fix thinko in notFormula.
2011-02-27 * algebra/outform.spad.pamphlet (OutputForm) [infix?]: Rewrite.dos-reis1-4564/+4564
2011-02-26 * interp/g-opt.boot (optCond): Recognize conjunction anddos-reis1-4564/+4564
disjunction forms.
2011-02-26 * interp/parse.boot (parseLessEqual): Remove.dos-reis1-4561/+4561
2011-02-25 * algebra/fmod.spad.pamphlet (IntegerMod): Simplify implementation.dos-reis1-4560/+4560
2011-02-24Rename getShellEntry to shellEntry now that it is a macro accessor that ↵dos-reis1-3888/+3888
designate a place (usable in SETF).
2011-02-24Fix isSimple, againdos-reis1-3921/+3921
2011-02-24 * interp/sys-macros.lisp (shellEntry): New.dos-reis1-4561/+4561
* interp/g-util.boot (setShellEntry): Remove. * interp/compiler.boot: Use %store to %tref forms instead of setHSellEntry. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/showimp.boot: Likewise. * interp/c-util.boot (isSimple): Tidy. (isSideEffectFree): Likewise. (updateCapsuleDirectory): Likewise.
2011-02-24more cleanupsdos-reis1-4536/+4536
2011-02-24 * interp/c-util.boot (isSimple): Accept constructor instantiations.dos-reis1-4562/+4562
* algebra/formula.spad.pamphlet: Avoid Lispisms. * algebra/mathml.spad.pamphlet: Likewise. * algebra/op.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise.
2011-02-18Rename %veclit to %vector and %listlit to %listdos-reis1-4563/+4563
2011-02-09 * interp/sys-constants.boot ($PrimitiveDomainNames): Remove.dos-reis1-4552/+4552
* interp/category.boot (mkCategory): Drop test for primitive domains.
2011-02-08 * interp/lisp-backend.boot: Translate %ident? to IDENTP, not SYMBOLP.dos-reis1-4548/+4548
* interp/compiler.boot (compMatch): test for identifier, not atomic value. * algebra/syntax.spad.pamphlet (Syntax): Tidy.
2011-02-07 * algebra/ituple.spad.pamphlet (InfiniteTuple): Use Stream S asdos-reis1-4564/+4564
representation, not extended domain (default search does not work for the non-extending categories.)
2011-02-06cleanup special hyperbolic builtinsdos-reis1-4564/+4564
2011-02-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %fmanexp.dos-reis1-4564/+4564
(sideEffectFree?): New. (varIsAssigned): Tidy. (canInlineVarDefinition): Likewise. * interp/boot-pkg.lisp (gensym?): New. * interp/c-util.boot ($NonExpandableOperators): New. (expandableDefinition?): Use it. * algebra/sf.spad.pamphlet (DoubleFloat): Use %fmanexp.
2011-02-05 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include inversedos-reis1-4564/+4564
hyperbolic functions. * interp/lisp-backend.boot: Expand them. * algebra/sf.spad.pamphlet: Use them.
2011-02-05 * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove CGREATERPdos-reis1-4564/+4564
and GGREATERP. Add VM-level complex number operators. * interp/lisp-backend.boot: Expand them. * algebra/gaussian.spad.pamphlet (ComplexCategory): Use VM form instead of Lisp level forms. * algebra/pfr.spad.pamphlet (PartialFraction): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/symbol.spad.pamphlet (Symbol): Likewise.
2011-02-04 * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lispdos-reis1-4545/+4545
level operators. Include %property and %bitveclt. * interp/lisp-backend.boot: Expand them. * algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?. * algebra/domain.spad.pamphlet (DomainConstructo): Use %property. * algebra/outform.spad.pamphlet (OutputForm): Likewise. * algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt.
2011-02-04 * interp/c-util.boot (mutateConditionalFormWithUnaryFunction):dos-reis1-4478/+4478
Rename from mutateCONDFormWithUnaryFunction. Update callers (mutateBindingFormWithUnaryFunction): Rename from mutateLETFormWithUnaryFunction. Allow %bind form too. Update callers.
2011-02-03 * interp/c-util.boot: Replace COND with %when throught.dos-reis1-4564/+4564
Use %otherwise instead of %true where appropriate. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/i-code.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/i-spec2.boot: Likewise. * interp/i-util.boot: Likewise. * interp/info.boot: Likewise. * interp/modemap.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/slam.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. * interp/compiler.boot (canReturn): Don't test for COND anymore.
2011-02-01 * interp/compiler.boot (compList): Use %nil form, not NIL.dos-reis1-4384/+4384
2011-01-31 * interp/g-opt.boot (optQSMINUS): Remove.dos-reis1-4566/+4566
* algebra/data.spad.pamphlet: Tidy. * algebra/plot.spad.pamphlet: Likewise. * algebra/plot3d.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Remove use of NULL$Lisp.
2011-01-31 * interp/g-opt.boot ($VMsideEffectFreeOperators): Remove QCDR,dos-reis1-4566/+4566
QCAR. SYMBOLP, GREATERP. Add %ibit, %ilength, %ident, %equal. * interp/g-util.boot: Expand them * algebra/any.spad.pamphlet: Tidy. * algebra/catdef.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/float.spad.pamphlet: Likewise. * algebra/fname.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/random.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/symbol.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise.
2011-01-26 Replace more occurences of LIST with %listlit.dos-reis1-4564/+4564
2011-01-03 * interp/g-util.boot: Expand new bit vector operators.dos-reis1-4564/+4564
* interp/g-opt.boot (opt2bit): New. (opt2bool): Likewise. * interp/bits.lisp (BVEC-SIZE): Remove. (BVEC-COPY): Likewise. (BVEC-CONCAT): Likewise. (BVEC-EQUAL): Likewise. (BVEC-AND): Likewise. (BVEC-OR): Likewise. (BVEC-XOR): Likewise. (BVEC-NAND): Likewise. (BVEC-NOR): Likewise. (BVEC-NOT): Likewise. * algebra/boolean.spad.pamphlet (IndexedBits): Remove uses of Lisp-level functions.
2010-12-19 * algebra/files.spad.pamphlet (KeyedAccessFile): Use try/finallydos-reis1-4564/+4564
instead of Lisp-level UNWIND-PROTECT.
2010-12-06 * interp/metalex.lisp (KEYWORDS): Include try.dos-reis1-5050/+5050
* algebra/numode.spad.pamphlet: Change field try to tryValue. * algebra/multsqfr.spad.pamphlet: Change identifier try to tryCount.
2010-11-24(no commit message)dos-reis1-4467/+4467
2010-11-24(no commit message)dos-reis1-4274/+4274
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-14 16:28:40 +0000