On 20/09/15 12:59, Volker Braun wrote:
On Sunday, September 20, 2015 at 5:02:12 PM UTC+2, tdumont wrote:
Without changing the default precision, and using your solution, we
revert to something where we must "declare" the float values:
x=field(137.8)
in place of
x=137.8
There is an app for that!
$ echo 'x=137.8' | sed 's/\([0-9]\+\.[0-9]\+\)/field(\1)/g'
x=field(137.8)
Would not work with 'x=.8' (can be fixed with replacing the first \+
with a \*) nor 'x=2e3' (this is more annoying).
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
