What version?

(1) -> )version

"FriCAS 1.3.9 compiled at Sun Sep 17 04:15:23 PM CEST 2023"

New domain Domain:

)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:

LD:=[Integer,Float,String]

 LISP output:
(UNPRINTABLE UNPRINTABLE UNPRINTABLE)

New domain Syntax:

)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

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.

SandBoxSyntax describes some extensions to OpenAxiom

a := 'x :: OutputForm

(1)

b := 'y :: OutputForm

(2)

a and b

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

phi := operator phi

(3)

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

(4)

solve(deq, phi, x)

(5)

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

phi := operator 'phi

(6)

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

(7)

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.

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.

y:=operator 'y

(8)

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.