9
$\begingroup$

Bug introduced in 6.0.0 and fixed in 11.0

The input

inequalities = {Y[5], Y[7], Y[9], Y[10], 
 155 + 27 Y[5] - 13 Y[7] - 65 Y[9] - 13 Y[10], 162 - 27 Y[5], 
 45 - 9 Y[7] + 43 Y[9] + 12 Y[10], 374 + 105 Y[9] - 51 Y[10], 
 1288 + 23 Y[7] - 759 Y[9] + 3 Y[10], 1 + Y[7] - Y[9] + Y[10], 
 3 + 3 Y[7] + 4 Y[9] - 2 Y[10]}

ToRules[
 Reduce[# >= 0 & /@ inequalities, Variables[inequalities], Integers]]

produces for me (MMA 10.0.1.0 on OS X) output beginning with OutputSizeLimit`Dump`encapsulateOutput.

Presumably this is a bug in Mathematica.

Is it fixed in a newer version? Is there a good workaround?

Improve this question
$\endgroup$
6
  • $\begingroup$ Same result, 9.0.1 Windows. Setting "Maximum output size before truncation" in evaluation options in preferences seems to stop the error. $\endgroup$
    – ciao
    Jul 30, 2015 at 0:11
  • $\begingroup$ BTW, I meant setting it to some large enough value, or 0 (infinity). You can use the Preferences menu, or do directly in the notebook (or a block to make it temporary) using SetOptions[EvaluationNotebook[], OutputSizeLimit -> ...] or use $OutputSizeLimit directly... $\endgroup$
    – ciao
    Jul 30, 2015 at 0:22
  • 1
    $\begingroup$ It seems the output size limiting code is getting confused by the Sequence head (simpler example: Sequence @@ ConstantArray[0, 1*^5]), for a workaround perhaps use {ToRules[...]}. $\endgroup$
    – ilian
    Jul 30, 2015 at 1:23
  • $\begingroup$ I observe the same behavior with v8.0.4 on Win7 x64. $\endgroup$
    – Alexey Popkov
    Jul 30, 2015 at 7:42
  • 2
    $\begingroup$ Reported internally as a bug. Thank you! $\endgroup$
    – ilian
    Aug 2, 2015 at 22:58

1 Answer 1

Reset to default
1
$\begingroup$

This bug has been fixed in the just released Mathematica 11.0:

enter image description here

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.