ASKSAGE: Sage Q&A Forum - Individual question feedhttp://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Wed, 28 Dec 2016 11:34:30 -0600Concerning "bits of precision"http://ask.sagemath.org/question/36103/concerning-bits-of-precision/I am a newcomer to Sage. I learn Sage to compute Gröbner bases.
Concerning polynomial ring, if I type:
R = PolynomialRing(QQ, 't')
R
I get:
Univariate Polynomial Ring in t over Rational Field
But if I type:
R = PolynomialRing(RR, 't')
R
I get:
Univariate Polynomial Ring in t over Real Field with 53 bits of precision
What does "with 53 bits of precision" mean? If I don't know its meaning, will it matter when I compute Gröbner bases? I would appreciate any help with this situation.Tue, 27 Dec 2016 08:46:22 -0600http://ask.sagemath.org/question/36103/concerning-bits-of-precision/Answer by nbruin for <p>I am a newcomer to Sage. I learn Sage to compute Gröbner bases.</p>
<p>Concerning polynomial ring, if I type:</p>
<pre><code>R = PolynomialRing(QQ, 't')
R
</code></pre>
<p>I get: </p>
<pre><code>Univariate Polynomial Ring in t over Rational Field
</code></pre>
<p>But if I type:</p>
<pre><code>R = PolynomialRing(RR, 't')
R
</code></pre>
<p>I get:</p>
<pre><code>Univariate Polynomial Ring in t over Real Field with 53 bits of precision
</code></pre>
<p>What does "with 53 bits of precision" mean? If I don't know its meaning, will it matter when I compute Gröbner bases? I would appreciate any help with this situation.</p>
http://ask.sagemath.org/question/36103/concerning-bits-of-precision/?answer=36113#post-id-36113When sage works with "real numbers", it works with floating point approximations to them. They suffer from precision loss:
sage: RR(1)+RR(10^40)-RR(10^40) == 0
True
That means that if you wanted to do groebner basis computations for polynomial rings over RR, you'd have to be very careful about numerical stability, precision loss, and the fact that "cancellation" is almost never exact due to rounding. It's quite different from groebner basis computations over rings with exact element representations. I am not aware of support for groebner bases over RR in sage.
Finite fields, QQ, and algebraic coefficients should be OK, though, Perhaps you can get by with those?Wed, 28 Dec 2016 11:34:30 -0600http://ask.sagemath.org/question/36103/concerning-bits-of-precision/?answer=36113#post-id-36113