gensymbolic

   1 #!/usr/bin/python3
   2
   3 import sys, codecs
   4 from optparse import OptionParser
   5
   6 import sympy
   7
   8 import symbolic
   9 from moedebug import *
  10
  11 opt_parser = OptionParser()
  12 opt_parser.add_option('-q',dest='quiet',action='store_true',
  13                       default=False,help='suppress diagnostic output')
  14 opt_parser.add_option('-7',dest='ascii',action='store_true',
  15                       default=False,help='use 7-bit output only')
  16 opt_parser.add_option('-w',dest='width',action='store',type='int',
  17                       default=80,help='width for printing')
  18 (options, args) = opt_parser.parse_args()
  19 assert(not len(args))
  20
  21 if (not options.ascii) and sys.stdout.encoding is None:
  22   sys.stdout = codecs.open("/dev/stdout", "w", 'utf-8')
  23
  24 if not options.quiet: dbg_file(sys.stdout)
  25 if dbg_enabled():
  26   sympy.init_printing(use_unicode=(not options.ascii),
  27                       num_columns=options.width)
  28
  29 symbolic.calculate()
  30 symbolic.gen_C()