Ralf Hemmecke wrote:
>
> How do I apply =: (OutputForm, OutputForm) -> OutputForm
> in a FriCAS session?
You can do something like:
(8) -> eq_fn : (OutputForm,OutputForm) -> OutputForm := =$OutputForm
(8) theMap(OUTFORM;=;3$;5,303)
Type: ((OutputForm,OutputForm) -> OutputForm)
(9) -> eq_fn(of1, of2)
(9) f= z
Type: OutputForm
>
> Why is fricas looking for "equation" instead of "="?
>
There is a hack inside interpreter which converts '=' to
'equation'. AFAICS there is genuine abiguity between
Equation and using function from underlying domain.
In main cases that is when underlying domian is
Boolean or OutputForm you can coerce from Equation
to the domain. But currently we provide no way to get
Equation from Boolean or OutputForm. So current hack
allows you to use coercion to get desired type.
Alternative would make getting Equation quite hard.
This is not satisfactory, but ATM I do not see how to
do better within our interpreter (in the future Krystin
GSOC work may help).
--
Waldek Hebisch
[email protected]
--
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.
