|
|
|
last edited 16 years ago by japp |
Edit detail for #311 Repeated output of the show system command for categories that do not export operations revision 10 of 10
| 1 2 3 4 5 6 7 8 9 10 | ||
|
Editor: japp
Time: 2008/10/17 12:01:22 GMT-7 |
||
| Note: | ||
added:
From japp Fri Oct 17 12:01:21 -0700 2008
From: japp
Date: Fri, 17 Oct 2008 12:01:21 -0700
Subject:
Message-ID: <20081017120121-0700@axiom-wiki.newsynthesis.org>
In-Reply-To: <20081017074254-0700@axiom-wiki.newsynthesis.org>
I do not think is extremely important. But given that we want to support all 3 projects, sometimes it is useful to compare a system against the other. But given the trouble to implement this, the current system is enough.
See title.
fricas
(1) -> )show ATTREG
The )show system command is used to display information about types or partial types. For example,)show Integer will show information about Integer .
ATTREG is not the name of a known type constructor. If you want to see information about any operations named ATTREG ,issue )display operations ATTREG
... --gdr, Thu, 24 Jan 2008 22:18:58 -0800 reply
fixed in OpenAxiom
Status: open => fixed somewhere
Fixed in OpenAxiom
Why a double output with the default system in the Wiki? --japp, Fri, 17 Oct 2008 01:28:00 -0700 reply
This does not occur if you select latest OpenAxiom.
The default system in the Wiki is an older version of FriCAS. This no longer happens in FriCAS version 2008-08-06. The error still happens in original Axiom 2005-09-01. I guess it's time we added a newer version from the Axiom project to allow proper testing of that version here.
Bill, would it be possible to have something like:
\begin{openaxiom||fricas||axiom} ... \end{...}
It would be possible but would require new programming for multiple passes of the source - one for each of the Axiomata we want to support - and also a change to the why particular versions are chosen. Right now, each wiki page can be in only one dialect. But this is a wiki and it is easy to create new pages for different dialects. Is it really that important to mix dialects on the same page? I do not think is extremely important. But given that we want to support all 3 projects, sometimes it is useful to compare a system against the other. But given the trouble to implement this, the current system is enough.