open-axiom/src/algebra/domain.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2011-09-07T22:38:03Z
* interp/lisplib.boot (finalizeLisplib): Finalize documentaion
2011-09-07T22:38:03Z
dos-reis
gdr@axiomatics.org
2011-09-07T22:38:03Z
urn:sha1:6e67d369c25e19452a8a76a3864a63c5860e7cd3
only if not bootstrapping.
(isFunctor): Tidy.
* interp/g-util.boot (superType): Tidy.
* interp/database.boot (getDualSignature): Rename from
getDualSignatureFromDB. Adjust callers.
* interp/c-util.boot (isKnownCategory): Remove.
(diagnoseUnknownType): Use isCategoryForm.
* interp/bootlex.lisp (GET-INTEGER-IN-RADIX): Use SPAD_SYNTAX_ERROR.
* interp/metalex.lisp (GET-STRING-TOKEN): Likewise.
* interp/parsing.lisp (MUST): Likewise.
* algebra/boolean.spad.pamphlet (Refrence) [coerce]: Bypass
conversion to Identifier.
* algebra/domain.spad.pamphlet (ContructorKind): Tidy.
* interp/define.boot: Use DB for current constructor.
2011-09-06T02:19:11Z
dos-reis
gdr@axiomatics.org
2011-09-06T02:19:11Z
urn:sha1:2f2f19f2d1cd9fd580f8ec719a26473defabce8f
(mkCategoryPackage): Category defaults are packages, not domains.
* interp/functor.boot (encodeFunctionName): Use current
constructor DB. First argument is now a DB. Adjust caller.
* algebra/domain.spad.pamphlet (DomainConstructo) [functorData]:
Use getInfovec.
* interp/c-util.boot (categoryAssociatedTypes): Rename from
2011-08-18T14:03:04Z
dos-reis
gdr@axiomatics.org
2011-08-18T14:03:04Z
urn:sha1:44936f3d978b3a47cc67a3a51fe43030b24e0a9e
categoryHierarchy. Adjust callers.
(categoryPrincipals): New.
(categoryAncestors): Likewise.
(categoryLocals): Likewise.
(categoryParameters): Likewise.
(extendsCategoryForm): Use them.
* interp/category.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/modemap.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/database.boot (getCategoryAttributes): Remove.
(getPrincipalAncestors): Likewise.
(getCategoryParents): Likewise.
* algebra/domain.spad.pamphlet (Category): Adjust.
cleanup
2011-05-17T05:01:33Z
dos-reis
gdr@axiomatics.org
2011-05-17T05:01:33Z
urn:sha1:86a5494a7187d226750c7cf49ce2c6505ec87079
cleanup
2011-05-02T09:28:50Z
dos-reis
gdr@axiomatics.org
2011-05-02T09:28:50Z
urn:sha1:6835b7615420cbb3d0db15c2a5ab1c5785ff40dd
clean up
2011-02-08T18:11:18Z
dos-reis
gdr@axiomatics.org
2011-02-08T18:11:18Z
urn:sha1:2a235748f5933b7514a01247afd5f73371a1e542
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove more Lisp
2011-02-04T23:34:39Z
dos-reis
gdr@axiomatics.org
2011-02-04T23:34:39Z
urn:sha1:dd16b47e4904b1839b2918cf5b38c352979a6141
level operators. Include %property and %bitveclt.
* interp/lisp-backend.boot: Expand them.
* algebra/si.spad.pamphlet (SingleInteger): Tidy. Use %ismall?.
* algebra/domain.spad.pamphlet (DomainConstructo): Use %property.
* algebra/outform.spad.pamphlet (OutputForm): Likewise.
* algebra/boolean.spad.pamphlet (IndexedBits): Use %bitveclt.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Remove QCDR,
2011-01-31T14:14:08Z
dos-reis
gdr@axiomatics.org
2011-01-31T14:14:08Z
urn:sha1:308c8ede509d3d186d6d43402b5335867ebdb49e
QCAR. SYMBOLP, GREATERP.
Add %ibit, %ilength, %ident, %equal.
* interp/g-util.boot: Expand them
* algebra/any.spad.pamphlet: Tidy.
* algebra/catdef.spad.pamphlet: Likewise.
* algebra/data.spad.pamphlet: Likewise.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/float.spad.pamphlet: Likewise.
* algebra/fname.spad.pamphlet: Likewise.
* algebra/integer.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/random.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/si.spad.pamphlet: Likewise.
* algebra/symbol.spad.pamphlet: Likewise.
* algebra/syntax.spad.pamphlet: Likewise.
* interp/nrunfast.boot (evalSlotDomain): Expand to VM forms before
2011-01-02T10:09:37Z
dos-reis
gdr@axiomatics.org
2011-01-02T10:09:37Z
urn:sha1:2b2ae9894f66dba65af62fb08b9d79b2aee2a2a8
value argument evaluation.
(lazyMatch): Check for %llength too.
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %2bit
and %2bool.
* interp/g-util.boot: Expand them.
* interp/define.boot (compJoin): Check for %llenght too.
* algebra/boolean.spad.pamphlet: Tidy.
* algebra/domain.spad.pamphlet: Likewise.
* algebra/draw.spad.pamphlet: Likewise.
* algebra/files.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/outform.spad.pamphlet: Likewise.
* algebra/sex.spad.pamphlet: Likewise.
* algebra/sf.spad.pamphlet: Likewise.
Forgot to commit change this
2010-07-11T15:33:37Z
dos-reis
gdr@axiomatics.org
2010-07-11T15:33:37Z
urn:sha1:e15a618f184aeb8cfd29128e610c336ccd4a984b