aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2008-09-21 * interp/sys-macros.lisp (|byteEqual|): New.dos-reis6-55/+134
* 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-reis22-59/+129
* 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-reis8-37/+120
* algebra/Makefile.pamphlet: Add dependency rules for syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax domains.
2008-09-19 * interp/lisplib.boot (getConstructorSignature): Relax.dos-reis2-4/+8
2008-09-18Update algebra databasesdos-reis9-26428/+28555
2008-09-18 * interp/c-util.boot (displayAmbiguousSignatures): New.dos-reis34-53/+213
(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-reis2-1/+12
2008-09-18 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis9-28/+421
* 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-reis10-28122/+26364
(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-reis4-12/+39
(writeablep): Document. * algebra/fname.spad.pamphlet (exists?$FileName): Use existingFile? (readable?$FileName): Use readablep. (writeable?$FileName): Use writeable.
2008-09-14 * lisp/core.lisp.in (TRANSLATE-OPTION-VALUE): New.dos-reis2-1/+22
(parseOption): Use it.
2008-09-13 * lisp/core.lisp.in (|$NativeTypeTable|): Don' include `pointer'dos-reis9-66/+81
and `buffer'. * lisp/Makefile.in (pointer_type): Remove. (edit): Tidy. * boot/ast.boot (nativeType): Tidy. Handle `pointer' and `buffer' here. * boot/translator.boot (genImportDeclaration): Tidy.
2008-09-13 * boot/translator.boot (AxiomCore::%sysInit) [ECL]: Removedos-reis2-2/+9
settings for ECL-base builds. (getIntermediateLispFile): Tidy.
2008-09-10 * interp/define.boot (displayMissingFunctions): Fix typo.dos-reis5-12/+16
2008-09-09 * lib/sockio-c.c (openaxiom_sleep): Move to open-axiom.h.dos-reis12-43/+56
* clef/edible.c: Include "open-axiom.h". Use openaxiom_sleep, not sleep. * graph/view2D/viewport2D.c: Likewise. * graph/viewAlone/spoon2D.c: Likewise. * graph/viewAlone/spoonComp.c: Likewise. * graph/viewman/fun2D.c: Likewise. * graph/viewman/fun3D.c: Likewise. * hyper/spadint.c: Likewise. * sman/session.c: Likewise. * sman/sman.c: Likewise.
2008-09-07 * boot/parser.boot (bpImport): Invert syntax for importing foreigndos-reis10-96/+117
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-reis17-97/+160
* 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-07Fix HANDLE/socket mismatch.dos-reis3-9/+20
2008-09-07Fix compilation failure on MinGW.dos-reis2-2/+9
2008-09-06Fix typodos-reis1-1/+1
2008-09-06 * interp/sys-os.boot (openIP4ClientStreamSocket): New.dos-reis7-57/+144
(readFromStreamSocket): Likewise. (writeToStreamSocket): Likewise. (closeSocket): Likewise. * include/sockio.h: Include <arpa/inet.h> (oa_open_ip4_client_stream_socket): Declare. (oa_socket_write): Likewise. (oa_socket_read): Likewise. * lib/sockio-c.c (openaxiom_unload_socket_module): New. (openaxiom_load_socket_module): Tidy. (openaxiom_socket_is_invalid): New. (is_invalid_socket): Use it. (oa_open_ip4_client_stream_socket): Define. (oa_socket_read): Likewise. (oa_socket_write): Likewise.
2008-09-06(no commit message)dos-reis1-0/+4
2008-09-06Sync with 1.2 versiondos-reis1-32/+51
2008-09-05 * interp/daase.lisp (processDir): Lose last argument. Don'tdos-reis6-23/+31
change directory. (localdatabase): Adjust call. * interp/lisplib.boot (getAllIndexPathnames): Take an argument. (getAllAldorObjectFiles): Likewise.
2008-09-05 * interp/g-util.boot (getTypeOfSyntax): Handle more ASTs.dos-reis10-26867/+27717
* 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-02Use OpenAxiom in Hyperdoc pages.alfredoport3-6/+9
2008-09-02 * algebra/syntax.spad.pamphlet (Literal): New.dos-reis15-25293/+25415
(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-01List Alfredo as HyperDoc maintainerdos-reis1-0/+5
2008-09-012008-09-01 Martin Rubey <martin.rubey@univie.ac.at>dos-reis25-19497/+19535
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-reis9-18875/+18869
* algebra/naalgc.spad.pamphlet (FramedNonAssociativeAlgebra): disambiguate coordinates.
2008-08-31 * algebra/aggcat.spad.pamphlet (FiniteLinearAggregate): Removedos-reis15-16676/+16681
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 ChangeLog entrydos-reis1-3/+7
2008-08-31Restore commented commands.alfredoport2-5/+7
2008-08-31Fix Bug AW308.alfredoport2-2/+6
2008-08-31Fix Bug AW15.alfredoport2-4/+16
2008-08-31Fix AW278.alfredoport2-4/+11
2008-08-31 * algebra/boolean.spad.pamphlet (Boolean): Remove definition ofdos-reis41-25296/+27289
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-30 * lib/sockio-c.c (oa_open_local_client_stream_socket): Usedos-reis2-1/+6
OPENAXIOM_AF_LOCAL, not AF_LOCAL.
2008-08-30More boring explicit import.dos-reis11-20/+298
2008-08-30 * interp/sys-driver.boot (initializeGlobalState): Parse --bootstrap.dos-reis2-0/+5
2008-08-30More explicit importdos-reis9-8/+43
2008-08-29Fixes to HyperDoc by Waldek Hebisch.alfredoport8-13/+24
2008-08-29Add more explicit importsdos-reis13-25/+357
2008-08-29 * algebra/aggcat.spad.pamphlet: Import used domains.dos-reis18-15/+179
* 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-292008-08-29 Waldek Hebisch <hebisch@math.uni.wroc.pl>dos-reis2-0/+8
Alfredo Portes <doyenatccny@gmail.com> Fix AW/280 * interp/br-search.boot (grepConstruct): Return error messages verbatim.
2008-08-29 * interp/c-util.boot (isKnownType): New.dos-reis3-0/+35
(diagnoseUknownType): Likewise. * interp/define.boot (compCategoryItem): Use it. Check for unknown types.
2008-08-29 * interp/lisplib.boot (augModemapsFromDomain1): Move to modemap.bootdos-reis4-54/+40
(mkEvalableCategoryForm): Move to define.boot
2008-08-29 * interp/sys-os.boot (readFromFileHandle): New.dos-reis4-0/+141
(writeToFileHandle): Likewise. (closeFileHandle): Likewise. (openLocalClientStreamSocket): Likewise (oa_filedesc_read): Likewise. (oa_filedesc_write): Likewise. (oa_filedesc_close): Likewise. * include/sockio.h (oa_open_local_client_stream_socket): Declare. * lib/sockio-c.c (oa_open_local_client_stream_socket): Define. (oa_filedesc_read): Likewise. (oa_filedesc_write): Likewise. (oa_filedesc_close): Likewise.
2008-08-28 * Makefile.pamphlet: Tidy.dos-reis8-29/+33
2008-08-24 * etc/Makefile.in: Tidy databases construction rule.dos-reis2-4/+14