|
|
|
last edited 16 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 6 of 25
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 | ||
|
Editor: gdr
Time: 2008/01/26 15:34:53 GMT-8 |
||
| Note: coerce to OutputForm missing from AlgebraicNumber? | ||
added:
From gdr Sat Jan 26 15:34:53 -0800 2008
From: gdr
Date: Sat, 26 Jan 2008 15:34:53 -0800
Subject: coerce to OutputForm missing from AlgebraicNumber?
Message-ID: <20080126153453-0800@axiom-wiki.newsynthesis.org>
In-Reply-To: <20071216191121-0800@axiom-wiki.newsynthesis.org>
That bug has been corrected in recent versions of OpenAxiom. Any chance for update?
What version?
fricas
(1) -> )version
"FriCAS 1.3.12 compiled at Sat 7 Jun 23:54:49 CEST 2025"
New domain Domain:
fricas
)show Domain
The )show system command is used to display information about types or partial types. For example,)show Integer will show information about Integer .
Domain is not the name of a known type constructor. If you want to see information about any operations named Domain ,issue )display operations Domain
For example:
fricas
LD:=[Integer,Float, String]
LISP output: (UNPRINTABLE UNPRINTABLE UNPRINTABLE)
Type: List(Type)
New domain Syntax:
fricas
)show Syntax
The )show system command is used to display information about types or partial types. For example,)show Integer will show information about Integer .
Syntax is not the name of a known type constructor. If you want to see information about any operations named Syntax ,issue )display operations Syntax
fricas
reify(String)
There are no library operations named reify Use HyperDoc Browse or issue )what op reify to learn if there is any operation containing " reify " in its name.
Cannot find a definition or applicable library operation named reify with argument type(s) Type
Perhaps you should use "@" to indicate the required return type,or "$" to specify which version of the function you need.
new --page, Wed, 12 Dec 2007 13:11:30 -0800 reply
[SandBoxOpenAxiomFeatures]?
coerce to OutputForm? missing from AlgebraicNumber?? --Bill Page, Sun, 16 Dec 2007 19:11:21 -0800 reply
fricas
sqrt(2)
 | (1) |
Type: AlgebraicNumber?
That bug has been corrected in recent versions of OpenAxiom?. Any chance for update?