login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:24:49-08:00 (14 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

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.

Is it possible? --japp, Fri, 17 Oct 2008 07:18:39 -0700 reply
Bill, would it be possible to have something like:

\begin{openaxiom||fricas||axiom} ... \end{...}

Re: Is it possible? --Bill Page, Fri, 17 Oct 2008 07:42:54 -0700 reply
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.




  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: