fix integer option and a bug in Delsarte bounds code

[dimpase]

with PPL providing MIP solver thanks to #20354 and #20351, it becomes important to have an option to ask for integer solutions only. A silly bug is fixed along the way.

Depends on #20351
Depends on #20354
Depends on #20361

CC: @mkoeppe

Component: coding theory

Author: Dima Pasechnik

Branch/Commit: eb15d11

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/20367

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

728750f	CVXOPTBackend.add_variables: Pass arguments to add_variable, correct default for lower_bound
b4a8ed7	Copy new CVXOPTBackend.add_variables tests to other backends
b0d89e4	GLPKBackend.add_variables: Set column names correctly
183ce25	PPLBackend.add_variable, add_variables: Don't silently ignore binary=True, integer=True
e47b608	CVXOPTBackend.add_linear_constraints: Add doctest, simplify code
b0179c2	Merge branch 't/20303/fixes_for_the_cvxopt_mip_backend' into t/20354/pplbackend__add_support_for_integer_variables
144a970	PPLBackend: Add support for integer variables
df42b5b	Fix for #20361: PPL backend re-solves the problem every time get_variable_value or get_objective_value is called
1931b2a	Merge branch 'u/mkoeppe/ppl_backend_re_solves_the_problem_every_time_get_variable_value_or_get_objective_value_is_called' of git://trac.sagemath.org/sage into delsartefix
115092c	proper handling of isinteger parameter, new doctest

[sagetrac-git]

Commit: 115092c

[dimpase]

Changed dependencies from #20351, #20354 to #20351, #20354, #20361

[dimpase]

Last 10 new commits:

728750f	CVXOPTBackend.add_variables: Pass arguments to add_variable, correct default for lower_bound
b4a8ed7	Copy new CVXOPTBackend.add_variables tests to other backends
b0d89e4	GLPKBackend.add_variables: Set column names correctly
183ce25	PPLBackend.add_variable, add_variables: Don't silently ignore binary=True, integer=True
e47b608	CVXOPTBackend.add_linear_constraints: Add doctest, simplify code
b0179c2	Merge branch 't/20303/fixes_for_the_cvxopt_mip_backend' into t/20354/pplbackend__add_support_for_integer_variables
144a970	PPLBackend: Add support for integer variables
df42b5b	Fix for #20361: PPL backend re-solves the problem every time get_variable_value or get_objective_value is called
1931b2a	Merge branch 'u/mkoeppe/ppl_backend_re_solves_the_problem_every_time_get_variable_value_or_get_objective_value_is_called' of git://trac.sagemath.org/sage into delsartefix
115092c	proper handling of isinteger parameter, new doctest

[mkoeppe]

comment:3

delsarte_bound_additive_hamming_space should perhaps have a test involving isinteger=True?

Looking at the file, perhaps the English transliteration Kravchuk should be made an alias for the French transliteration Krawtchouk?

[sagetrac-git]

Changed commit from 115092c to eb15d11

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

eb15d11

added Kravchuk and tests

[mkoeppe]

Reviewer: Matthias Koeppe

[vbraun]

Changed branch from u/dimpase/delsartefix to eb15d11