|
|
|
last edited 16 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 5 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: Bill Page
Time: 2007/12/16 19:11:21 GMT-8 |
||
| Note: coerce to OutputForm missing from AlgebraicNumber? | ||
added:
From BillPage Sun Dec 16 19:11:21 -0800 2007
From: Bill Page
Date: Sun, 16 Dec 2007 19:11:21 -0800
Subject: coerce to OutputForm missing from AlgebraicNumber?
Message-ID: <20071216191121-0800@axiom-wiki.newsynthesis.org>
\begin{axiom}
sqrt(2)
\end{axiom}
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?