diff --git a/src/sage/interfaces/polymake.py b/src/sage/interfaces/polymake.py index 79a9ef56caa..bfb153f2781 100644 --- a/src/sage/interfaces/polymake.py +++ b/src/sage/interfaces/polymake.py @@ -394,14 +394,14 @@ def _read_in_file_command(self, filename): Force use of file:: - sage: L = polymake([42] * 400) - sage: len(L) + sage: L = polymake([42] * 400) # optional - polymake + sage: len(L) # optional - polymake 400 Just below standard file cutoff of 1024:: - sage: L = polymake([42] * 84) - sage: len(L) + sage: L = polymake([42] * 84) # optional - polymake + sage: len(L) # optional - polymake 84 """