login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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