open-axiom/src/algebra/any.spad.pamphlet, branch master
open scientific computation system
https://git.pashev.ru/open-axiom/atom?h=master
2016-01-18T02:17:04Z
Maybe: CoercibleTo OutputForm is now optional.
2016-01-18T02:17:04Z
Gabriel Dos Reis
gdr@axiomatics.org
2016-01-18T02:17:04Z
urn:sha1:5437d438937eb25eb320fef6e4fd6ebc91ca6dc9
cleanup
2011-05-17T05:01:33Z
dos-reis
gdr@axiomatics.org
2011-05-17T05:01:33Z
urn:sha1:86a5494a7187d226750c7cf49ce2c6505ec87079
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/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/g-opt.boot: Rename %eq to %peq for pointer comparaison.
2010-06-25T13:02:32Z
dos-reis
gdr@axiomatics.org
2010-06-25T13:02:32Z
urn:sha1:59676ddc602b874061a8acc941f7bb19cd6041f5
* 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.
* interp/c-util.boot (middleEndExpand): Tidy.
2010-05-30T20:06:08Z
dos-reis
gdr@axiomatics.org
2010-05-30T20:06:08Z
urn:sha1:b34d97dda5ce8c88d31412d11b1ad67da058480e
* 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.
* algebra/any.spad.pamphlet (Property): Tidy.
2010-03-18T08:27:34Z
dos-reis
gdr@axiomatics.org
2010-03-18T08:27:34Z
urn:sha1:a7e82885a54b8d91c1978affc3f0e4668876041b
(Environment): Likewise. Rename setProperty! to putProperty.
Rename setProperties! to putProperties.
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
2009-10-15T06:42:17Z
dos-reis
gdr@axiomatics.org
2009-10-15T06:42:17Z
urn:sha1:ba8c0daf0ca45c08bd5025f9dd67892132a16110
* algebra/any.spad.pamphlet (Any): Remove domainOf, objectOf, and
2009-06-15T00:57:36Z
dos-reis
gdr@axiomatics.org
2009-06-15T00:57:36Z
urn:sha1:372cd9bfe6aa41bacd17b25579a10a69b3933e2a
showTypeInOutput. Tidy.
* algebra/fortran.spad.pamphlet: Coerce Any objects to Output;
don't use objectOf.
Add support for existential type recovery.
2009-06-14T12:26:50Z
dos-reis
gdr@axiomatics.org
2009-06-14T12:26:50Z
urn:sha1:12b1b74f1e952694c8f182eb2b4ab369f6005ddf
* interp/compiler.boot (compRecoverDomain): New. Split from
compRecoverGuard.
(compRecoverGuard): Split. Handle existential type recovery.
(compScheme): New. Register as compiler.
* interp/g-opt.boot (optLET*): New. Turn into LET-form if
appropriate. Register as backend transformer.
* interp/fnewmeta.lisp (|PARSE-Scheme|): New.
(|PARSE-Quantifier|): Likewise.
(|PARSE-QuantifiedVariableList|): Likewise.
(|PARSE-QuantifiedVariable|): Likewise.
* interp/metalex.lisp (KEYWORDS): Add 'forall' and 'exist' as new
keywords.
* interp/newaux.lisp: Register parser for expression schemes.
* algebra/any.spad.pamphlet (=$Any): If the underlying domain has
BasicType, use that equality operator.
(coerce$Any): If the underlying domain has CoercibleTo OutputForm
then use it.