From d7d4234f660f8b154a1d3b28cc9a8d0883f9a38c Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sat, 1 Apr 2017 07:27:51 -0700 Subject: [PATCH] Add '# optional - polymake' --- src/sage/interfaces/polymake.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 """