Re: [fricas-devel] DoubleFloat literal in spad file?

2017-02-17 Thread oldk1331
> Also, for example in > DoubleFloatEllipticIntegrals we need what in some sense > is double float literals, but values are given by exact > rationals. IMO DoubleFloatEllipticIntegrals code is more > readable having the constant as rationals. So "true" > floating point literals are relatively

Re: [fricas-devel] DoubleFloat literal in spad file?

2017-02-17 Thread Waldek Hebisch
oldk1331 wrote: > > It seems that all float number literal appeared > in a spad file are treated as Float, you have > to manually convert it to DoubleFloat if you > want a DoubleFloat literal. > > Is that intentional? Simply it is unimplemented. Correctly handling floating point numbers

[fricas-devel] DoubleFloat literal in spad file?

2017-02-16 Thread oldk1331
It seems that all float number literal appeared in a spad file are treated as Float, you have to manually convert it to DoubleFloat if you want a DoubleFloat literal. Is that intentional? FriCAS is not specialized at numerical computation, but not having doublefloat literal? That's unimaginable.