help links subscribe changes refresh edit

	SandBox	OpenAxiom
SandBoxOp ←	↑		→ SandBoxOperatorsAndSqrt

SandBoxOpenAxiom

last edited 14 years ago by Bill Page

Edit detail for SandBoxOpenAxiom revision 25 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: 2010/01/29 08:43:45 GMT-8
Note: missing \begin{axiom} ... \end{axiom}

What version?

fricas

(1) -> )version

"FriCAS 1.3.10 compiled at Wed 10 Jan 02:19:45 CET 2024"

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.

syntax.spad.pamphlet --Bill Page, Wed, 30 Jan 2008 09:27:00 -0800 reply

SandBoxSyntax describes some extensions to OpenAxiom

move coercion to library? --page, Wed, 07 May 2008 07:29:30 -0700 reply

fricas

a := 'x :: OutputForm

$\label{eq1}x$

(1)

Type: OutputForm?

fricas

b := 'y :: OutputForm

$\label{eq2}y$

(2)

Type: OutputForm?

fricas

a and b

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

... --artjcoder, Tue, 13 May 2008 02:23:40 -0700 reply

fricas

phi := operator phi

$\label{eq3}phi$

(3)

Type: BasicOperator?

fricas

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

$\label{eq4}{{6 \ {{phi^{\prime}}\left({x}\right)}}+{{150}\ {\cos \left({phi \left({x}\right)}\right)}}+{{10}\ {phi \left({x}\right)}}}= 0$

(4)

Type: Equation(Expression(Integer))

fricas

solve(deq, phi, x)

$\label{eq5}{\int^{ \displaystyle {phi \left({x}\right)}}{{\frac{6}{{{15}\ {\cos \left({\%D}\right)}}+ \%D}}\ {d \%D}}}+{{10}\ x}$

(5)

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{eq6}phi$

(6)

Type: BasicOperator?

fricas

(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::InputForm

$\label{eq7}\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)}$

(7)

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.

fricas

16rdeadbeef

  Line   1: 16rdeadbeef
           ...A
  Error  A: No digits after radix specification
  Error   : No digits after radix specification
   2 error(s) parsing 
   There are no library operations named 16R 
      Use HyperDoc Browse or issue
                                )what op 16R
      to learn if there is any operation containing " 16R " in its 
      name.

   Cannot find a definition or applicable library operation named 16R 
      with argument type(s) 
                             Variable(deadbeef)

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

... --memyself, Fri, 29 Jan 2010 05:16:24 -0800 reply

fricas

y:=operator 'y

$\label{eq8}y$

(8)

Type: BasicOperator?

fricas

deq := x**3 * D(y x, x, 3) + x**2 * D(y x, x, 2) - 2 * x * D(y x, x) + 2 * y x = 2 * x**4

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

   Cannot find a definition or applicable library operation named ** 
      with argument type(s) 
                                 Variable(x)
                               PositiveInteger

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