Add '# optional - polymake'

Matthias Koeppe · Matthias Koeppe · commit d7d4234f660f · 2017-04-01T07:27:51.000-07:00
diff --git 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
 
         """

Original file line number	Diff line number	Diff line change
`@@ -394,14 +394,14 @@ def _read_in_file_command(self, filename):`
`394`	`394`
`395`	`395`	`Force use of file::`
`396`	`396`
`397`		`- sage: L = polymake([42] * 400)`
`398`		`- sage: len(L)`
	`397`	`+ sage: L = polymake([42] * 400) # optional - polymake`
	`398`	`+ sage: len(L) # optional - polymake`
`399`	`399`	`400`
`400`	`400`
`401`	`401`	`Just below standard file cutoff of 1024::`
`402`	`402`
`403`		`- sage: L = polymake([42] * 84)`
`404`		`- sage: len(L)`
	`403`	`+ sage: L = polymake([42] * 84) # optional - polymake`
	`404`	`+ sage: len(L) # optional - polymake`
`405`	`405`	`84`
`406`	`406`
`407`	`407`	`"""`