Edit detail for SandBoxOpenAxiom revision 18 of 25

What version?

)version

Value = "Thursday October 16, 2008 at 16:59:34 "

New domain Domain:

)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-2008-10-16/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

For example:

LD:=[Integer,Float,String]

(1)

New domain Syntax:

)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-2008-10-16/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,%)

reify(String)

(2)

[SandBoxOpenAxiomFeatures]?

This failed in OpenAxiom?-20071209:

sqrt(2)

(3)

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?

)version

Value = "Thursday October 16, 2008 at 16:59:34 "

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

a := 'x :: OutputForm

(4)

b := 'y :: OutputForm

(5)

a and b

(6)

New version of OpenAxiom? installed built from SVN revision: 555.

phi := operator phi

(7)

deq := 9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) =
0

(8)

solve(deq, phi, x)

   >> Error detected within library code:
   parseLODE: not a linear ordinary differential equation

in infix (or m-expression like) notation like this:

phi := operator phi

   There are 2 exposed and 10 unexposed library operations named
      operator having 1 argument(s) but none was determined to be
      applicable. Use HyperDoc Browse, or issue
                            )display op operator
      to learn more about the available operations. Perhaps
      package-calling the operation or using coercions on the arguments
      will allow you to apply the operation.

   Cannot find a definition or applicable library operation named
      operator with argument type(s)
                                BasicOperator

      Perhaps you should use "@" to indicate the required return type,
      or "$" to specify which version of the function you need.
(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::InputForm

(9)