help links subscribe changes refresh edit

	SandBoxFriCAS2
SandBoxMaybe ←	↑

Sandbox Errors

Edit detail for Sandbox Errors revision 2 of 2

	1 2
Editor: test1 Time: 2017/04/03 18:05:44 GMT+0
Note:

added:
This is collection of popular errors made when entering FriCAS expressions.


added:

No unary '+'
\begin{axiom}
+a*a
\end{axiom}

No '**' (use '^' instead)
\begin{axiom}
a^2
a**2
\end{axiom}

FriCAS needs explicit multiplication:
\begin{axiom}
(a-3*b)(x-a+3*b)
\end{axiom}

Double '=', accepted but gives nonsense type
\begin{axiom}
(a-3*b)*(x-a+3*b) = 0= 0
\end{axiom}

This is collection of popular errors made when entering FriCAS expressions.

Missing parenthesis

fricas

sin(x

  Line   1: sin(x
           ...AB
  Error  A: Missing mate.
  Error  B: syntax error at top level
  Error  B: Possibly missing a ) 
   3 error(s) parsing

fricas

sin(cos(x)

  Line   1: sin(cos(x)
           ...A.....B
  Error  A: Missing mate.
  Error  B: syntax error at top level
  Error  B: Possibly missing a ) 
   3 error(s) parsing

fricas

sin cos(x))

  Line   1: sin cos(x))
           ..........A
  Error  A: Improper syntax.
   1 error(s) parsing

No unary +

fricas

+a*a

   There are no library operations named + having 1 argument(s) though 
      there are 13 exposed operation(s) and 11 unexposed operation(s) 
      having a different number of arguments. Use HyperDoc Browse, or 
      issue
                                 )what op +
      to learn what operations contain " + " in their names, or issue
                                )display op +
      to learn more about the available operations.

   Cannot find a definition or applicable library operation named + 
      with argument type(s) 
                             Polynomial(Integer)

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

No ** (use ^ instead)

fricas

a^2

$\label{eq1}{a}^{2}$

(1)

Type: Polynomial(Integer)

fricas

a**2

   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(a)
                               PositiveInteger

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

FriCAS needs explicit multiplication:

fricas

(a-3*b)(x-a+3*b)

   There are 1 exposed and 1 unexposed library operations named elt 
      having 1 argument(s) but none was determined to be applicable. 
      Use HyperDoc Browse, or issue
                               )display op elt
      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 application of object of type Polynomial(Integer) to 
      argument(s) of type(s) 
                             Polynomial(Integer)

Double =, accepted but gives nonsense type

fricas

(a-3*b)*(x-a+3*b) = 0= 0

$\label{eq2}{{{{\left(-{3 \ b}+ a \right)}\ x}-{9 \ {{b}^{2}}}+{6 \ a \ b}-{{a}^{2}}}= 0}={0 = 0}$

(2)

Type: Equation(Equation(Polynomial(Integer)))