On Jun 8, 12:23 pm, Jason Grout <[email protected]> wrote:

> But we already have the convention that zeros after the decimal indicate
> precision:
[...]
> So there is already something special about where the decimal point is
> placed.

Actually, it looks to me like it's zeros after a non-zero digit that
have a special role. I don't think the decimal point plays a role in
this:

sage: parent(4.00000000000000000000)
Real Field with 70 bits of precision
sage: parent(400000000000000000.000)
Real Field with 70 bits of precision
sage: parent(0.400000000000000000000)
Real Field with 70 bits of precision
sage: parent(0.0000000000000000400000000000000000000)
Real Field with 70 bits of precision
sage: parent(00000000000000400000000000000000.000)
Real Field with 70 bits of precision

(in each example there are 20 zeros trailing the 4)

That's also the reason why the system has problems guessing the right
precision for representations of 0. I think providing a way to imply
precision for 0 by specifying extra leading/trailing zeros (how do you
tell the difference?) is always going to be a hack.

-- 
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to 
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to