#20447: Wrong result from delsarte_bound_additive_hamming_space with GLPK exact
simplex
-------------------------------------------------+-------------------------
Reporter: mkoeppe | Owner:
Type: defect | Status:
Priority: major | needs_info
Component: coding theory | Milestone: sage-7.2
Keywords: lp | Resolution:
Authors: | Merged in:
Report Upstream: Not yet reported upstream; | Reviewers:
Will do shortly. | Work issues:
Branch: | Commit:
Dependencies: #20406 | Stopgaps:
-------------------------------------------------+-------------------------
Changes (by dimpase):
* status: new => needs_info
* upstream: N/A => Not yet reported upstream; Will do shortly.
Comment:
in its infinite wisdom, GLPK returns the result of an exact computation as
a float. And then the line
{{{
if q_base**(m+1) == bd:
}}}
compares, for equality, the exact value, 343=7^3^, with the float
342.999999999999943, and founds them unequal. Whereas for the correct
functioning of the algorithm, they must be equal.
Not sure whether this is an upstream bug, or an upstream feature...
--
Ticket URL: <http://trac.sagemath.org/ticket/20447#comment:4>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
