Age | Commit message (Collapse) | Author | Files | Lines |
|
* 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.
|
|
s-expressions.
* algebra/sex.spad.pamphlet (SExpression): Print strings as
String.
|
|
Instantiate src/hyper/presea.
|
|
RetractableTo Integer, RetractableTo DoubleFloat, RetractableTo
Symbol, and RetractableTo String.
|
|
|
|
|
|
|
|
syntax domains.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add SPADAST.
* share/algebra: Update algebra databases.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add
SPADXPT. Update dependency rules.
* share/algebra: Update algebra databases.
|
|
* algebra/Makefile.pamphlet: Add dependency rules for syntax
domains.
* algebra/exposed.lsp.pamphlet: Expose more syntax domains.
|
|
* 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.
|
|
* 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.
|
|
(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.
|
|
|
|
(HeadAst): Likewise.
|
|
* algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG.
* algebra/syntax.spad.pamphlet (Signature): New.
|
|
* algebra/syntax.spad.pamphlet (ConstructorCall): Now a member of
SetCategory.
(Domain): Likewise.
* share/algebra: Update databases.
* testsuite/interpreter/aw-428.input: New.
|
|
|
|
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.
|
|
* 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.
|
|
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.
|