widget to plot functions

Stream: general

[Jakob von Raumer]

Do we have a widget to plot functions, for example Rat -> Rat?

[Anand Rao Tadipatri]

This function in ProofWidgets generates plots for functions of type Float -> Float.

[Jakob von Raumer]

Do we have function from Rat to and from Float?

[Anand Rao Tadipatri]

I couldn't find a function to go from Rat to Float, but it's possible to build one using Nat.toFloat. For the other direction, f.toRatParts seems to give (v, exp) such that f = v * 2^-exp, but this may be too inefficient to use in practice.