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

Edit detail for SandBoxOpenAxiom revision 12 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: page
Time: 2008/05/07 07:29:38 GMT-7
Note: move coercion to library?

added:

From page Wed May 7 07:29:30 -0700 2008
From: page
Date: Wed, 07 May 2008 07:29:30 -0700
Subject: move coercion to library?
Message-ID: <20080507072930-0700@axiom-wiki.newsynthesis.org>

\begin{axiom}
a := 'x :: OutputForm
b := 'y :: OutputForm
a and b
\end{axiom}

What version?

axiom
)version Value = "Tuesday January 29, 2008 at 18:03:22 "

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 /usr/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2008-01-28/src/algebra/domain.spad to see algebra source code for DOMAIN ------------------------------- Operations -------------------------------- coerce : % -> OutputForm reflect : ConstructorCall -> % reify : % -> ConstructorCall 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 /usr/local/lib/open-axiom/x86_64-unknown-linux/1.1.0-2008-01-28/src/algebra/SYNTAX.spad to see algebra source code for SYNTAX ------------------------------- Operations -------------------------------- ?=? : (%,%) -> Boolean autoCoerce : % -> String autoCoerce : % -> Symbol autoCoerce : % -> DoubleFloat autoCoerce : % -> Integer buildSyntax : (%,List %) -> % coerce : % -> String coerce : String -> % coerce : % -> Symbol coerce : Symbol -> % coerce : % -> DoubleFloat coerce : DoubleFloat -> % coerce : % -> Integer coerce : Integer -> % coerce : % -> OutputForm compound? : % -> Boolean convert : SExpression -> % convert : % -> SExpression getOperands : % -> List % hash : % -> SingleInteger latex : % -> String nil? : % -> Boolean ?~=? : (%,%) -> 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: ConstructorCall?

[SandBoxOpenAxiomFeatures]?

coerce to OutputForm? missing from AlgebraicNumber?? --Bill Page, Sun, 16 Dec 2007 19:11:21 -0800 reply
This failed in OpenAxiom?-20071209:
axiom
sqrt(2)
LatexWiki Image(3)
Type: 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?

OpenAxiom?-20080128 --Bill Page, Tue, 29 Jan 2008 19:12:05 -0800 reply
New version of OpenAxiom? installed.

syntax.spad.pamphlet --Bill Page, Wed, 30 Jan 2008 09:27:00 -0800 reply
[SandBoxSyntax]? describes some extensions to OpenAxiom?

axiom
)version Value = "Tuesday January 29, 2008 at 18:03:22 "

Humm, this version of OpenAxiom? seems a bit old. Any change of upgrade to more recent ones?

move coercion to library? --page, Wed, 07 May 2008 07:29:30 -0700 reply
axiom
a := 'x :: OutputForm
LatexWiki Image(4)
Type: OutputForm?
axiom
b := 'y :: OutputForm
LatexWiki Image(5)
Type: OutputForm?
axiom
a and b
LatexWiki Image(6)
Type: OutputForm?