help links subscribe changes refresh edit

	SandBox	OpenAxiom
SandBoxOp ←	↑		→ SandBoxOperatorsAndSqrt

SandBoxOpenAxiom

last edited 14 years ago by Bill Page

Edit detail for SandBoxOpenAxiom revision 7 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: 2008/01/29 19:11:03 GMT-8
Note: new version OpenAxiom-20080128

added:
This failed in OpenAxiom-20071209:

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?