aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/compress.daase
AgeCommit message (Collapse)AuthorFilesLines
2011-03-09 * algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Nowdos-reis1-668/+669
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-674/+673
[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-674/+676
2011-03-07 * algebra/si.spad.pamphlet (SingleInteger): Logic is indirectlydos-reis1-669/+668
included through BooleanLogic.
2011-03-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %c2s.dos-reis1-667/+669
* 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-675/+671
Implement true and false. Fix thinko in notFormula.
2011-02-27 * algebra/outform.spad.pamphlet (OutputForm) [infix?]: Rewrite.dos-reis1-675/+675
2011-02-26 * interp/g-opt.boot (optCond): Recognize conjunction anddos-reis1-677/+675
disjunction forms.
2011-02-26 * interp/parse.boot (parseLessEqual): Remove.dos-reis1-674/+677
2011-02-25 * algebra/fmod.spad.pamphlet (IntegerMod): Simplify implementation.dos-reis1-676/+674
2011-02-24Rename getShellEntry to shellEntry now that it is a macro accessor that ↵dos-reis1-670/+671
designate a place (usable in SETF).
2011-02-24Fix isSimple, againdos-reis1-666/+671
2011-02-24 * interp/sys-macros.lisp (shellEntry): New.dos-reis1-674/+670
* 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-671/+674
2011-02-24 * interp/c-util.boot (isSimple): Accept constructor instantiations.dos-reis1-674/+671
* 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-667/+670
2011-02-09 * interp/sys-constants.boot ($PrimitiveDomainNames): Remove.dos-reis1-670/+667
* interp/category.boot (mkCategory): Drop test for primitive domains.
2011-02-08 * interp/lisp-backend.boot: Translate %ident? to IDENTP, not SYMBOLP.dos-reis1-668/+669
* 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-669/+668
representation, not extended domain (default search does not work for the non-extending categories.)
2011-02-06cleanup special hyperbolic builtinsdos-reis1-666/+668
2011-02-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %fmanexp.dos-reis1-664/+666
(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-668/+666
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-673/+672
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-677/+673
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-676/+677
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-669/+670
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-672/+675
2011-01-31 * interp/g-opt.boot (optQSMINUS): Remove.dos-reis1-673/+668
* 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-674/+677
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-675/+674
2011-01-03 * interp/g-util.boot: Expand new bit vector operators.dos-reis1-677/+675
* 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-673/+677
instead of Lisp-level UNWIND-PROTECT.
2010-12-06 * interp/metalex.lisp (KEYWORDS): Include try.dos-reis1-929/+927
* 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-676/+674
2010-11-24(no commit message)dos-reis1-675/+675
2010-11-19(no commit message)dos-reis1-669/+669
2010-11-16 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %s2cdos-reis1-671/+676
builtin. * interp/g-util.boot (stringToChar): New. (expandCst): Use it. (expandS2c): Likewise. New. * interp/spad.lisp (|$Newline): Move to interp/sys-macros.lisp. * interp/sys-macros.lisp (|$Backspace): New. (|$HorizontalTab|): Likewise. (|$VerticalTab|): Likewise. (|$FormFeed|): Likewise. (|$CarriageReturn|): Likewise. * algebra/string.spad.pamphlet (Character) [newline]: New. [carriageReturn]: Likewise. [linefeed]: Likewise. [formfeed]: Likewise. [backspace]: Likewise. [horizontalTab]: Likewise. [verticalTab]: Likewise. [char]: Tidy.
2010-10-27 * interp/c-util.boot (makeCommonEnvironment): Use list node pointerdos-reis1-668/+664
comparaison, not object comparaison.
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic) [~]: Add defaut.dos-reis1-696/+696
2010-10-27 * algebra/boolean.spad.pamphlet (BooleanLogic): Extends Logic.dos-reis1-673/+674
2010-10-27 * algebra/boolean.spad.pamphlet (Logic): Now extend Type.dos-reis1-673/+673
2010-07-28 * algebra/integer.spad.pamphlet (Integer): Use builtin functionsdos-reis1-667/+667
%irem and %iquo. * algebra/si.spad.pamphlet (SingleInteger): Likewise.
2010-07-22 * interp/g-util.boot (expandIeq): New expander for %ieq.dos-reis1-673/+673
* interp/g-opt.boot (optIeq): New. (optIadd): Likewise. (optIsub): Likewise. (optImul): Likewise. (optIneg): Likewise. (lispize): Remove.
2010-07-19 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis1-669/+683
byte relation operators and bitmakst operators. * interp/g-util.boot: Expand them. * algebra/data.spad.pamphlet (Byte): Now satisfies Logic. Tidy. (SystemNonNegativeInteger): Likewise. * algebra/java.spad.pamphlet (JVMBytecode): Rename from JavaBytecode. (JVMClassFileAccess): New. (JVMFieldAccess): Likewise. (JVMMethodAccess): Likewise. (JVMConstantTag): Likewise. (JVMOpcode): Likewise.
2010-07-13small cleanupdos-reis1-664/+661
2010-07-13 * interp/g-opt.boot: %sname is a side-effect free operator.dos-reis1-666/+664
* interp/g-util.boot: Expand it. * algebra/syntax.spad.pamphlet (Identifer): Now satisfies CoercibleTo String.
2010-07-11 * interp/database.boot (markUnique): Remove.dos-reis1-666/+666
($FunctionDescriptorTail): Likewise. (getOperationAlistFromLisplib): Likewise. (getOplistForConstructorForm): Adjust. * interp/br-op1.boot (getDomainOpTable): Likewise. * interp/br-op2.boot (koOps): Likewise. * interp/define.boot (genDomainViewList): Likewise. * interp/i-analy.boot (namedConstant): Likewise. * interp/i-coerce.boot (getConstantFromDomain): Likewise. * interp/i-funsel.boot (isOpInDomain): Likewise. (findCommonSigInDomain): Likewise. (findUniqueOpInDomain): Likewise. (hasSig): Likewise. * interp/i-spec2.boot (constantInDomain?): Likewise. * interp/trace.boot (spadTrace): Likewise. * interp/lisplib.boot (transformOperationAlist): Simplify.
2010-07-10 * interp/database.boot (addConsDB): Remove.dos-reis1-666/+666
(getOperationAlistFromLisplib): Don't call it. * interp/sys-driver.boot (initializeGlobalState): Remove kludge. * interp/util.lisp (BUILD-INTERPSYS): Likewise.
2010-07-05 * interp/compiler.boot (compTopLevel): Bind $whereDecls.dos-reis1-664/+666
(recordDeclarationInSideCondition): New. Update it. (compWhere): Call it. * interp/define.boot ($whereDecls): Define at toplevel. (typeDependencyPath): New. (inferConstructorImplicitParameters): Likewise. (compDefineFunctor1): Use it.
2010-07-03 * algebra/vector.spad.pamphlet (DualBasis): New.dos-reis1-664/+665
(LinearBasis): Likewise. (LinearElement): Use them. (LinearForm): New.