symbolic.py: add OptionParser

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/symbolic.py b/symbolic.py
index 6f3c69c2f0066748b5c18e1e5eafd68acf33510c..41213a5083802c21cacf0d90f860ed9b1af247c8 100755 (executable)
--- a/symbolic.py
+++ b/symbolic.py
@@ -3,13 +3,23 @@
 from sympy import *
 import itertools
 
-import sys
-
 import sys, codecs
-if sys.stdout.encoding is None:
+from optparse import OptionParser
+
+opt_parser = OptionParser()
+opt_parser.add_option('-q',dest='quiet',action='store_true',
+                      default=False,help='suppress diagnostic output')
+opt_parser.add_option('-7',dest='ascii',action='store_true',
+                      default=False,help='use 7-bit output only')
+opt_parser.add_option('-w',dest='width',action='store',type='int',
+                      default=80,help='width for printing')
+(options, args) = opt_parser.parse_args()
+assert(not len(args))
+
+if (not options.ascii) and sys.stdout.encoding is None:
   sys.stdout = codecs.open("/dev/stdout", "w", 'utf-8')
 
-init_printing(use_unicode=True, num_columns=280)
+init_printing(use_unicode=(not options.ascii), num_columns=options.width)
 
 r, theta, s, la, mu, kappa = symbols('r theta s lambda mu kappa')