aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
AgeCommit message (Collapse)AuthorFilesLines
2010-07-22more cleanupdos-reis1-1/+3
2010-07-13 * interp/g-opt.boot: %sname is a side-effect free operator.dos-reis1-2/+4
* interp/g-util.boot: Expand it. * algebra/syntax.spad.pamphlet (Identifer): Now satisfies CoercibleTo String.
2010-06-25 * interp/g-opt.boot: Rename %eq to %peq for pointer comparaison.dos-reis1-4/+4
* interp/g-util.boot: Expand it. * algebra/aggcat.spad.pamphlet: Cleanup. * algebra/any.spad.pamphlet: Likewise. * algebra/boolean.spad.pamphlet: Likewise. * algebra/data.spad.pamphlet: Likewise. * algebra/domain.spad.pamphlet: Likewise. * algebra/files.spad.pamphlet: Likewise. * algebra/laurent.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: Likewise. * algebra/mappkg.spad.pamphlet: Likewise. * algebra/ore.spad.pamphlet: Likewise. * algebra/padic.spad.pamphlet: Likewise. * algebra/pattern.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise. * algebra/stream.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise. * algebra/syntax.spad.pamphlet: Likewise. * algebra/table.spad.pamphlet: Likewise.
2010-06-01 * interp/g-util.boot: Add more opcodes.dos-reis1-10/+18
* algebra/syntax.spad.pamphlet: Clean up. * algebra/variable.spad.pamphlet: Likewise. * algebra/ystream.spad.pamphlet: Likewise.
2010-05-30 * interp/c-util.boot (middleEndExpand): Tidy.dos-reis1-2/+2
* interp/g-util.boot (expandToVMForm): Likewise. (expandStore): Refine store to pair components. * algebra/any.spad.pamphlet (Scope): Use builtin operators. (Environment): Likewise. * algebra/domain.spad.pamphlet (FunctionDescriptor): Likewise. (ConstructorCall): Likewise. (FunctorData): Likewise. (OperatorSignature): Likewise. (Category): Likewise. (Domain): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. (NonNegativeInteger): Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/syntax.spad.pamphlet (Syntax): Likewise.
2010-03-12 * algebra/compiler.spad.pamphlet: New.dos-reis1-18/+0
2010-03-12 * algebra/syntax.spad.pamphlet (InternalRepresentationForm): New.dos-reis1-0/+17
2009-11-17 * algebra/syntax.spad.pamphlet (SpadAstExports): Add case for JoinAst.dos-reis1-0/+11
2009-11-17 * algebra/syntax.spad.pamphlet (StepAst): New.dos-reis1-53/+117
(SpadAstExports): Add case for StepAst. (SpadAst): Implement.
2009-11-09 Fix SF/2893009dos-reis1-7/+57
* algebra/syntax.spad.pamphlet (ParameterAst): New. (HeadAst): Use it. * testsuite/interpreter/sf-2893009.input: Likewise. * testsuite/interpreter/sf-2893009.spad: New.
2009-10-15 * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.dos-reis1-1/+1
2009-06-17 * algebra/domain.spad.pamphlet: ConstructorCall is nowdos-reis1-1/+1
parameterized by the constructor category.
2009-06-11 * algebra/: Remove quotes from operator namaes in signatures.dos-reis1-44/+44
2009-06-01 Fix SF/2799238dos-reis1-1/+1
* algebra/syntax.spad.pamphlet (SpadAst): Fix typo.
2009-04-25 * algebra/strap/PRIMARR.lsp: Remove.dos-reis1-3/+4
2009-04-24 * algebra/syntax.spad.pamphlet (new$Identifier): New.dos-reis1-1/+4
2009-04-20 * interp/sys-constants.boot ($Identifier): New.dos-reis1-72/+78
* interp/compiler.boot (compQuote): Use the target mode if appropriate. * interp/i-spec2.boot (upQUOTE): Likewise. * algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.
2008-12-26 r12485@gauss: gdr | 2008-12-17 16:26:21 -0600dos-reis1-79/+14
Branch to improve reflection. r12493@gauss: gdr | 2008-12-20 23:29:51 -0600 Add domain representations for constructors. r12494@gauss: gdr | 2008-12-21 14:27:37 -0600 Consolidate constructor domains. r12502@gauss: gdr | 2008-12-22 20:36:21 -0600 Constructors are values. r12504@gauss: gdr | 2008-12-25 13:58:01 -0600 r12505@gauss: gdr | 2008-12-25 18:48:04 -0600 Commit ChangeLog.
2008-11-21 * algebra/alql.spad.pamphlet (Database): Now CoercibleFrom List S.dos-reis1-3/+1
* algebra/asp.spad.pamphlet (Asp20): Now CoercibleFrom MAT FEXPR. (Asp6): Now CoercibleFrom Vector FEXPR. * algebra/catdef.spad.pamphlet (Algebra): Extend CoercibleFrom R. (Ring): Extend CoercibleFrom Integer. * algebra/formula.spad.pamphlet (ScriptFormulaFormat): Now CoercibleFrom E. * algebra/fortran.spad.pamphlet (FortranCode): Remove redundant signature. * algebra/fs2ups.spad.pamphlet (FunctionSpaceToUnivariatePowerSeries): Tidy parameter. * algebra/laurent.spad.pamphlet (UnivariateLaurentSeriesConstructorCategory): Extend CoercibleFrom UTS. * algebra/manip.spad.pamphlet (PolynomialRoots): Tidy parameter. * algebra/modmon.spad.pamphlet (ModMonic): Now CoercibleFrom Rep. * algebra/ore.spad.pamphlet (UnivariateSkewPolynomial): Now CoercibleFrom Variable x.
2008-11-03 * algebra/syntax.spad.pamphlet (Syntax): Print syntax objects asdos-reis1-2/+3
s-expressions. * algebra/sex.spad.pamphlet (SExpression): Print strings as String.
2008-10-27 * configure.ac.pamphlet: Look for path to `awk'.dos-reis1-0/+1
Instantiate src/hyper/presea.
2008-10-19 * algebra/syntax.spad.pamphlet (Syntax): Now belong todos-reis1-19/+25
RetractableTo Integer, RetractableTo DoubleFloat, RetractableTo Symbol, and RetractableTo String.
2008-10-19 * algebra/syntax.spad.pamphlet (Syntax): Simplify.dos-reis1-42/+36
2008-09-22 * boot/parser.boot (bpReturn): Allow assignment.dos-reis1-1/+3
2008-09-22Tidy Syntax and SpadAst.dos-reis1-11/+36
2008-09-22 * algebra/syntax.spad.pamphlet: Tie the recursive knots betweendos-reis1-284/+352
syntax domains.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAst): New.dos-reis1-32/+126
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST. * share/algebra: Update algebra databases.
2008-09-21 * algebra/syntax.spad.pamphlet (SpadAstExports): New.dos-reis1-0/+183
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADXPT. Update dependency rules. * share/algebra: Update algebra databases.
2008-09-19 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis1-3/+4
* algebra/Makefile.pamphlet: Add dependency rules for syntax domains. * algebra/exposed.lsp.pamphlet: Expose more syntax domains.
2008-09-18 * interp/g-util.boot (getTypeOfSyntax): Infer more syntax domains.dos-reis1-7/+362
* 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-05 * interp/g-util.boot (getTypeOfSyntax): Handle more ASTs.dos-reis1-9/+616
* 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-reis1-13/+68
(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-08-29Add more explicit importsdos-reis1-0/+26
2008-08-10 * algebra/syntax.spad.pamphlet (AbstractSyntaxCategory): New.dos-reis1-0/+45
(HeadAst): Likewise.
2008-07-15 * share/algebra: Update databases.dos-reis1-0/+28
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG. * algebra/syntax.spad.pamphlet (Signature): New.
2008-07-03 Fix AW/428dos-reis1-5/+7
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of SetCategory. (Domain): Likewise. * share/algebra: Update databases. * testsuite/interpreter/aw-428.input: New.
2008-02-14Update release informationdos-reis1-31/+27
2008-01-21 * algebra/syntax.spad.pamphlet (Syntax): Assert a member ofdos-reis1-2/+6
SetCategory. Implement equality. * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Move BASTYPE.o from layer 3 to here. Move SYNTAX.o from here to layer 1. (axiom_algebra_layer_1): Move CTROCALL.o to layer 2. * share/algebra: Update database.
2008-01-20 * algebra/syntax.spad.pamphlet (ElaboratedExpression): New.dos-reis1-0/+64
* algebra/any.spad.pamphlet: Rename ObjectProperty to Property. * algebra/exposed.lsp.pamphlet: Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_5): Include ELABEXPR.o * share/algebra: Update databases.
2008-01-20 * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad.dos-reis1-0/+285
Add a new domain for constructor instantiation form. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include CTORCALL.o (SYNTAX.NRLIB/code.$(FASLEXT)): Remove rule. Now implicit. * share/algebra: Update databases.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 20:59:07 +0000