Hello everybody,
I write this email because I would like your opinion on a ticket that is
being
written.
- In #17637 [1], a stopgap (warning) was added in `IntegerListsLex`, to warn
users against wrong results returned by this function.
- In #17898 [2], this stopgap is being removed, under the belief that those
results are only caused by *bad input* (and thus should not be considered
as a
bug)
I believe that the description of #17892 [2] fairly describes the positions
of
the authors, while the 3rd comment [3] on the same ticket describes mine.
It seems, however, that our main point of disagreement comes from whether
those
those wrong results should be considered as wrong results. Indeed, the
documentation of `IntegerListsLex` reads:
Caveat: with the current implementation, the constraints should
satisfy the following conditions:
- The upper and lower bounds themselves should satisfy the
slope constraints.
- The maximal and minimal slopes values should not be equal.
- The maximal and minimal part values should not be equal.
Those conditions are not checked by the algorithm, and the
result may be completely incorrect if they are not satisfied:
I tried to write a code that checks the consistency of input, and had to
give up
after two hours. There are too many cases to handle. Thus, I do not believe
that
we cannot expect the user to do it him(her)self.
I also do not believe that such a note, buried in the doc, is a sufficient
warning.
I stand for the stopgap, which warns anybody who uses the function that it
is known to return wrong results.
Could you please share your opinion on whether we should keep or remove this
stopgap? We cannot persist in a situation where one ticket reverts what was
done
by another.
Thanks,
Nathann
[1] http://trac.sagemath.org/ticket/17637
[2] http://trac.sagemath.org/ticket/17898
[3] http://trac.sagemath.org/ticket/17898#comment:3
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
