3 Jun 2008 01:36

### Re: [open-axiom-devel] makeAxExportForm

Ralf Hemmecke wrote:
>
> src/interp/ax.boot
>
> contains the function
>
> makeAxExportForm(filename, constructors) ==
<snip>
>
> PS: Why is there a parameter "filename" if it is not used in the
> function? (Well I don't understand boot, so that may be a stupid question.)
>

Above makeAxExportForm is makeAxFile which is almost identical
to makeAxExportForm but prints the result to a file (named by
the filename argument).

--

--
Waldek Hebisch
hebisch@...

-------------------------------------------------------------------------
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/

4 Jun 2008 00:52

### [open-axiom-devel] Fwd: Survey of the Axiom family

---------- Forwarded message ----------
From: "David Joyner" <wdjoyner@...>
To: axiom-math <axiom-math@...>, fricas-devel@...,
open-axiom-devel@...
Date: Tue, 3 Jun 2008 18:08:39 -0400
Subject: Axiom survey article
Hi:
I'm told my SIGSAM Bull (now called Comm in Comp Alg) survey on Axiom
will appear very soon. The latest version (which is a year old) is at
http://sage.math.washington.edu/home/wdj/sigsam/oscas-cca2.pdf
I know there are several updates which should be made but
I wanted to email the axiom/fricas/openaxiom lists in case anyone has
suggestions or announcements they wanted included. Please let me
know ASAP if you do, since I only have today and tomorrow
to make changes.
- David Joyner

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php

4 Jun 2008 02:38

### Re: Axiom survey article

In general, it seems that you've picked up some information from
Bill Page's wiki web site. There is no longer any association
between Axiom and that website.

Comments on the bulletin:

"Axiom's latest release is 3.0 (as of September 2007)"
should read
"Axiom's latest release is May 2008."

Axiom uses Month-Year format for release numbers.
There are no "point release" numbers.

p2: Waldek Hebische ==> Waldek Hebisch

p3: "Perhaps it is only a matter of semantics, but the Axiom website
says that Axiom has one language - SPAD is version 1 and Aldor is
version 2. In any case, at this time, Aldor is only available as a
binary executable, and not as source code (except "by request").

The axiom website (http://axiom.axiom-developer.org) doesn't contain
that remark that I know of.

Also, Aldor source code is available.

p3: "Another useful aspect of the Axiom website is the excellent
webpage providing a comparison between CAS's
http://wiki.axiom-developer.org/RosettaStone

should read

(Continue reading)

4 Jun 2008 22:04

### [open-axiom-devel] aldor concern

Tim, Waldek, Gaby,

It should be clear by now that I am only interested in working
with software which is completely free in the sense of Stallman.
For this reason I have not touched aldor.

This recent quote from Tim has me concerned:

"If we were to re-think by re-coding it would make a lot more sense
to rewrite the algebra into Aldor."

so I put the question if any of you are 100% committed to maintaining
your project as a free software project.  I do not object to supporting
aldor
for the end user but I will not continue using axiom/fricas/open-axiom if
aldor becomes an essential component.

Arthur

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php

5 Jun 2008 00:13

### Re: [open-axiom-devel] aldor concern

Arthur Ralfs <acralfs@...> writes:

| Tim, Waldek, Gaby,
|
| It should be clear by now that I am only interested in working
| with software which is completely free in the sense of Stallman.
| For this reason I have not touched aldor.
|
| This recent quote from Tim has me concerned:
|
|
| "If we were to re-think by re-coding it would make a lot more sense
| to rewrite the algebra into Aldor."
|
|
| so I put the question if any of you are 100% committed to maintaining
| your project as a free software project.  I do not object to supporting
| aldor
| for the end user but I will not continue using axiom/fricas/open-axiom if
| aldor becomes an essential component.

OpenAxiom is a free software and will remain so.
OpenAxiom is under the BSD license and will remain so.

OpenAxiom will support libraries written in Aldor, but OpenAxiom's own
algebra will not depend on Aldor.

-- Gaby

-------------------------------------------------------------------------

(Continue reading)

5 Jun 2008 02:09

### Re: [open-axiom-devel] aldor concerns

Tim, Waldek, Gaby,

Thank you very much for allaying my fears about
creeping aldorization.

Arthur

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php

9 Jun 2008 23:19

### Attributes

The file xpoly.spad.pamphlet (LIECAT.spad) contains

LieAlgebra(R: CommutativeRing): Category ==  Module(R) with
--attributes
NullSquare
JacobiIdentity
...

but I don't see NullSquare or JacobiIdentity listed in
src/interp/daase.lisp.

Actually, I should ask: why is *attributes* hardcoded in daase.lisp?
Shouldn't that be inferred from the .spad files? And what is the
relation to the AttributeRegistry in /src/algebra/attreg.spad.pamphlet?

What should be considered the original source?

Ralf

11 Jun 2008 13:15

### [open-axiom-devel] boot

Hello,

is there somewhere a short summary that helps to understand .boot files?

What does, for example, the colon in

axFormatOpList ops == ['Sequence,:[axFormatOp o for o in ops]]

stand for?

Ralf

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php

11 Jun 2008 15:03

### Re: [open-axiom-devel] boot

On Wed, Jun 11, 2008 at 7:15 AM, Ralf Hemmecke wrote:

>
> is there somewhere a short summary that helps to understand .boot files?
>
> What does, for example, the colon in
>
> axFormatOpList ops == ['Sequence,:[axFormatOp o for o in ops]]
>
> stand for?
>

Have you taken a look at?

http://axiom-wiki.newsynthesis.org/BootProgramming

In particular refer to the link: Boot Language

http://axiom-wiki.newsynthesis.org/axiom--test--1/src/boot/Makefile

It would appear the 'axFormatOpList' is a function that appends the
symbol 'Sequence to the beginning of the list 'ops'.

Regards,
Bill Page.

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.

(Continue reading)

18 Jun 2008 09:15

### Re: [open-axiom-devel] [#428] 'Domain' in 'SetCategory'?

http://axiom-wiki.newsynthesis.org/428EquationDomainCoerceToOutputFormAndBoolean

On 06/17/2008 11:56 PM, Bill Page wrote:
> Putting 'Domain' in 'SetCategory' is one possible solution to this problem:
> \begin{spad}
> )abbrev domain DOMAIN Domain
> ++ Author: Gabriel Dos Reis
> ++ Date Create: October 18, 2007.
> ++ Modified: Bill Page
> ++ Date Last Updated: June 17, 2008.
> ++ Basic Operations: coerce, reify
> ++ Related Constructors: Type, Syntax, OutputForm
> ++ Also See: Type, ConstructorCall
> Domain(): Public == Private where
>   Public ==> SetCategory with
...
>   Private ==> add
...

I must admit that I like the idea of Saul Youssef
http://physics.bu.edu/~youssef/homepage/talks/categories/21.html

Domain: Category == with;

An object X: Domain would be called a "domain" that is similar to
C: Category
where we call C a category (in the Aldor sense).

Oooops, now I see that Gaby has also written in domain.spad.pamphlet:


(Continue reading)

Gmane