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)

-- 
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.

Reply via email to