login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
SandBox OpenAxiom
SandBoxOp  ← ↑ →  SandBoxOperatorsAndSqrt

SandBoxOpenAxiom
  
last edited 16 years ago by Bill Page

Edit detail for SandBoxOpenAxiom revision 19 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: Bill Page
Time: 2008/10/16 19:00:18 GMT-7
Note: OpenAxiom now displays InputForms 
changed:
-deq := 9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0
deq := 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0

changed:
-phi := operator phi
phi := operator 'phi

What version?

fricas
(1) -> )version

"FriCAS 1.3.12 compiled at Sat  7 Jun 23:54:49 CEST 2025"

New domain Domain:

fricas
)show Domain

   The )show system command is used to display information about types 
      or partial types. For example, )show Integer will show 
      information about Integer .

      Domain is not the name of a known type constructor. If you want 
      to see information about any operations named Domain , issue
                         )display operations Domain

For example:

fricas
LD:=[Integer,Float,String]

 LISP output:
(UNPRINTABLE UNPRINTABLE UNPRINTABLE)
Type: List(Type)

New domain Syntax:

fricas
)show Syntax

   The )show system command is used to display information about types 
      or partial types. For example, )show Integer will show 
      information about Integer .

      Syntax is not the name of a known type constructor. If you want 
      to see information about any operations named Syntax , issue
                         )display operations Syntax

fricas
reify(String)

   There are no library operations named reify 
      Use HyperDoc Browse or issue
                               )what op reify
      to learn if there is any operation containing " reify " in its 
      name.

   Cannot find a definition or applicable library operation named reify
      with argument type(s) 
                                    Type

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

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:
fricas
sqrt(2)
\label{eq1}\sqrt{2}(1)
Type: AlgebraicNumber?

coerce to OutputForm? missing from AlgebraicNumber?? --gdr, Sat, 26 Jan 2008 15:34:53 -0800 reply
That bug has been corrected in recent versions of OpenAxiom?. Any chance for update?

OpenAxiom?-20080128 --Bill Page, Tue, 29 Jan 2008 19:12:05 -0800 reply
New version of OpenAxiom? installed.

syntax.spad.pamphlet --Bill Page, Wed, 30 Jan 2008 09:27:00 -0800 reply
[SandBoxSyntax]? describes some extensions to OpenAxiom?

... --gdr, Sun, 06 Apr 2008 18:55:57 -0700 reply
fricas
)version

"FriCAS 1.3.12 compiled at Sat  7 Jun 23:54:49 CEST 2025"

... --gdr, Sun, 06 Apr 2008 18:56:44 -0700 reply
Humm, this version of OpenAxiom? seems a bit old. Any change of upgrade to more recent ones?

move coercion to library? --page, Wed, 07 May 2008 07:29:30 -0700 reply
fricas
a := 'x :: OutputForm
\label{eq2}x(2)
Type: OutputForm?
fricas
b := 'y :: OutputForm
\label{eq3}y(3)
Type: OutputForm?
fricas
a and b

   Argument number 1 to "and" must be a Boolean.

OpenAxiom?-20080507 --page, Wed, 07 May 2008 18:42:02 -0700 reply
New version of OpenAxiom? installed built from SVN revision: 555.

... --artjcoder, Tue, 13 May 2008 02:23:40 -0700 reply
fricas
phi := operator phi
\label{eq4}phi(4)
Type: BasicOperator?
fricas
deq := 6*D(phi(x), x) + 10*phi(x) + 150*cos(phi(x)) = 0
\label{eq5}{{6 \ {{phi^{\prime}}\left({x}\right)}}+{{150}\ {\cos \left({phi \left({x}\right)}\right)}}+{{10}\ {phi \left({x}\right)}}}= 0(5)
Type: Equation(Expression(Integer))
fricas
solve(deq, phi, x)
\label{eq6}{\int^{ \displaystyle {phi \left({x}\right)}}{{\frac{6}{{{15}\ {\cos \left({\%D}\right)}}+ \%D}}\ {d \%D}}}+{{10}\ x}(6)
Type: Union(Expression(Integer),...)

OpenAxiom? now displays InputForms? --Bill Page, Thu, 16 Oct 2008 18:54:56 -0700 reply
in infix (or m-expression like) notation like this:
fricas
phi := operator 'phi
\label{eq7}phi(7)
Type: BasicOperator?
fricas
(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::InputForm
\label{eq8}\left({ \begin{array}{@{}l} \displaystyle + \ {\left({ \begin{array}{@{}l} \displaystyle <em> \ 9 \ {\left({ \begin{array}{@{}l} \displaystyle D \ {\left(D \ {\left(phi \ x \right)}\ {\left(: : \ x \ \hbox{\axiomType{Symbol}\ } \right)}\right)}\ \cdot \ \ \displaystyle {\left(: : \ x \ \hbox{\axiomType{Symbol}\ } \right)} (8)
Type: InputForm?