open-axiom/src/algebra/syntax.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2016-01-16T21:47:40Z
Reduce dependencies on databases to catgeory.daase during algebra build
2016-01-16T21:47:40Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-16T21:47:40Z
urn:sha1:b2eb2e7744d9947f6b5cf61c917014d9d5a4da7d
More algebra dependencies
2016-01-13T04:51:14Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-13T04:51:14Z
urn:sha1:3103b372fce33f563a2a96ec1876365e2d7a3668
* interp/nruncomp.boot (getLocalIndex): Fast track niladic
2012-02-05T00:56:39Z
dos-reis
gdr@axiomatics.org
2012-02-05T00:56:39Z
urn:sha1:bcb6177bcdd58160ef84e3563189f01c0cf3a1ea
constructors.
* algebra/syntax.spad.pamphlet: Miscellaneous cleanup.
* interp/postpar.boot (postNormalizeName): New.
2011-10-19T20:57:45Z
dos-reis
gdr@axiomatics.org
2011-10-19T20:57:45Z
urn:sha1:2227d0b0e896b63b8f27ff3ba8b9fc74495a8acb
(postAtom): Use it.
(postMDef): Do not generate artificial list of nils.
Leave left-hand-side as written in source code.
* interp/compiler.boot (compMacro): Tidy.
* interp/define.boot (checkRepresentation): Likewise.
* interp/parse.boot (parseMDEF): Likewise.
* algebra/syntax.spad.pamphlet (MacroAst): Adjust.
* interp/postpar.boot (displayPreCompilationErrors): Dot not check
2011-10-18T23:10:24Z
dos-reis
gdr@axiomatics.org
2011-10-18T23:10:24Z
urn:sha1:8eb956703b1347fe2ced725dfba56d35c6aecd74
for interactive mode.
(postBigFloat): Likewise.
(postDef): Likewise.
(postMDef): Likewise.
(tuple2List): Likewise.
(postReduce): Likewise.
(postQUOTE): Remove.
(postQuot): Likewise.
(postOp): Likewise.
(postTran): Adjust.
* interp/newaux.lisp: Replace %LET with ':='.
* interp/property.lisp: Likewise.
* interp/g-util.boot (getTypeOfSyntax): Likewise.
* interp/define.boot (checkRepresentation): Likewise.
(doIt): Likewise.
* interp/compiler.boot (compSetq): Likewise.
(compRecoverGuard): Likewise.
(compReduce1): Likewise.
* interp/c-util.boot (lhsOfAssignment): Likewise.
(isAlmostSimple): Likewise.
* interp/c-doc.boot (recordAttributeDocumentation): Likewise.
* interp/parse.boot (parseLeftArrow): Remove.
(parseLETD): Likewise.
(parseAssign): Rename from parseLET.
* algebra/syntax.spad.pamphlet (SpadAst): Handle both cases.
* interp/lexing.boot (matchAdvanceString): New.
2011-10-11T22:00:39Z
dos-reis
gdr@axiomatics.org
2011-10-11T22:00:39Z
urn:sha1:4aa013faa1399b7e31fa4220ae09b039c4a1b0e2
* interp/spad-parser.boot: New parsing functions.
* interp/fnewmeta.lisp: Use them.
(PARSE-VarForm): Remove.
(PARSE-Scripts): Likewise.
(PARSE-ScriptItem): Likewise.
(PARSE-AnyId): Likewise.
* interp/parsing.lisp (PARSE-OperatorFunctionName): Remove.
(MATCH-ADVANCE-STRING): Likewise.
* algebra/syntax.spad.pamphlet (Identifier): Remove
2011-09-09T08:07:27Z
dos-reis
gdr@axiomatics.org
2011-09-09T08:07:27Z
urn:sha1:096d1f6cdf716b2a22045872790743ebd49cc668
CoercibleTo Symbol and CoercibleTo String properties.
* algebra/symbol.spad.pamphlet (Symbol): Make RetractableTo Identifier.
* interp/c-util.boot (isSimple): Accept constructor instantiations.
2011-02-24T04:40:09Z
dos-reis
gdr@axiomatics.org
2011-02-24T04:40:09Z
urn:sha1:f2d31d8bc90b46e0c3373d2980cfa6f730148d1e
* algebra/formula.spad.pamphlet: Avoid Lispisms.
* algebra/mathml.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
Rename %veclit to %vector and %listlit to %list
2011-02-18T03:51:28Z
dos-reis
gdr@axiomatics.org
2011-02-18T03:51:28Z
urn:sha1:f6e5de243353518085fbd39be9daef1f121a96e3
* interp/lisp-backend.boot: Translate %ident? to IDENTP, not SYMBOLP.
2011-02-08T19:44:03Z
dos-reis
gdr@axiomatics.org
2011-02-08T19:44:03Z
urn:sha1:c3efb458ecde8f2b30f5b51ebeda24fbaf894ce9
* interp/compiler.boot (compMatch): test for identifier, not
atomic value.
* algebra/syntax.spad.pamphlet (Syntax): Tidy.