Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Grégory Vanuxem
Le sam. 27 juil. 2024 à 19:58, Ralf Hemmecke a écrit : > > On 7/27/24 19:23, Waldek Hebisch wrote: > > On Sat, Jul 27, 2024 at 05:25:52PM +0200, Grégory Vanuxem wrote: > >> No. toString(3.7,20) > > > > I see. Yes we need 'floor' but also a special case for negative > > numbers. > > Isn't

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Ralf Hemmecke
On 7/27/24 19:23, Waldek Hebisch wrote: On Sat, Jul 27, 2024 at 05:25:52PM +0200, Grégory Vanuxem wrote: No. toString(3.7,20) I see. Yes we need 'floor' but also a special case for negative numbers. Isn't "truncate" what you are looking for? To say the truth we probably do not want

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Waldek Hebisch
On Sat, Jul 27, 2024 at 05:25:52PM +0200, Grégory Vanuxem wrote: > No. toString(3.7,20) I see. Yes we need 'floor' but also a special case for negative numbers. And there are nasty bordeline cases, for example when number is smaller than the next integer but the difference is smaller than

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Grégory Vanuxem
No. toString(3.7,20) Le sam. 27 juil. 2024 à 17:24, Waldek Hebisch a écrit : > > On Sat, Jul 27, 2024 at 03:31:57PM +0200, Grégory Vanuxem wrote: > > => > > (1) "4.3000" > > > > I wanted to use it, but apparently not now ;) > > Hmm, what do you want? > > (17) -> toString(4.3) >

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Waldek Hebisch
On Sat, Jul 27, 2024 at 03:31:57PM +0200, Grégory Vanuxem wrote: > => > (1) "4.3000" > > I wanted to use it, but apparently not now ;) Hmm, what do you want? (17) -> toString(4.3) (17) "4.3" Type: String

[fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Grégory Vanuxem
=> (1) "4.3000" I wanted to use it, but apparently not now ;) - Greg -- 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