Hi, It has been a while since the last release (OpenAxiom-1.0.1). I'm planning to release OpenAxiom-1.1.0 on Thursday Febraury 14, 2008. New functionalities include:
(*) many bug fixes [yes, we can count them as functionalities ;-p]; (*) better support for domain definitions (now Rep definition is close to Aldor's) (*) support for union-like domains; (*) support for unevaluated arguments of arbitrary types; (*) support for batch processing. OpenAxiom-1.1.0 will be he first from the Axiom family to support batch processing: (1) you can use as it an interpreter, just like Python, Perl or Perl; (2) you can invoke it as compiler, as you would for GCC (*) support for highlighting Because of these distinctive functionalities, it has been decided to rename the driver from `axiom' to `open-axiom' to signal these traits. For batch processing, here is how you can an OpenAxiom script: [EMAIL PROTECTED]:~/tmp/open-axiom/> cat a.input #!/usr/local/bin/open-axiom --script fib n == n = 0 => 1 n = 1 => 1 fib(n-1) + fib(n-2) fib 5 [EMAIL PROTECTED]:~/tmp/open-axiom/> chmod +x a.input [EMAIL PROTECTED]:~/tmp/open-axiom/> ./a.input Feel free to replace /usr/local with your installation prefix. I'll be working on ironing out remaining issues, but it basically works. Enjoy. -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel