aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
AgeCommit message (Collapse)AuthorFilesLines
2008-09-21 * algebra/boolean.spad.pamphlet (Boolean): Now belong todos-reis2-11/+12
OrderedFinite.
2008-09-21Update algebra databases and algebra bootstrap Lisp files.dos-reis6-483/+464
2008-09-21 * interp/sys-macros.lisp (|byteEqual|): New.dos-reis4-53/+117
* algebra/boolean.spad.pamphlet (PropositionalLogic): Extend SetCategory. (PropositionalFormula): Now unconditional exports coercion to OutputForm. Adjust implementation. (KleeneTrivalentLogic): New. * algebra/data.spad.pamphlet (Byte): Tidy. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move PROPLOG to layer 1.
2008-09-20 * include/cfuns.h (oa_dirname): Declare.dos-reis1-2/+2
* lib/cfuns-c.c (openaxiom_is_path_separator): New. (oa_dirname): Define. (writeablep): Use it. * algebra/fname.spad.pamphlet (writable?$FileName): Tidy.
2008-09-19 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis4-3/+79
* algebra/Makefile.pamphlet: Add dependency rules for syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax domains.
2008-09-18 * interp/c-util.boot (displayAmbiguousSignatures): New.dos-reis30-48/+158
(ambiguousSignatureError): Likewise. * interp/define.boot (hasSigInTargetCategory): Use it to reject ambiguous lhs of a definition. * interp/lisplib.boot (leaveIfErrors): Fix typo. * algebra/aggcat.spad.pamphlet: Disambiguate definitions. * algebra/card.spad.pamphlet: Likewise. * algebra/dhmatrix.spad.pamphlet: Likewise. * algebra/divisor.spad.pamphlet: Likewise. * algebra/expexpan.spad.pamphlet: Likewise. * algebra/ffcat.spad.pamphlet: Likewise. * algebra/ffcg.spad.pamphlet: Likewise. * algebra/ffnb.spad.pamphlet: Likewise. * algebra/ffp.spad.pamphlet: Likewise. * algebra/generic.spad.pamphlet: Likewise. * algebra/groebf.spad.pamphlet: Likewise. * algebra/modring.spad.pamphlet: Likewise. * algebra/moebius.spad.pamphlet: Likewise. * algebra/mts.spad.pamphlet: Likewise. * algebra/naalgc.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/poly.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/prtition.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/tree.spad.pamphlet: Likewise. * algebra/triset.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/sf.spad.pamphlet: Remove signature for hash. * algebra/si.spad.pamphlet: Likewise.
2008-09-18 * algebra/mkfunc.spad.pamphlet (parseString$InputForm): New.dos-reis1-1/+7
2008-09-18 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis4-17/+392
* algebra/syntax.spad.pamphlet: Add more syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax object domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more syntax object files.
2008-09-14 * algebra/net.spad.pamphlet (Conduit): New.dos-reis4-6/+115
(InputByteConduit): Likewise. (OutputByteConduit): Likewise. (InputOutputByteConduit): Likewise. * algebra/exposed.lsp.pamphlet: Expose Conduit, InputByteConduit, OutputByteConduit, InputOutputByteConduit. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include CONDUIT. (axiom_algebra_layer_13): Include INBCON, INBCON-, OUTBCON, OUTBCON-. (axiom_algebra_layer_14): Include IOBCON.
2008-09-14 * interp/sys-os.boot (readablep): Import.dos-reis1-6/+11
(writeablep): Document. * algebra/fname.spad.pamphlet (exists?$FileName): Use existingFile? (readable?$FileName): Use readablep. (writeable?$FileName): Use writeable.
2008-09-07 * boot/parser.boot (bpImport): Invert syntax for importing foreigndos-reis1-0/+1
functions. * boot/strap/parser.clisp: Update. * interp/sys-os.boot: Change to new syntax throughout.
2008-09-07 Ensure SingleFloat is 32-bit, DoubleFloat 64-bit.dos-reis6-40/+37
* interp/types.boot: Tidy. * interp/sys-constants.boot: Define limits for builtin numeric types. * interp/sys-os.boot: Import sys-constants. * interp/foam_l.lisp: Import sys-constants. Align builtin numeric types with OpenAxiom runtime's. * interp/fortcall.boot: Tidy. * interp/i-output.boot: Likewise. * interp/Makefile.pamphlet (foam_l.$(FASLEXT)): Now require sys-constants.$(FASLEXT). * algebra/si.spad.pamphlet: Use $ShortMinimum and $ShortMaximum for SingleInteger limits. * algebra/sf.spad.pamphlet: Use $DoubleFloatMaximum, $DoubleFloatMinimum for DoubleFloat limits. * algebra/strap: Update cached Lisp translation.
2008-09-05 * interp/g-util.boot (getTypeOfSyntax): Handle more ASTs.dos-reis3-13/+636
* algebra/syntax.spad.pamphlet (SpadSyntaxCategory): Add pretty-printer. (HeadAst): Use Identifier. (TypeAst,MappingAst,ImportAst,SignatureAst,AttributeAst,JoinAst, IfAst,RepeatAst,WhileAst,InAst,CollectAst,ConstructAst, ExitAst,ReturnAst,SequenceAst,LetAst,PretendAst,CoerceAst, RestrictAst,CallAst,SegmentAst): New domains. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add TYPEAST, IMPTAST, MAPPAST, ATTRAST, JOINAST, IFAST, RPTAST WHILEAST, INAST, CLLCAST, LSTAST, EXITAST, RETAST, SEGAST, PRTDAST, CRCAST, LETAST. * share/algebra: Update databases.
2008-09-02 * algebra/syntax.spad.pamphlet (Literal): New.dos-reis4-20/+84
(Identifier): Likewise. (Signature): Tidy. * algebra/exposed.lsp.pamphlet: Expose IDENT and LITERAL. * algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add LITERAL and IDENT. (user-stamp): Don't depend directly on bootstrap-stamp. * share/algebra/: Update databases.
2008-09-012008-09-01 Martin Rubey <martin.rubey@univie.ac.at>dos-reis15-259/+193
Gabriel Dos Reis <gdr@cs.tamu.edu> Fix AW/431 * algebra/ore.spad.pamphlet (SpareUnivariateSkewPolynomial): Implement **. 2008-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu> Make ^ an alias for **. * interp/postpar.boot (postAtom): Replace "^" with "**". * interp/format.boot (reportOpSymbol): Announce that "^" is an alias for "**". * interp/nrungo.boot (compiledLookup): Be sure to look for "**" when operation is "^". * interp/define.boot (noteCapsuleFunctionDefinition): New. (clearCapsuleFunctionTable): Likewise. (noteExport): Likewise. (clearExportsTable): Likewise. (compDefineCapsuleFunction): Rename "^" to "**". Take a note of the capsule function being compiled. (compCapsule): Clear previous capsule functions table. (doItIf): Keep track of predicate validity. (compCategory): Clear previous exports table. (compCategoryItem): Take notes of declared attributes and signatures. * algebra/catdef.spad.pamphlet (DivisionRing): Remove duplicate definition for "^". (Group): Likewise. (Monoid): Likewise. (SemiGroup): Likewise. * algebra/poly.spad.pamphlet (PolynomialRing): Remove duplicate definitins of "^". (SparseUnivariatePolynomial): Likewise. * algebra/multpoly.spad.pamphlet (SparseMultivariatePolynomial): Remove duplicate definitions for "^". * algebra/interval.spad.pamphlet (Interval): Remove duplicate definition for "^". * algebra/curve.spad.pamphlet (FunctionFieldCategory): Remove duplicate declaration for represents. * algebra/strap/: Update cached Lisp translations. * share/algebra: Update databases.
2008-08-31 * algebra/stream.spad.pamphlet (Stream): Remove duplicate of concat.dos-reis3-12/+2
* algebra/naalgc.spad.pamphlet (FramedNonAssociativeAlgebra): disambiguate coordinates.
2008-08-31 * algebra/aggcat.spad.pamphlet (FiniteLinearAggregate): Removedos-reis6-14/+2
duplicate definition of reverse. * algebra/algcat.spad.pamphlet (FramedAlgebra): Remove duplicate definition of regularRepresentation. Explicitly disambiguate the argument of coodinates. * algebra/efupxs.spad.pamphlet (ElementaryFunctionsUnivariatePuiseuxSeries): Remove duplicate definition of asinhIfCan, acoshIfCan, asechIfCan, acshIfCan. * algebra/equation2.spad.pamphlet (Equation): Remove duplicate definition of *: (S,%) -> %. * algebra/fortpak.spad.pamphlet (MultiVariableCalculusFunctions): Remove duplicate definition of jacobian. * algebra/tree.spad.pamphlet (BinaryTree): Remove duplicate definition of empty.
2008-08-31Fix Bug AW308.alfredoport1-2/+2
2008-08-31Fix Bug AW15.alfredoport1-4/+12
2008-08-31Fix AW278.alfredoport1-4/+7
2008-08-31 * algebra/boolean.spad.pamphlet (Boolean): Remove definition ofdos-reis32-325/+318
operator ^. * algebra/aggcat.spad.pamphlet (BitAggregate): Likewise. * algebra/color.spad.pamphlet: Replace use of '^' as logical negation by 'not'. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/fortran.spad.pamphlet: Likewise. * algebra/gaussfac.spad.pamphlet: Likewise. * algebra/gbeuclid.spad.pamphlet: Likewise. * algebra/gbintern.spad.pamphlet: Likewise. * algebra/ghensel.spad.pamphlet: Likewise. * algebra/groebsol.spad.pamphlet: Likewise. * algebra/ideal.spad.pamphlet: Likewise. * algebra/idecomp.spad.pamphlet: Likewise. * algebra/indexedp.spad.pamphlet: Likewise. * algebra/listgcd.spad.pamphlet: Likewise. * algebra/mfinfact.spad.pamphlet: Likewise. * algebra/modgcd.spad.pamphlet: Likewise. * algebra/multfact.spad.pamphlet: Likewise. * algebra/multsqfr.spad.pamphlet: Likewise. * algebra/newpoint.spad.pamphlet: Likewise. * algebra/npcoef.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pgcd.spad.pamphlet: Likewise. * algebra/pleqn.spad.pamphlet: Likewise. * algebra/qalgset.spad.pamphlet: Likewise. * algebra/radeigen.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/solverad.spad.pamphlet: Likewise. * algebra/space.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise. * algebra/strap/: Update cached Lisp translateion * share/algebra/: Update databases.
2008-08-30More boring explicit import.dos-reis11-20/+298
2008-08-30More explicit importdos-reis9-8/+43
2008-08-29Add more explicit importsdos-reis12-14/+346
2008-08-29 * algebra/aggcat.spad.pamphlet: Import used domains.dos-reis14-4/+151
* algebra/any.spad.pamphlet: Likewise. * algebra/catdef.spad.pamphlet: Likewise. * algebra/drawopt.spad.pamphlet: Likewise. * algebra/equation2.spad.pamphlet: Likewise. * algebra/ituple.spad.pamphlet: Likewise. * algebra/mkfunc.spad.pamphlet: Likewise. * algebra/omdev.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/plot.spad.pamphlet: Likewise. * algebra/print.spad.pamphlet: Likewise. * algebra/seg.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/system.spad.pamphlet: Likewise.
2008-08-28 * Makefile.pamphlet: Tidy.dos-reis2-2/+2
2008-08-24 * algebra/net.spad.pamphlet: New.dos-reis5-8/+149
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOSTNAME and PORTNUM. * algebra/exposed.lsp.pamphlet: Export them. * algebra/data.spad.pamphlet (DataBuffer): New.
2008-08-23 * algebra/any.spad.pamphlet (Maybe): New domain.dos-reis4-5/+54
* algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include MAYBE.
2008-08-23 * algebra/view3D.spad.pamphlet (TUBE): Remove as unused.dos-reis1-4/+0
(FParamR): Likewise. (URF): Likewise.
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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 08:36:40 +0000