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? Does OpenAxiom behavior now differ
from that shown below?
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
-----------------------------------------------------------------------------
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.
(2) ->
Regards,
Bill Page.
On Fri, Jun 5, 2009 at 8:38 PM, <dos-r...@users.sourceforge.net> wrote:
> Revision: 1190
> http://open-axiom.svn.sourceforge.net/open-axiom/?rev=1190&view=rev
> Author: dos-reis
> Date: 2009-06-06 00:38:03 +0000 (Sat, 06 Jun 2009)
>
> Log Message:
> -----------
>
>
> Modified Paths:
> --------------
> htdocs/1.3/index.html
>
> Modified: htdocs/1.3/index.html
> ===================================================================
> --- htdocs/1.3/index.html 2009-06-01 17:54:16 UTC (rev 1189)
> +++ htdocs/1.3/index.html 2009-06-06 00:38:03 UTC (rev 1190)
> @@ -116,6 +116,27 @@
> </li>
> </ul>
>
> + <h4 name="1.3.0-changes-interp">2.1.3. Interpreter</h4>
> +
> + <ul>
> + <li>Declared variable with no specified values are now handled
> + as if symbolic value with a specified type.</li>
> +
> + <li>The interpreter now parses a disjunctive expression
> + involving the 'is' operator the obvious way. E.g. Now
> + <pre>
> + T is Integer or T has Ring
> + </pre>
> + is now understood as
> + <pre>
> + (T is Integer) or (T has Ring)
> + </pre>
> + </li>
> +
> + <li>The interpreter now handles existentially quantified or
> + universally quantified expressions</li>
> + </ul>
> +
> <h4 name="1.3.0-changes-alg">2.1.3. Algebra</h4>
>
> The following types have been added to OpenAxiom-1.3.0
>
>
> This was sent by the SourceForge.net collaborative development platform, the
> world's largest Open Source development site.
>
> ------------------------------------------------------------------------------
> OpenSolaris 2009.06 is a cutting edge operating system for enterprises
> looking to deploy the next generation of Solaris that includes the latest
> innovations from Sun and the OpenSource community. Download a copy and
> enjoy capabilities such as Networking, Storage and Virtualization.
> Go to: http://p.sf.net/sfu/opensolaris-get
> _______________________________________________
> open-axiom-commit mailing list
> open-axiom-com...@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/open-axiom-commit
>
------------------------------------------------------------------------------
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
