Subject: newbie question: print rational as decimal number
From: andre maute
Date: Fri, 16 Nov 2007 11:06:35 +0100
On Thursday 15 November 2007, Harald Geyer wrote:
> Hi Andre,
>
> > what am I supposed to do for printing
> >
> > r : 254471799841260872232137838180485/566407006423962932969881084235776;
> >
> > as decimal number?
> >
> > printf( true, "~f~%", r );
> >
> > does not work
>
> float(r) does what you want.
>
> HTH,
> Harald
Thanks i searched the documentation but missed it somehow.
To Jaime: I did not propose to modify maxima
Best Regards
Andre