#20447: Wrong result from delsarte_bound_additive_hamming_space with GLPK exact
simplex
---------------------------------+------------------------
Reporter: mkoeppe | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.2
Component: coding theory | Resolution:
Keywords: lp | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #20406 | Stopgaps:
---------------------------------+------------------------
Comment (by dimpase):
the function performs the following, in a loop: maximises the sum of
variables, gets the value of this maximum, say M, then rounds M down to
the closest m:=7^d^, adds a constraint that the sum of the variables is at
most m, and repeats. In the case of rational variables, this process
obviously must stop after one iteration (it need not stop if all the
variables are integers). When it stops, it returns the latest d.
{{{
glp_exact: 54 rows, 20 columns, 795 non-zeros
GNU MP bignum library is being used
0: infsum = 1 (14)
1: infsum = 0 (14)
* 1: objval = 1 (14)
* 19: objval = 1671.30573248408 (0)
OPTIMAL SOLUTION FOUND
glp_exact: 54 rows, 20 columns, 795 non-zeros
GNU MP bignum library is being used
0: infsum = 1 (14)
1: infsum = 0 (14)
* 1: objval = 1 (14)
* 17: objval = 343 (0)
OPTIMAL SOLUTION FOUND
}}}
here it should have been done, and return 3 (as 7^3^=343), but it is not!
{{{
glp_exact: 54 rows, 20 columns, 795 non-zeros
GNU MP bignum library is being used
0: infsum = 1 (14)
1: infsum = 0 (14)
* 1: objval = 1 (14)
* 16: objval = 49 (0)
OPTIMAL SOLUTION FOUND
2
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/20447#comment:3>
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.
