|
|
|
last edited 14 years ago by Bill Page |
Edit detail for SandBoxOpenAxiom revision 20 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: alfredo
Time: 2009/01/16 20:04:14 GMT-8 |
||
| Note: Update page with newer version and new features. | ||
added:
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.
\begin{axiom}
16rdeadbeef
16rcafebabe
2r111000101001
\end{axiom}
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?
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 January 7, 2009 at 17:48:30 "
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.
axiom
phi := operator phi
 | (7) |
Type: BasicOperator?
axiom
deq := 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0
 | (8) |
Type: Equation Expression Integer
axiom
solve(deq, phi, x)
 | (9) |
Type: Union(Expression Integer,...)
in infix (or m-expression like) notation like this:
axiom
phi := operator 'phi
 | (10) |
Type: BasicOperator?
axiom
(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::InputForm
 | (11) |
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
 | (12) |
Type: PositiveInteger?
axiom
16rcafebabe
 | (13) |
Type: PositiveInteger?
axiom
2r111000101001
 | (14) |
Type: PositiveInteger?