|
|
|
last edited 14 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 21 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: japp
Time: 2009/01/20 05:56:36 GMT-8 |
||
| Note: Cleanup | ||
removed: - -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] - -From BillPage Sun Dec 16 19:11:21 -0800 2007 -From: Bill Page -Date: Sun, 16 Dec 2007 19:11:21 -0800 -Subject: coerce to OutputForm missing from AlgebraicNumber? -Message-ID: <20071216191121-0800@axiom-wiki.newsynthesis.org> - -This failed in OpenAxiom-20071209: -\begin{axiom} -sqrt(2) -\end{axiom} - - -From gdr Sat Jan 26 15:34:53 -0800 2008 -From: gdr -Date: Sat, 26 Jan 2008 15:34:53 -0800 -Subject: coerce to OutputForm missing from AlgebraicNumber? -Message-ID: <20080126153453-0800@axiom-wiki.newsynthesis.org> -In-Reply-To: <20071216191121-0800@axiom-wiki.newsynthesis.org> - -That bug has been corrected in recent versions of OpenAxiom. Any chance for update? - -From BillPage Tue Jan 29 19:12:05 -0800 2008 -From: Bill Page -Date: Tue, 29 Jan 2008 19:12:05 -0800 -Subject: OpenAxiom-20080128 -Message-ID: <20080129191205-0800@axiom-wiki.newsynthesis.org> - -New version of OpenAxiom installed. removed: - -From gdr Sun Apr 6 18:55:57 -0700 2008 -From: gdr -Date: Sun, 06 Apr 2008 18:55:57 -0700 -Subject: -Message-ID: <20080406185557-0700@axiom-wiki.newsynthesis.org> - -\begin{axiom} -)version -\end{axiom} - -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? removed: -From page Wed May 7 18:42:02 -0700 2008 -From: page -Date: Wed, 07 May 2008 18:42:02 -0700 -Subject: OpenAxiom-20080507 -Message-ID: <20080507184202-0700@axiom-wiki.newsynthesis.org> - -New version of OpenAxiom installed built from SVN revision: 555. - removed: -
What version?
axiom
)version
Value = "Wednesday January 7, 2009 at 17:48:30 "
New domain Domain:
axiom
)show Domain
Domain is a domain constructor Abbreviation for Domain is DOMAIN This constructor is exposed in this frame. Issue )edit /usr/local/lib/open-axiom/x86_64-unknown- linux/1.3.0-2009-01-05/src/algebra/DOMAIN.spad to see algebra source code for DOMAIN
------------------------------- Operations -------------------------------- ?=? : (%,%) -> Boolean coerce : % -> OutputForm hash : % -> SingleInteger latex : % -> String reflect : ConstructorCall -> % reify : % -> ConstructorCall showSummary : % -> Void ?~=? : (%,%) -> Boolean constructor : % -> DomainConstructor
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.3.0-2009-01-05/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 : % -> Symbol coerce : % -> DoubleFloat coerce : % -> Integer coerce : % -> InputForm coerce : String -> % coerce : Symbol -> % coerce : DoubleFloat -> % coerce : Integer -> % coerce : % -> OutputForm compound? : % -> Boolean convert : SExpression -> % convert : % -> SExpression getOperands : % -> List % hash : % -> SingleInteger latex : % -> String nil? : % -> Boolean retract : % -> String retract : % -> Symbol retract : % -> DoubleFloat retract : % -> Integer ?~=? : (%,%) -> Boolean buildSyntax : (Symbol,List %) -> % ?case? : (%,[||] String) -> Boolean ?case? : (%,[||] Symbol) -> Boolean ?case? : (%,[||] DoubleFloat) -> Boolean ?case? : (%,[||] Integer) -> Boolean getOperator : % -> Union(Integer,DoubleFloat,Symbol,String,%) retractIfCan : % -> Union(String,"failed") retractIfCan : % -> Union(Symbol,"failed") retractIfCan : % -> Union(DoubleFloat,"failed") retractIfCan : % -> Union(Integer,"failed")
axiom
reify(String)
 | (2) |
Type: ConstructorCall?
syntax.spad.pamphlet --Bill Page, Wed, 30 Jan 2008 09:27:00 -0800 reply
[SandBoxSyntax]? describes some extensions to OpenAxiom?
axiom
a := 'x :: OutputForm
 | (3) |
Type: OutputForm?
axiom
b := 'y :: OutputForm
 | (4) |
Type: OutputForm?
axiom
a and b
 | (5) |
Type: OutputForm?
axiom
phi := operator phi
 | (6) |
Type: BasicOperator?
axiom
deq := 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0
 | (7) |
Type: Equation Expression Integer
axiom
solve(deq, phi, x)
 | (8) |
Type: Union(Expression Integer,...)
in infix (or m-expression like) notation like this:
axiom
phi := operator 'phi
 | (9) |
Type: BasicOperator?
axiom
(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::InputForm
 | (10) |
Type: InputForm?
OpenAxiom? 1.3.0 and higher now supports literal numbers expressed in a radix other than 10 (both in the interpreter and in library).
For decimal numbers, the syntax is as usual. For base other than 10,
you have to specify the radix first (as a decimal number) followed
by the letter r, then followed by digits expressing the number.
axiom
16rdeadbeef
 | (11) |
Type: PositiveInteger?
axiom
16rcafebabe
 | (12) |
Type: PositiveInteger?
axiom
2r111000101001
 | (13) |
Type: PositiveInteger?