|
|
|
last edited 14 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 15 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: 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)