aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Collapse)AuthorFilesLines
2008-08-17 * algebra/Makefile.pamphlet (all-algstrap): New.dos-reis87-1841/+8784
* algebra/strap: Update cached Lisp translation.
2008-08-16 * algebra/strap: New. Sequester cached Lisp translation ofdos-reis106-20771/+19656
algebra bootstrap domains here.
2008-08-15 * lisp/core.lisp.in (getOptionValue): Export.dos-reis2-6/+6
* interp/sys-driver.boot (initializeGlobalState): Record value for --system-algebra. * interp/sys-globals.boot ($buildingSystemAlgebra): Declare. * interp/compiler.boot (compileSpad2Cmd): Don't build local database if compiling system algebra. * interp/i-syscmd.boot (compileAsharpCmd1): Likewise. * algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Use --system-algebra. (SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise. (PARSER.NRLIB/code.$(FASLEXT)): Likewise.
2008-08-10 * algebra/syntax.spad.pamphlet (AbstractSyntaxCategory): New.dos-reis4-30/+75
(HeadAst): Likewise.
2008-08-08 * interp/pf2sex.boot (pfApplication2Sex): Don't transform ">",dos-reis2-2/+3
"=>", and "<=" expressions.
2008-08-08 * algebra/aggcat.spad.pamphlet (part?$SetAggregate): Renamedos-reis2-17/+24
from <$SetAggregate. (part?$FiniteSetAggregate): Rename from <$FiniteSetAggregate * algebra/mset.spad.pamphlet (part?$Multiset): Rename from <$Mulitset. * input/mset.input.pamphlet: Adjust. * input/mset2.input.pamphlet: Likewise.
2008-08-04 * Makefile.pamphlet: Use $(mkdir_p) in lieu of $(mkinstalldirs),dos-reis2-12/+12
during build. Also use 'cp -p' instead of $(INSTALL). * algebra/Makefile.pamphlet: Likewise. * graph/Makefile.in: Likewise. * boot/Makefile.in: Likewise. * hyper/Makefile.in: Likewise. * input/Makefile.pamphlet: Likewise. * interp/Makefile.pamphlet: Likewise. * lib/Makefile.in: Likewise. * lisp/Makefile.in: Likewise. * share/Makefile.in: Likewise.
2008-07-15 * share/algebra: Update databases.dos-reis3-4/+32
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG. * algebra/syntax.spad.pamphlet (Signature): New.
2008-07-11 * interp/compiler.boot (compQuote): Restrict quoting to literaldos-reis2-6/+8
symbols. * algebra/any.spad.pamphlet: Use nil for empty list. * algebra/boolean.spad.pamphlet: Fix quoting.
2008-07-06 * interp/parse.boot ($normalizeTree): New.dos-reis2-4/+4
(parseNotEqual): Likewise. * interp/compiler.boot (compCompilerPredicate): New. (compileNot): Use it. * interp/define.boot (compSubDomain1): Likewise. (doItIf): Likewise. * interp/bootlex.lisp (boot): Set $nornamizeTree. * algebra/Makefile.pamphlet (axiom_algebra_layer_9): Move from layer 4 to here.
2008-07-04 Fix AW/429dos-reis1-2/+2
* algebra/multpoly.spad.pamphlet (IndexedExponents): Fix comment type.
2008-07-03 Fix AW/428dos-reis2-7/+12
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-06-14 * algebra/variable.spad.pamphlet (ModePatternVariable): New.dos-reis2-1/+20
2008-06-03 * interp/comp.lisp (|compAndDefine|): Move to interp/compiler.bootdos-reis1-1/+0
(COMP): Likewise. (|compQuietly|): Likewise. (|compileQuietly|): Likewise. (COMP-1): Likewise.
2008-05-31(no commit message)dos-reis1-0/+1
2008-05-29 * algebra/catdef.spad.pamphlet (OrderedMonoid): Nowndos-reis1-2/+2
OrderedSemiGroup and a Monoid. * share/algebra: Updata databases.
2008-05-28 * algebra/catdef.spad.pamphlet (OrderedSemiGroup): New.dos-reis3-2/+16
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include OSGROUP.
2008-05-24 * algebra/modgcd.spad.pamphlet: Fix sectioning thinko.dos-reis1-1/+0
2008-05-23Fix breakage from last commits.dos-reis1-1158/+1158
2008-05-22Avoid numeric constants macros.dos-reis1-1158/+1158
2008-05-21 Fix AW/32dos-reis1-8/+101
* algebra/sttaylor.spad.pamphlet (powern$StreamTaylorSeriesOperations): Tidy.
2008-05-21 Fix AW/343dos-reis1-2/+2
* algebra/free.spad.pamphlet (<$FreeAbelianGroup): Fix ordering.
2008-05-18 Fix AW/412dos-reis1-1/+2
* algebra/aggcat.spad.pamphlet (=$TableAggregate): Fix thinko.
2008-05-18 Fix AW/117dos-reis1-0/+2
* algebra/vector.spad.pamphlet (DirectProductCategory): Also a Monoid is base type belongs to Monoid. (DirectProduct): Implement multiplication is base type belongs to Monoid.
2008-05-18 Fix AW/221dos-reis2-88/+72
* algebra/catdef.spad.pamphlet (OrderedAbelianSemiGroup): Now a join of OrderedSet and AbelianSemiGroup. * algebra/integer.spad.pamphlet (PositiveInteger): Now belongs to both OrderedAbelianSemiGroup and Monoid. Update cached Lisp translation. * shared/algebra: Update databases.
2008-05-18 Fix AW/313dos-reis1-5/+4
* algebra/reclos.spad.pamphlet (sqrt$RealClosedField): Fix signature.
2008-05-18 Fix AW/340dos-reis1-5/+4
* algebra/numtheor.spad.pamphlet (divisors$IntegerNumberTheoryFunctions): Fix thinko.
2008-05-18 * algebra/alql.spad.pamphlet (IndexCard): Don't use pretend.dos-reis1-16/+23
2008-05-15 * interp/lisplib.boot (leaveIfErrors): New.dos-reis2-6/+6
(compDefineLisplib): Use it. (finalizeLisplib): Likewise. * algebra/Makefile.pamphlet (%.NRLIB/code.$(FASLEXT)): Invoke the compiler directly. (SPADPRSR.NRLIB/code.$(FASLEXT)): Likewise. (PARSER.NRLIB/code.$(FASLEXT)): Likewise. * interp/compiler.boot (compSetq1): Fix thinko. * interp/define.boot (hasSigInTargetCategory): Give a clue to the pretty printer. * interp/sys-utility.boot ($ERASE): Remove declaration.
2008-05-15 * algebra/nregset.spad.pamphlet (recip$NormalizationPackage): Fixdos-reis1-4/+8
thinko.
2008-05-13 * interp/c-util.boot (warnLiteral): Just warn, really.dos-reis1-1/+0
* algebra/riccati.spad.pamphlet (RationalRicDE): Don't import inexistent RatODETools.
2008-05-12 * algebra/asp.spad.pamphlet (Asp30): Don't name local variable asdos-reis3-23/+23
record field. (Asp31): Likewise. (asp34): Likewise. (Asp77): Likewise. (Asp8): Likewise. (Asp9): Likewise. * algebra/fortran.spad.pamphlet (FortranCode): Likewise. * algebra/moebius.spad.pamphlet (MoebiusTransform): Likewise.
2008-05-11 Restrict loop variable scopes, take 2.dos-reis32-16/+95
* interp/iterator.boot (compReduce1): Maintain proper scope for loop variables. (compRepeatOrCollect): Really maintain proper scope for loop variables. * interp/compiler.boot (eltModemapFilter): Highlight faulty selector. (seteltModemapFilter): Likewise. * interp/c-util.boot (stackMessage): Don't build message if there is no argument for substitution. * algebra/aggcat.spad.pamphlet (#$UnaryRecursiveAggregate): Declare free loop variable. (cycleEntry$UnaryRecursiveAggregate): Likewise. (cycleLength): Likewise. (merge$OneDimensionalArrayAggregate): Likewise. (delete$OneDimensionalArrayAggregate): Likewise. (position$ListAggregate): Likewise. * algebra/array1.spad.pamphlet (merge!$IndexedFlexibleArray): Likewise. * algebra/combfunc.spad.pamphlet (K2fact$CombinatorialFunction): Likewise. * algebra/curve.spad.pamphlet (nonSingularModel$FunctionFieldCategory): Likewise. * algebra/dpolcat.spad.pamphlet (differentiate$DifferentialPolynomialCategory): Likewise. * algebra/efstruc.spad.pamphlet (validExponential$ElementaryFunctionStructurePackage): Likewise. (ker2explogs$InnerTrigonometricManipulations): Likewise. (complexNormalize$TrigonometricManipulations): Likewise.
2008-05-11 * interp/iterator.boot (compRepeatOrCollect): Don't iteratordos-reis13-23/+45
variables and variables declared in a loop are local to that loop. * interp/g-error.boot (needsToSplitMessage): New. (errorSupervisor): Use it. * interp/compiler.boot (compSymbol): Highlight erron=eous symbol. * interp/wi1.boot (stackMessage): Remove duplicate. * algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Tidy. * algebra/fff.spad.pamphlet (FiniteFieldFunctions): Likewie. * algebra/groebsol.spad.pamphlet (GroebnerSolve): Likewise. * algebra/intfact.spad.pamphlet (IntegerRoots): Likewise. * algebra/mkfunc.spad.pamphlet (InputForm): Likewise. * algebra/numtheor.spad.pamphlet (IntegerNumberTheoryFunctions): Likewise. * algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise. * algebra/random.spad.pamphlet (RandomFloatDistributions): Likewise. * algebra/sgcf.spad.pamphlet (SymmetricGroupCombinatoricFunctions): Likewise. * algebra/triset.spad.pamphlet (PolynomialSetUtilitiesPackage): Likewise. * algebra/twofact.spad.pamphlet (TwoFactorize): Likewise.
2008-05-08 * algebra/java.spad.pamphlet: New. Implement JavaBytecode.dos-reis5-19/+172
* algebra/data.spad.pamphlet (bitand$Byte): New. (bitior$Byte): Likewwise. (byte$Byte): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include JAVACODE.
2008-05-07 * algebra/boolean.spad.pamphlet (true$Boolean): Simplify.dos-reis1-9/+9
(=$Boolean): Likewise. (equiv$Boolean): Likewise. * interp/spad.lisp (|BooleanEquality|): Remove.
2008-05-07 * algebra/boolean.spad.pamphlet (Boolean): Don't pretend todos-reis1-60/+64
Boolean. Updated cached Lisp translation.
2008-04-21Add support for byte values, and byte buffers.dos-reis5-48/+168
2008-04-14Update cached Lisp translations.dos-reis3-250/+567
2008-04-14Update cached Lisp translation.dos-reis12-3006/+3466
2008-04-14Various cleanups.dos-reis2-28/+32
2008-04-09 * algebra/Lattice.pamphlet: Remove.dos-reis1-45354/+0
2008-04-05 * algebra/system.spad.pamphlet (System): New package.dos-reis3-11/+54
* algebra/Makefile.pamphlet (axiom_algebra_layer_12): Include SYSTEM. * src/share/algebra: Update databases.
2008-04-03Replace `^=' with `~='.dos-reis177-932/+932
2008-03-24Add support for SBCL and CLispdos-reis5-663/+2584
2008-03-20 * interp/vmlisp.lisp (GETREFV): Set initial elements to NIL.dos-reis2-18/+18
(MAKE-OUTSTREAM): Supersede existing files. * interp/template.boot (makeTemplate): Use newDomainShell instead of GETREFV. (extendVectorSize): Likewise. (mkSigPredVectors): Likewise. (list2LongerVec): Likewise. (measure): Remove. (measureCommon): Likewise. * interp/sys-utility.boot (loadNativeModule): New. * interp/sys-os.boot: Import "cfuns" and "sockio". (runProgram): New. * interp/sys-globals.boot (/SOURCEFILES): Define here. (/SPACELIST): Likewise. * interp/sys-driver.boot ($OpenAxiomCoreModuleLoaded): New global variable. (AxiomCore::%sysInit): Load libopen-axiom-core if necessary. ($defaultMsgDatabaseName): Define here. * interp/spad.lisp (|New,ENTRY,1|): Tidy. * interp/sockio.lisp: Move import declarations to sys-os.boot. Remove unused codes. * interp/server.boot (serverReadLine): Use coreQuit instead of BYE. * interp/pspad1.boot (formatMDEF): Tidy. * interp/pspad2.boot (formatIf1): Tidy. * interp/patches.lisp: Import "sys-driver". Remove $CURRENT-DIRECTORY. * interp/nruncomp.boot (buildFunctor): Use newDomainShell instead of GETREFV. * interp/nrunopt.boot (makeDomainTemplate): Likewise. * interp/package.boot (processFunctorOrPackage): Likewise. * interp/nlib.lisp (rdefiostream): Tidy. * interp/monitor.lisp (monitor-autoload): Define when GCL. * interp/interop.boot (oldAxiomCategoryDevaluate): Tidy. * interp/i-toplev.boot (start): Don't set $CURRENT-DIRECTORY. * interp/i-syscmd.boot (close): Use newDomainShell. (leaveScratchpad): Use coreQuit instead of BYE. (compileAsharpArchiveCmd): Use GET-CURRENT-DIRECTORY. * interp/g-util.boot (newDomainShell): Define. * interp/functor.boot (NewbFVectorCopy): Use newDomainShell. * interp/daase.lisp (asharp): Use runProgram. * interp/cfuns.lisp: Remove unused codes. (directoryp): Move import declaration to sys-os.bot. (writeablep): Likewise. * interp/buildom.boot (Record0): Use newDomainShell instead of GETREFV. (coerceRe2E): Likewise. (Union): Likewise. (Mapping): Likewise. (Enumeration): Likewise. * interp/category.boot (mkCategory): Likewise. * interp/Makefile.pamphlet (patches.$(FASLEXT)): Require sys-driver.$(FASLEXT). (sys-os.$(FASLEXT)): Require cfuns.$(FASLEXT), sockio.$(FASLEXT). * algebra/view2D.spad.pamphlet: Use $ViewportServer instead of VIEWPORTSERVER. Use sockSendInt instead of SOCK-SEND-INT. Use sockSendFloat instead of SEND-SEND-FLOAT. Use sockSendString instead of SOCK-SEND-STRING. Use sockGetInt instead of SOCK-GET-INT. Use sockGetFloat instead of SOCK-SEND-FLOAT. * algebra/view3D.spad.pamphlet: Likewise. * interp/util.lisp (fe): Remove. (fc): Likewise. (interp-make-directory): Simplify. (OLD-BOOT::BOOT): Don't declare *PRINT-PRETTY* and *PRINT-LENGTH* special.
2008-03-16Add support for MathML outputalfredoport4-6/+1475
2008-03-16 * lisp/Makefile.in (void_type): New.dos-reis3-6/+7
(char_type): Likewise. (int_type): Likewise. (float_type): Likewise. (double_type): Likewise. (string_type): Likewise. (pointer_type): Likewise. (edit): Use them. * interp/wi1.boot (ppFull): Tidy. Don't set *PRINT-DEPTH*. * interp/vmlisp.lisp (gcmsg): Define when SBCL. * interp/template.boot (measureCommon): Fix thinko. * interp/sys-utility.boot: Move basic type definition from g-util.boot to here. * interp/g-util.boot (augProplistOf): Fix signature declaration. * interp/daase.lisp: Tidy. * interp/c-util.boot (displayComp): Remove assignment to $X,$M,$F. * interp/boot-pkg.lisp: Tidy. * interp/axext_l.lisp: Likewise. * interp/Makefile.pamphlet (makeint.lisp): Call GBC only when GCL. ($(axiom_targetdir)/algebra/exposed.$(FASLEXT)): Tidy. (patches.$(FASLEXT)): Require debug.$(FASLEXT), g-timer.$(FASLEXT). (wi2.$(FASLEXT)): Require define.$(FASLEXT). (spad.$(FASLEXT)): Require postpar.$(FASLEXT), debug.$(FASLEXT). * boot/translator.boot (genImportDeclaration): Include translation for SBCL. * boot/parser.boot (bpMapping): Tidy. * boot/ast.boot (coreSymbol): New. (bootSymbol): Likewise. (bootSymbol): Likewise. * lisp/core.lisp.in (|$NativeTypeTable|): New. Export. * algebra/Makefile.pamphlet (COMPILE_LISP): Use $(INTERPSYS). * algebra/exposed.lsp.pamphlet: Tidy.
2008-03-15 * algebra/polset.spad.pamphlet (exactQuo$PSETCAT-): Don'tdos-reis1-77/+72
conditionally define as local function. Update cached Lisp translation.
2008-03-14 * algebra/pscat.spad.pamphlet: Likewise.dos-reis1-18/+218
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-06 00:46:54 +0000