open-axiom/src/algebra/variable.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2015-12-30T18:59:32Z
Use CoercibleTo category instances instead of ad-hoc hard-wired 'coerce: % -> T' signatures.
2015-12-30T18:59:32Z
Gabriel Dos Reis
gdr@axiomatics.org
2015-12-30T18:59:32Z
urn:sha1:853eb071dce89161c796d81b24eddd9e073687af
* interp/g-util.boot: Add more opcodes.
2010-06-01T00:22:44Z
dos-reis
gdr@axiomatics.org
2010-06-01T00:22:44Z
urn:sha1:5b0462a5f0b499c2c3177e36e52b476875141969
* algebra/syntax.spad.pamphlet: Clean up.
* algebra/variable.spad.pamphlet: Likewise.
* algebra/ystream.spad.pamphlet: Likewise.
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
2009-10-15T06:42:17Z
dos-reis
gdr@axiomatics.org
2009-10-15T06:42:17Z
urn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110
* interp/sys-constants.boot ($Identifier): New.
2009-04-20T15:07:26Z
dos-reis
gdr@axiomatics.org
2009-04-20T15:07:26Z
urn:sha1:4601ffa3bc49e44b09f7d58f355d76f4d06de220
* 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.
* algebra/variable.spad.pamphlet (ModePatternVariable): New.
2008-06-14T11:42:16Z
dos-reis
gdr@axiomatics.org
2008-06-14T11:42:16Z
urn:sha1:c2d4514bfae7dbe8572c69fac2b9c013252d31f1
* algebra/variable.spad.pamphlet (AnonymousFunction): Add new
2008-02-19T00:35:15Z
dos-reis
gdr@axiomatics.org
2008-02-19T00:35:15Z
urn:sha1:9fbb89443e0c88ee5e76d95a3eea2ac5ea9916b6
functions `parameters' and `body'.
* algebra/domain.spad.pamphlet: Rename from algebra/domain.spad.
(Category): New category.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CATEGORY.o.
(DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule.
* interp/trace.boot (transTraceItem): Use $LangSupportTypes.
* interp/sys-constants.boot ($None): New.
($Type): Likewise.
($LangSupportTypes): Likewise.
* interp/parse.boot (parseHas): Use $LangSupportTypes.
(parseHasRhs): Likewise.
* interp/i-spec2.boot (upLETtype): Use conceptualType.
(uptypeOf): Likewise.
(upwhere): Likewise.
(typeOfType): Remove.
* interp/i-spec1.boot (isDomainValuedVariable): Variables with
type Category and Type are domain valued too.
* interp/i-output.boot (output): Special case only Mode and Type.
* interp/i-funsel.boot (selectMms): Don't ignore modemaps with
category parameters.
* interp/i-coerce.boot (canCoerce1): Test for Category instead of
SubDomain Domain.
(canCoerceFrom0): Use $None and $Any.
(absolutelyCannotCoerce): Use $None.
(coerceInteractive): Use $LangSupportTypes.
(coerceInt1): Use $Any.
* interp/i-analy.boot (conceptualType): New.
(bottomUpType): Use it.
* interp/clammed.boot (isValidType): Use $LangSupportTypes.
* interp/g-cndata.boot (isNameOfType): Likewise.
* interp/category.boot (Category): Remove hacky definition.
* interp/buildom.boot ($noCategoryDomains): Domain now has a
Lisplib.
Initial population.
2007-08-14T05:14:52Z
dos-reis
gdr@axiomatics.org
2007-08-14T05:14:52Z
urn:sha1:ab8cc85adde879fb963c94d15675783f2cf4b183