Edit detail for SandBoxOpenAxiom revision 15 of 15
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | ||
|
Editor: artjcoder
Time: 2008/05/13 02:23:40 GMT-7 |
||
| Note: | ||
added:
From artjcoder Tue May 13 02:23:40 -0700 2008
From: artjcoder
Date: Tue, 13 May 2008 02:23:40 -0700
Subject:
Message-ID: <20080513022340-0700@axiom-wiki.newsynthesis.org>
phi := operator phi
deq := 9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0
solve(deq, phi, x)
What version?
axiom
)version
Value = "Wednesday May 7, 2008 at 18:17:39 "
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.2.0-2008-05-07/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.2.0-2008-05-07/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
That bug has been corrected in recent versions of OpenAxiom. Any chance for update?
New version of OpenAxiom installed.
SandBoxSyntax describes some extensions to OpenAxiom
axiom
)versionHumm, this version of OpenAxiom seems a bit old. Any change of upgrade to more recent ones?
Value = "Wednesday May 7, 2008 at 18:17:39 "
axiom
a := 'x :: OutputForm
 | (4) |
Type: OutputForm
axiom
b := 'y :: OutputForm
 | (5) |
Type: OutputForm
axiom
a and b
 | (6) |
Type: OutputForm
New version of OpenAxiom installed built from SVN revision: 555.
phi := operator phi
deq := 9 D(phi(x), x, 2) + 6D(phi(x), x) + 10phi(x) + 150cos(phi(x)) = 0
solve(deq, phi, x)