aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2011-08-20 * algebra/polycat.spad.pamphlet (UnivariatePolynomialCategory)dos-reis3-2/+11
[divide]: Tidy. * algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp files if keeping intermediate files.
2011-08-19 * interp/category.boot (mkOr): Taken environment as parameter.dos-reis6-141/+163
Adjust callers. (mkOr2): Likewise. (mkAnd): Likewise. (mkAnd2): Likewise. (FindFundAncs): Likewise. (CatEval): Likewise. (AncestorP): Likewise. (CondAncestorP): Likewise. (DescendantP): Likewise. * interp/compiler.boot (compMapCond): Likewise. (compMapCond'): Likewise. * interp/define.boot (formatPred): Likewise. (formatInfo): Likewise. (addInfo): Likewise. (knownPred): Likewise. * interp/functor.boot (InvestigateConditions): Likewise. (ICformat): Likewise.
2011-08-19Fix Graphics components startupalfredoport4-28/+52
2011-08-18 * interp/momdemap.boot: Fold content into compiler.boot anddos-reis10-585/+523
define.boot. Remove. * Makefile.in: Adjust dependencies.
2011-08-18 * interp/c-util.boot: Use category accessors.dos-reis4-18/+20
* interp/category.boot: Likewise. * interp/modemap.boot: Likewise.
2011-08-18 * interp/c-util.boot (categoryAssociatedTypes): Rename fromdos-reis10-70/+83
categoryHierarchy. Adjust callers. (categoryPrincipals): New. (categoryAncestors): Likewise. (categoryLocals): Likewise. (categoryParameters): Likewise. (extendsCategoryForm): Use them. * interp/category.boot: Likewise. * interp/cattable.boot: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/modemap.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/database.boot (getCategoryAttributes): Remove. (getPrincipalAncestors): Likewise. (getCategoryParents): Likewise. * algebra/domain.spad.pamphlet (Category): Adjust.
2011-08-17 * interp/c-util.boot (categoryPrincipals): New.dos-reis4-21/+39
(categoryAncestors): Likewise. * interp/functor.boot (DescendCodeAdd): Tidy. (DescendCodeVarAdd): Fix thinko. Iterator over $domainShell. Don't pretend constants have ELT implementations. * interp/nruncomp.boot (buildFunctor): Tidy.
2011-08-16 * interp/modemap.boot (addModemap0): Don't special-casedos-reis6-36/+39
CategoryDefaults. * interp/define.boot (processFunctor): Fold into caller. Remove. * interp/clam.boot (recordInstantiation1): Do not special case CategoryDefaults and RepeatedSquaring. * interp/functor.boot (DescendCode): Lose last argument, for it is always $. Adjust body. Adjust caller. * interp/nruncomp.boot (buildFunctor): $catNames should not be a fluid variable. Rename to viewNames.
2011-08-16 * interp/functor.boot (setVector0, setVector12, setVector3,dos-reis5-95/+27
mkDomainFomer, setVector5, mkVectorWithDeferral): Remove as dead codes.
2011-08-15 * interp/g-opt.boot (optCollectVector): Generate VM forms.dos-reis3-18/+26
(optIinc): New. Register as new transformer. * interp/c-util.boot ($middleEndMacroList): Remove. (middleEndExpand): Don't check for Lisp-level macros anymore.
2011-08-15 * interp/compiler.boot (compSeq1): Tidy.dos-reis2-35/+37
(cpmpSeqItem): Likewise. (replaceExitEtc): Likewise. (massageLoop): Don't check for TAGGEDexit anymore.
2011-08-14 * interp/lisp-backend.boot ($freeVarName): New global constant.dos-reis36-134/+223
(loopVarInit): New. (expandIN): Use it. (expandON): Likewise. (expandSTEP): Likewise. (massageFreeVarInits): New. (expandLoop): Use it. * interp/fnewmeta.lisp (PARSE-QuantifiedVariable): Tidy. (PARSE-AnyId): Likewise. (PARSE-Variable): New. Allow scope-of-type specification for loop variable. (PARSE-Iterator): Use it. * interp/compiler.boot (massage_llop): Don't check $mayHaveFreeIteratorVariables. (compRepeatOrCollect): Don't bind it. (classifyIteratorVariable): New. (complainIfShadowing): Remove as no longer needed. (compStepIterator): Use it. Tidy. (compONIterator, compINIterator): New. Split out of compIterator. (compIterator): Refactor. * interp/functor.boot (optFunctorBody): Fix thinko. * interp/g-opt.boot (optCollectVector): A STEP iterator may have a storage class. * algebra/clip.spad.pamphlet: Fix loop variable scope. * algebra/ffpoly.spad.pamphlet: Likewise. * algebra/fparfrac.spad.pamphlet: Likewise. * algebra/gdpoly.spad.pamphlet: Likewise. * algebra/ghensel.spad.pamphlet: Likewise. * algebra/groebsol.spad.pamphlet: Likewise. * algebra/intfact.spad.pamphlet: Likewise. * algebra/matfuns.spad.pamphlet: Likewise. * algebra/moddfact.spad.pamphlet: Likewise. * algebra/numtheor.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pfbr.spad.pamphlet: Likewise. * algebra/pgcd.spad.pamphlet: Likewise. * algebra/pleqn.spad.pamphlet: Likewise. * algebra/pseudolin.spad.pamphlet: Likewise. * algebra/radeigen.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/regset.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/sgcf.spad.pamphlet: Likewise. * algebra/smith.spad.pamphlet: Likewise. * algebra/sregset.spad.pamphlet: Likewise. * algebra/syssolp.spad.pamphlet: Likewise. * algebra/zerodim.spad.pamphlet: Likewise. * algebra/crfp.spad.pamphlet: Remove capsule-level declaration of local variables. * algebra/galfact.spad.pamphlet: Likewise. * algebra/mathml.spad.pamphlet: Likewise. * algebra/numode.spad.pamphlet: Likewise. * algebra/tex.spad.pamphlet: Likewise. * algebra/updecomp.spad.pamphlet: Likewise.
2011-08-14 * interp/compiler.boot (compRepeatOrCollect): Set $loopKind directly.dos-reis18-58/+47
(complainIfShadowing): Don't complain when collecting. * algebra/contfrac.spad.pamphlet: Remove capsule-level declaration of local variables. * algebra/cycles.spad.pamphlet: Likewise. * algebra/cyclotom.spad.pamphlet: Likewise. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/fortpak.spad.pamphlet: Likewise. * algebra/lingrob.spad.pamphlet: Likewise. * algebra/numode.spad.pamphlet: Likewise. * algebra/numquad.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/perman.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise.
2011-08-14Remove redundant capsule-level declarationsdos-reis10-50/+23
2011-08-13 * algebra/integer.spad.pamphlet (Integer): Remove attribute infinite.dos-reis8-17/+17
2011-08-13 * interp/c-util.boot (instantiationArgs): New.dos-reis8-28/+65
(domainDirectory): Likewise. (domainLookupFunction): Likewise. (domainOperatorTable): Likewise. (domainAttributes): Likewise. (domainPredicates): Likewise. (domainData): Likewise. * interp/buildom.boot: Use new domain accessors. * interp/functor.boot: Likewise. * interp/interop.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise.
2011-08-12Remove another instance of LIST2VECdos-reis1-1/+1
2011-08-12 * boot/ast.boot (shoeCompTran1): Translate extended vector-forms.dos-reis12-52/+73
* interp/c-util.boot: Use vector instead of LIST2VEC. * interp/define.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-map.boot: Likewise. * interp/i-special.boot: Likewise. * interp/interop.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/slam.boot: Likewise.
2011-08-12 * interp/nrunfast.boot (newLookupInTable): Compare domain anddos-reis6-56/+46
dollar as objects, not as value. (newLookupInCategories): Remove deadcode. (newExpandGoGetTypes): Remove as unused.
2011-08-12 * interp/define.boot (NRTgetLookupFunction): Handle the case wheredos-reis9-8/+32
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-reis7-7/+17
third argument too.
2011-08-11 * interp/lisp-backend.boot (expandBytevec2str): Use MAP instead ofdos-reis3-5/+15
COERCE. Eliminate second argument. (expandStr2bytevec): Use MAP instead of COERCE. * algebra/data.spad.pamphlet (ByteBuffer) [coerce]: Adjust call to %bytevec2str.
2011-08-10 * algebra/float.spad.pamphlet (Float): Tidy.dos-reis18-44/+59
* 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-reis13-19108/+17838
(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-reis18-28869/+26186
* 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-08 * interp/define.boot (NRTgetLookupFunction): Take an environmentdos-reis2-21/+31
argument. Adjust caller. (NRTextendsCategory1): Likewise. (extendsCategory): Likewise. (extendsCategoryBasic): Likewise. (catExtendsCat?): Likewise.
2011-08-08 * interp/c-util.boot (categoryHierarchy): New.dos-reis4-25/+33
* interp/category.boot (mkCategory): Use it. * interp/define.boot (NRTgetLookupFunction): Tidy. (catExtendsCat?): Lose last argument. Adjust callers.
2011-08-07 * interp/define.boot (templateVal): Fold into expantTypeArgs. Remove. dos-reis2-12/+9
2011-08-07more cleanupsdos-reis1-2/+2
2011-08-07cleanupdos-reis5-92/+103
2011-08-06cleanupdos-reis62-497/+502
2011-08-06cleanupdos-reis5-82/+76
2011-08-06 * interp/define.boot (extendsCategoryBasic0): Fold intodos-reis2-7/+9
extendsCategoryBasic. Remove.
2011-08-05 * boot/tokens.boot: Remove unused and antiquated tokens.dos-reis4-17/+15
* interp/i-output.boot: Escape caret.
2011-08-05cleanupdos-reis6-53/+46
2011-08-05 * algebra/boolean.spad.pamphlet (Boolean) [test]: Remove.dos-reis7-24404/+26539
2011-08-04 * boot/ast.boot (bfFlattenSeq): Rewrite.dos-reis3-63/+35
(bfMKPROGN): Tidy.
2011-08-04cleanupdos-reis55-209/+217
2011-08-04 * boot/ast.boot (bfSTEP): Synthetize artificial variable fordos-reis3-0/+8
unnamed loop index.
2011-07-14 * boot/ast.boot (bfIS1): Tidy test for cons cells.dos-reis3-0/+6
2011-07-14 * interp/functor.boot (CategoryPrint): Move from category.boot.dos-reis3-71/+79
(DomainPrint1): Tidy. (PacPrint): Likewise. (DomainPrintSubst): Likewise.
2011-07-13 * boot/tokens.boot: copyString, copyTree, and copyVector are nowdos-reis10-18/+35
builtin library functions. * interp/br-util.boot: Use copyVector instead of COPY-SEQ. * interp/category.boot: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/newfort.boot: Likewise.
2011-07-13 * interp/category.boot: Remove dead codes.dos-reis3-13/+11
* interp/define.boot (hasFullSignature): Tidy.
2011-07-10 * interp/c-util.boot (categoryExports): New.dos-reis3-22/+25
* interp/category.boot (mkCategory): Use it. (DropImplementations): Tidy.
2011-07-07 1.4.1 release branch created.dos-reis3-11/+15
2011-07-07fix docdos-reis3-13/+13
2011-07-07 * gui/debate.cc (start_interpreter): Do not forget core commanddos-reis2-2/+10
line options. Separate them from options to the base Lisp runtime system.
2011-07-07 * config/open-axiom.m4 (ac_default_prefix): Set to C:/OpenAxiom ondos-reis4-21/+24
Windows platforms.
2011-07-05 * interp/br-util.boot ($charUnderscore): Move to br-search.bootdos-reis7-14/+28
where it is used. * interp/br-search.boot (pmPreparse): Tidy. (mkGrepPattern1): Likewise. (genSearch): Don't try to remove default operations; they have already been left out by grepSplit. (docSearch): Likewise. * interp/br-con.boot (dbShowConsDoc1): Don't confusingly enclose a straightline documentation in a list. * interp/br-op1.boot (dbShowOpDocumentation): Remove redundant test. * interp/br-op2.boot (kFormatSlotDomain): Call isConstructorName only on identifiers. * interp/br-saturn.boot (displayDomainOp): Tidy. (bcConform1): Likewise.
2011-07-05 * config/open-axiom.m4: Don't test for GMP, just yet.dos-reis4-100/+27