On Mon, Jun 8, 2009 at 9:55 AM, Bill Page<bill.p...@newsynthesis.org> 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
> Does OpenAxiom behavior now differ
> from that shown below?
Yes.
>
> 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 :-)
> -----------------------------------------------------------------------------
> 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.
------------------------------------------------------------------------------
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
