On Mon, Jun 8, 2009 at 11:27 AM, Gabriel Dos Reis wrote:
> On Mon, Jun 8, 2009 at 9:55 AM, Bill Page wrote:
>> Gaby,
>>
>> I noticed the following commit item in passing:
>>
>>> <li>Declared variable with no specified values are now handled
>>> + as if symbolic value with a specified type.</li>
>>> +
>>
>> Could you explain a little about how this works. Specifically: What is
>> meant by "handled as if symbolic value with a specified type"? Have
>> you implemented something similar to the ideas in the paper that you
>> presented at PLMMS 2008 last year?
>
> I'm trying to simplify what was presented in that paper (and I'm working on
a new implementation.) There are still some work to be done
>
Great. I believe that treating this properly is very important to
OpenAxiom (and Axiom in general).
>> Does OpenAxiom behavior now differ from that shown below?
>
> Yes.
>
I am very interested!
>>
>> wsp...@debian:~$ open-axiom -nox
>> GCL (GNU Common Lisp) 2.6.7 CLtL1 Sep 1 2008 14:01:57
>> Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl)
>> Binary License: GPL due to GPL'ed components: (XGCL READLINE BFD UNEXEC)
>> Modifications of this banner must retain notice of a compatible license
>> Dedicated to the memory of W. Schelter
>>
>> Use (help) to get some basic information on how to use GCL.
>> Temporary directory for compiler files set to /tmp/
>> OpenAxiom: The Open Scientific Computation Platform
>> Version: OpenAxiom 1.3.0-2009-03-08
>> Built on Tuesday March 17, 2009 at 08:13:56
>
> A very old trunk version :-)
>
I will re-build from the current trunk today.
>> -----------------------------------------------------------------------------
>> Issue )copyright to view copyright notices.
>> Issue )summary for a summary of useful system commands.
>> Issue )quit to leave OpenAxiom and return to shell.
>> -----------------------------------------------------------------------------
>>
>> (1) -> x:Integer
>> Type: Void
>> (2) -> x+1
>>
>> x is declared as being in Integer but has not been given a value.
>
> (1) -> x: Integer
> Type: Void
> (2) -> x + 1
>
> (2) x + 1
> Type: Expression Integer
>
>
> There is more to be done/implemented.
>
In the domain Expression Integer, x is a Symbol. Right?
So does this just mean (in the current state of OpenAxiom) that any
variable with a declared type that has not yet been given a value can
be coerced to a Symbol? If so, I think that is a good first step.
Can I now ask, for example
(3) -> typeOf(variables(x+1).1)
and expect to get this:
(3) Integer
Type: Domain
instead of what I used to get:
(3) Symbol
Type: Domain
Regards,
Bill Page.
------------------------------------------------------------------------------
Crystal Reports - New Free Runtime and 30 Day Trial
Check out the new simplified licensing option that enables unlimited
royalty-free distribution of the report engine for externally facing
server and web deployment.
http://p.sf.net/sfu/businessobjects
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
