How do I apply =: (OutputForm, OutputForm) -> OutputForm
in a FriCAS session?
Why is fricas looking for "equation" instead of "="?
Ralf
(1) -> (a::OutputForm)=(b::OutputForm)
(1) a= b
Type:
Equation(OutputForm)
(2) -> ((a::OutputForm)=(b::OutputForm))@OutputForm
There are 3 exposed and 0 unexposed library operations named
equation having 2 argument(s) but none was determined to be
applicable. Use HyperDoc Browse, or issue
)display op equation
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 a definition or applicable library operation named
equation with argument type(s)
OutputForm
OutputForm
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(2) -> )expose OutputForm
OutputForm is now explicitly exposed in frame initial
(2) -> (a::OutputForm)=(b::OutputForm)
(2) a= b
Type:
Equation(OutputForm)
(3) -> ((a::OutputForm)=(b::OutputForm))@OutputForm
There are 3 exposed and 0 unexposed library operations named
equation having 2 argument(s) but none was determined to be
applicable. Use HyperDoc Browse, or issue
)display op equation
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 a definition or applicable library operation named
equation with argument type(s)
OutputForm
OutputForm
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(3) -> ((a::OutputForm)=$(OutputForm)(b::OutputForm))@OutputForm
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)
Type
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(3) -> ((a::OutputForm)(=$OutputForm)(b::OutputForm))@OutputForm
There is more than one = in the domain or package OutputForm . The
one being chosen has type ((OutputForm,OutputForm) -> OutputForm)
.
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 OutputForm to argument(s)
of type(s)
((OutputForm,OutputForm) -> OutputForm)
(3) -> (=$OutputForm)(a::OutputForm,b::OutputForm)
(3) false
Type:
Boolean
(4) -> (=$OutputForm)(a::OutputForm,b::OutputForm)@OutputForm
An expression involving @ OutputForm actually evaluated to one of
type Boolean . Perhaps you should use :: OutputForm .
(4) -> ((=$OutputForm)(a::OutputForm,b::OutputForm))@OutputForm
An expression involving @ OutputForm actually evaluated to one of
type Boolean . Perhaps you should use :: OutputForm .
==========================================
Also interesting...
(6) -> )display op equation
There are 3 exposed functions called equation :
[1] (D1,D1) -> Equation(D1) from Equation(D1) if D1 has TYPE
[2] (Symbol,String) -> QueryEquation from QueryEquation
[3] (Symbol,Segment(D3)) -> SegmentBinding(D3) from SegmentBinding(
D3)
if D3 has TYPE
(6) -> )display op =
There are 3 exposed functions called = :
[1] (D,D) -> Boolean from D if D has BASTYPE
[2] (D1,D1) -> Equation(D1) from Equation(D1) if D1 has TYPE
[3] (OutputForm,OutputForm) -> OutputForm from OutputForm
There are 3 unexposed functions called = :
[1] (FortranScalarType,FortranScalarType) -> Boolean from
FortranScalarType
[2] (Reference(D2),Reference(D2)) -> Boolean from Reference(D2)
if D2 has TYPE
[3] (VectorSpaceBasis(D2),VectorSpaceBasis(D2)) -> Boolean
from VectorSpaceBasis(D2) if D2 has FIELD
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
