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 11 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/04/06 18:56:44 GMT-7
Note: 
added:

From gdr Sun Apr 6 18:56:44 -0700 2008
From: gdr
Date: Sun, 06 Apr 2008 18:56:44 -0700
Subject: 
Message-ID: <20080406185644-0700@axiom-wiki.newsynthesis.org>

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

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?

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

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