Edit detail for SandBoxOperatorsAndSqrt revision 1 of 2

changed:
-
This fails unexpectedly:
\begin{axiom}
f:=operator 'f
f(sin(-1))
f(sqrt(-1))
\end{axiom}

But this works
\begin{axiom}
f(sqrt(-1)::Expression(Integer))
\end{axiom}

This happens because 'sqrt(-1)' is interpreted as an AlgebraicNumber and

\begin{axiom}
AlgebraicNumber has ExpressionSpace
\end{axiom}

while ExpressionSpace exports::

    belong? op   ==
        has?(op, 'any) and (is?(op, PAREN) or is?(op, BOX))

whereas Expression overrides this with::

    belong? op == true

This fails unexpectedly:

fricas

f:=operator 'f

(1)

Type: BasicOperator?

fricas

f(sin(-1))

(2)

Type: Expression(Integer)

fricas

f(sqrt(-1))

   >> Error detected within library code:
   Unknown operator 3: f

But this works

fricas

f(sqrt(-1)::Expression(Integer))

(3)

Type: Expression(Integer)

This happens because sqrt(-1) is interpreted as an AlgebraicNumber? and

fricas

AlgebraicNumber has ExpressionSpace

(4)

Type: Boolean

while ExpressionSpace? exports:

    belong? op   ==
        has?(op, 'any) and (is?(op, PAREN) or is?(op, BOX))

whereas Expression overrides this with:

    belong? op == true