What version?

fricas

(1) -> )version

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

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.

SandBoxSyntax describes some extensions to

OpenAxiom
fricas

a := 'x :: OutputForm

fricas

b := 'y :: OutputForm

fricas

a and b

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

fricas

phi := operator phi

fricas

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

**Type: **Equation(Expression(Integer))

fricas

solve(deq, phi, x)

**Type: **Union(Expression(Integer),...)

in infix (or

m-expression like) notation like this:

fricas

phi := operator 'phi

fricas

(9 * D(phi(x), x, 2) + 6*D(phi(x), x) + 10 + 150*cos(phi(x)))::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.

fricas

y:=operator 'y

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.

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