aboutsummaryrefslogtreecommitdiff
path: root/src/share/algebra/browse.daase
AgeCommit message (Collapse)AuthorFilesLines
2011-08-12 * interp/define.boot (NRTgetLookupFunction): Handle the case wheredos-reis1-1/+1
the base domain is a parameter. * interp/g-util.boot (formalVarNumber): New. * lisp/core.lisp.in (readIntegerIfCan): Likewise.
2011-08-11 * interp/define.boot (extendsCategoryBasic): Handle attributedos-reis1-1/+1
third argument too.
2011-08-10 * algebra/float.spad.pamphlet (Float): Tidy.dos-reis1-1/+1
* algebra/fortmac.spad.pamphlet (MachineInteger): Likewise. * algebra/fspace.spad.pamphlet (FunctionSpace): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/mkfunc.spad.pamphlet (InputForm): Likewise. * algebra/newpoly.spad.pamphlet (RecursivePolynomialCategory): Likewise. * input/knot.input.pamphlet: Likewise. * input/knot2.input.pamphlet: Likewise. * input/mult3d.input.pamphlet: Likewise. * input/multKnot.input.pamphlet: Likewise. * input/r21bugsbig.input.pamphlet: Likewise. * input/tutchap2.input.pamphlet: Likewise.
2011-08-10 * algebra/Makefile.in (oa_strap_0_sources): Don't include OM.dos-reis1-1182/+1150
(axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV. (axiom_algebra_layer_4): Don't include OMENC. (axiom_algebra_layer_14): Don't include OMPKG. (axiom_algebra_layer_19): Don't include OMERR, OMERRK. (axiom_algebra_layer_20): Don't include OMEXPR. * algebra/omcat.spad.pamphlet: Remove. * algebra/omdev.spad.pamphlet: Remove. * algebra/omerror.spad.pamphlet: Remove. * algebra/omserver.spad.pamphlet: Remove. * algebra/openmath.spad.pamphlet: Remove.
2011-08-10 * interp/setvart.boot: Remoe OpenMath description.dos-reis1-1175/+1171
* interp/setvars.boot (setOutputOpenMath): Remove. (describeOutputOpenMath): Likewise. * algebra/Makefile.in (axiom_algebra_layer_14): Don't include OMSERVER. * algebra/float.spad.pamphlet (Float): Remove OpenMath exports. * algebra/fraction.spad.pamphlet (Fraction): Likewise. * algebra/gaussian.spad.pamphlet (Complex): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/list.spad.pamphlet (List): Likewise. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/string.spad.pamphlet (String): Likewise. * algebra/symbol.spad.pamphlet (Symbol): Likewise.
2011-08-05 * algebra/boolean.spad.pamphlet (Boolean) [test]: Remove.dos-reis1-668/+668
2011-07-04 * interp/setvars.boot: Remove support for script formula.dos-reis1-1557/+1549
* interp/setvart.boot: Likewise. * interp/diagnostics.boot (sayBrightlyNT1): Move from macros.lisp. (sayBrightly1): Likewise. (sayBrightlyNT): Likewise. (sayBrightly): Likewise. (sayBrightlyI): Likewise. (sayMSG): Likewise. (sayTeX): Likewise. (sayMSG2File): Likewise. * interp/i-output.boot (formulaFormat): Remove. (output): Adjust. * interp/macros.lisp (sayMSGNT): Remove. (sayFORTRAN): Likewise. (sayFORMULA): Likewise. ($formulaOutputstream): Likewise. * interp/sys-globals.boot ($formulaOutputstream): Remove. * interp/spad.lisp ($formulaFormat): Remove. * algebra/exposed.lsp.pamphlet: Do not expose ScriptFormulaFormat and ScriptFormulaFormat1. * algebra/exposed.lsp.pamphlet: Remove.
2011-06-26 * algebra/sf.spad.pamphlet (DoubleFloat) [nan?]: New export.dos-reis1-668/+668
* algebra/clip.spad.pamphlet (TwoDimensionalPlotClipping): Use it instead of %fNan?. * algebra/plot.spad.pamphlet (Plot): Likewise.
2011-05-29 * lisp/core.lisp.in (readExpr): New.dos-reis1-318/+318
* interp/as.boot: Replace READLINE with readLine. * interp/br-data.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/br-search.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/cstream.boot: Likewise. * interp/g-error.boot: Likewise. * interp/ht-root.boot: Likewise. * interp/htcheck.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/server.boot: Likewise. * interp/topics.boot: Likewise. * interp/compat.boot (READLINE): Remove. * interp/sys-macros.lisp (shoeConsole): Remove. (shoeInputFile): Likewise. (shoeread-line): Likewise. * boot/ast.boot (bfQ): %nothing only needs EQ. * algebra/files.spad.pamphlet (File) [read!, readIfCan!]: Use readExpr instead of VMREAD. Avoid PLACEP (TextFile) [readLine!, readLineIfCan!]: Likewise.
2011-05-21 * interp/modemap.boot (augModemapsFromDomain): Don't add modemapsdos-reis1-318/+318
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-323/+323
Move to StreamAggregate. * algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Don't implement them. * algebra/tree.spad.pamphlet (Tree): Likewise.
2011-05-17cleanupdos-reis1-318/+318
2011-03-22 * algebra/op.spad.pamphlet (BasicOperator) [display]: Now return ados-reis1-269/+269
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-318/+318
%bytevec2str and %str2bytevec opcode. * interp/lisp-backend.boot: Expand them. * algebra/data.spad.pamphlet (ByteBuffer): Tidy.
2011-03-20More cleanupsdos-reis1-318/+318
2011-03-20 * boot/translator.boot (FC): Remove.dos-reis1-321/+321
(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-26/+26
equality with 0.
2011-03-12 * src/algebra/: Systematically use not one? when comparing fordos-reis1-159/+159
equality with 1.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-36/+36
equality with 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-32/+32
greater than 0.
2011-03-12 * src/algebra/: Systematically use negative? when comparing fordos-reis1-318/+318
less than 0.
2011-03-12 * algebra/si.spad.pamphlet (IntegerNumberSystem) [positive?]:dos-reis1-318/+318
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-1185/+1189
negative?, abs, sign, with default implementations. (OrderedAbelianMonoid): Export positive?, with default. (OrderedRing): Don't export them.
2011-03-10Update cached databasesdos-reis1-320/+320
2011-03-09 * algebra/catdef.spad.pamphlet (StepThrough) [nextItem]: Nowdos-reis1-158/+158
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-195/+195
[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-794/+798
2011-03-07 * algebra/si.spad.pamphlet (SingleInteger): Logic is indirectlydos-reis1-318/+318
included through BooleanLogic.
2011-03-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %c2s.dos-reis1-318/+318
* 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-318/+318
Implement true and false. Fix thinko in notFormula.
2011-02-27 * algebra/outform.spad.pamphlet (OutputForm) [infix?]: Rewrite.dos-reis1-318/+318
2011-02-26 * interp/g-opt.boot (optCond): Recognize conjunction anddos-reis1-318/+318
disjunction forms.
2011-02-26 * interp/parse.boot (parseLessEqual): Remove.dos-reis1-318/+318
2011-02-25 * algebra/fmod.spad.pamphlet (IntegerMod): Simplify implementation.dos-reis1-318/+318
2011-02-24Rename getShellEntry to shellEntry now that it is a macro accessor that ↵dos-reis1-141/+141
designate a place (usable in SETF).
2011-02-24Fix isSimple, againdos-reis1-153/+153
2011-02-24 * interp/sys-macros.lisp (shellEntry): New.dos-reis1-318/+318
* 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-316/+316
2011-02-24 * interp/c-util.boot (isSimple): Accept constructor instantiations.dos-reis1-318/+318
* 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-252/+252
2011-02-09 * interp/sys-constants.boot ($PrimitiveDomainNames): Remove.dos-reis1-318/+318
* interp/category.boot (mkCategory): Drop test for primitive domains.
2011-02-08 * interp/lisp-backend.boot: Translate %ident? to IDENTP, not SYMBOLP.dos-reis1-318/+318
* 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-320/+320
representation, not extended domain (default search does not work for the non-extending categories.)
2011-02-06cleanup special hyperbolic builtinsdos-reis1-318/+318
2011-02-06 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %fmanexp.dos-reis1-318/+318
(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-318/+318
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-318/+318
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-318/+318
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-287/+287
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-316/+316
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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-06 03:49:43 +0000