help links subscribe changes refresh edit

	SandBox	OpenAxiom
SandBoxOp ←	↑		→ SandBoxOperatorsAndSqrt

SandBoxOpenAxiom

last edited 14 years ago by Bill Page

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]

(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)

(2)

Type: ConstructorCall?

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

This failed in OpenAxiom?-20071209:

axiom
sqrt(2)

(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?

... --gdr, Sun, 06 Apr 2008 18:55:57 -0700 reply

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

... --gdr, Sun, 06 Apr 2008 18:56:44 -0700 reply

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

(4)

Type: OutputForm?

axiom
b := 'y :: OutputForm

(5)

Type: OutputForm?

axiom
a and b

(6)

Type: OutputForm?