[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Re: [fricas-devel] Re: Axiom Wiki and Portal are movin

From: Martin Rubey
Subject: [Axiom-developer] Re: [fricas-devel] Re: Axiom Wiki and Portal are moving
Date: 05 Nov 2007 10:06:09 +0100
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Dear Bill, *

a short answer, since I'm rather busy...

> > fixed in Axiom
> > fixed in FriCAS
> > fixed in OpenAxiom

> That is a good suggestion. I think we can easily implement that.


> I propose the following syntax:
>   \begin{axiom}[open-axiom]
>   ...
>   \end{axiom}
> Perhaps we could also support some standard versions, e.g.
>   \begin{axiom}[fricas,1.1]
>   ...
>   \end{axiom}
> Here [...] is an optional parameter. {axiom} by itself would refer to one of
> the three versions of axiom (no guarantee which one).  {axiom}[open-axiom]
> would refer to the most recently installed version of open-axiom, etc.


> The problem with the usual "cut-and-paste" method is that I have not found
> any way to transfer the status and classification field information. Only the
> text content of the page is visible. Of course it would be possible to set
> the fields later, but we are talking about nearly 300 pages.

I think that would not be too bad, since status is already slightly outdated
for some bugs and some flavours of axiom, and the classification scheme could
maybe be simplified.

> An alternative that I haven't checked is using "External Edit". I do
> not have the external edit feature enabled on my workstation so I
> cannot easily check. Martin, I think you do use this right? 

Not anymore, sorry.

Apart from that, I strongly support Waldek's view of making a more or less
identical copy first, and polish later - time and interest permitting.

Also, I would very much like to see the old wiki read only meanwhile.

I won't have any time for serious axiom stuff for a while.  And even then, I'd
prefer to work on the species project.  But the wiki cannot wait for such a
long time, it is used by too many people!

A final suggestion: would it be possible to map


I need short names for the next axiom workshop :-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]