On 2/27/20 10:41 PM, Kurt Pagani wrote:
> I'd like to point out two small issues. Would be great if one or the other 
> could
> be resolved in a next release:
> 
> -- The (TexFormat) output of derivatives of (univariate) functions looks ugly.
> Examples:
> - http://fricas-wiki.math.uni.wroc.pl/TexFormat0
> - http://fricas-wiki.math.uni.wroc.pl/DerivFunc

The problem is not the conversion to TeX, but rather a strange way of
storing that in OutputForm.

(12) -> (eq1 :: OutputForm) pretend SExpression

   (12)  (= ((PRIME f ",,,") x) (^ x n))

Wouldn't it make more sense to store it as (PRIME f 3) and let the
Formatter deal with how it is shown? Here eq1::OutputForm does too much.
In other words, I would be in favour of moving the code

        add_prime(a : %, s : %) : % == convert [eform 'PRIME, a, s]
        prime(a, nn) == (s := new(nn, char ",");  add_prime(a, sform s))

away from OutputForm and simply say something like

   prime(a, nn) ==
      if a is of form (PRIME x n) then
           (PRIME x n+nn)
      else
           (PRIME a nn)

Then i-output.boot or the various Formatters would have to deal with
translating that s-expression into something nice.

Ralf

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/894474ef-6987-878a-f065-0995043953aa%40hemmecke.org.

Reply via email to