help links subscribe changes refresh edit

	SandBox	OpenAxiom
SandBoxOp ←	↑		→ SandBoxOperatorsAndSqrt

SandBoxOpenAxiom

last edited 14 years ago by Bill Page

Edit detail for SandBoxOpenAxiom revision 4 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: 2007/12/12 13:11:30 GMT-8
Note: new

added:

From page Wed Dec 12 13:11:30 -0800 2007
From: page
Date: Wed, 12 Dec 2007 13:11:30 -0800
Subject: new
Message-ID: <20071212131130-0800@axiom-wiki.newsynthesis.org>

[SandBoxOpenAxiomFeatures]

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]

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

(2)

Type: Syntax

new --page, Wed, 12 Dec 2007 13:11:30 -0800 reply

[SandBoxOpenAxiomFeatures]?