login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
SandBox OpenAxiom
SandBoxOp  ← ↑ →  SandBoxOperatorsAndSqrt

SandBoxOpenAxiom
  
last edited 14 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? 

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: 

axiom
LD:=[Integer,Float,String]
LatexWiki Image(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,%)

axiom
reify(String)
LatexWiki Image(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
axiom
sqrt(2)
   Internal Error
   The function coerce with signature % -> OutputForm is missing from 
      domain AlgebraicNumber

coerce to OutputForm? missing from AlgebraicNumber?? --gdr, Sat, 26 Jan 2008 15:34:53 -0800 reply
That bug has been corrected in recent versions of OpenAxiom?. Any chance for update?