Re: [fricas-devel] NIntegrate , arb, and FFI

2018-05-23 Thread Riccardo GUIDA
Sorry, I've realized that numquad [1] works on Float and not only on machine doubles, not bad! Am I missing other quadrature packages (tanh-sinh, gaussian weights)? thanks ric [1] https://fricas.github.io/api/NumericalQuadrature.html?highlight=numquad -- (1) -> f(x:Float):Float == {

[fricas-devel] Re: Re: Some questions about Fricas

2018-05-23 Thread Riccardo GUIDA
@Erik: this might help, but the best is to take the time to read the fricas user guide (as I'm myself doing) ric fricas underlying language is strongly typed. You have to specify types (see f1,f2 below) or the interpreter will try to choose for you (see f3). Note that if you feed to f1 a floa

[fricas-devel] NIntegrate , arb, and FFI

2018-05-23 Thread Riccardo GUIDA
Hi again In fricasUG I cannot find mention of arbitrary precision numerical integration in 1D (NIntegrate in Mathematica.) Is this feature available? If not, have you ever thought (or, for lack of energies, at least dreamed) of interfacing fricas to some open source arbitrary precision C libr

[fricas-devel] )SET-tings

2018-05-23 Thread Riccardo GUIDA
Hi My question: If one changes the default settings in the REPL by performing the )set ... command or implicitly via the hyperdoc menu, are these new settings automatically stored somewhere and reloaded at REPL restart or are simply forgotten at next REPL restart (so that to permanently stor