|
|
|
last edited 14 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?
axiom)version Value = "Sunday December 16, 2007 at 18:43:31 "
New domain Domain:
axiom)show Domain Domain is a domain constructor Abbreviation for Domain is DOMAIN This constructor is not exposed in this frame. Issue )edit /home/page/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2007-12-09/src/algebra/domain.spad to see algebra source code for DOMAIN ------------------------------- Operations -------------------------------- coerce : % -> OutputForm reify : % -> Syntax showSummary : % -> Void
For example:
axiomLD:=[Integer,Float,String]
 | (1) |
Type: List Domain
New domain Syntax:
axiom)show Syntax Syntax is a domain constructor Abbreviation for Syntax is SYNTAX This constructor is exposed in this frame. Issue )edit /home/page/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2007-12-09/src/algebra/syntax.spad to see algebra source code for SYNTAX ------------------------------- Operations -------------------------------- buildSyntax : (%,List %) -> % coerce : String -> % coerce : Symbol -> % coerce : DoubleFloat -> % coerce : Integer -> % coerce : % -> OutputForm convert : % -> String convert : % -> Symbol convert : % -> DoubleFloat convert : % -> Integer convert : SExpression -> % convert : % -> SExpression getOperands : % -> List % nil? : % -> Boolean buildSyntax : (Symbol,List %) -> % ?case? : (%,[||] String) -> Boolean ?case? : (%,[||] Symbol) -> Boolean ?case? : (%,[||] DoubleFloat) -> Boolean ?case? : (%,[||] Integer) -> Boolean getOperator : % -> Union(Integer,DoubleFloat,Symbol,String,%)
axiomreify(String)
 | (2) |
Type: Syntax
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
axiomsqrt(2) Internal Error The function coerce with signature % -> OutputForm is missing from domain AlgebraicNumber