提交 7691290e authored 作者: James Bergstra's avatar James Bergstra

added default ascii printing

上级 4f5945fe
...@@ -235,17 +235,27 @@ class PPrinter: ...@@ -235,17 +235,27 @@ class PPrinter:
else: else:
raise TypeError('Not enough arguments to call.') raise TypeError('Not enough arguments to call.')
use_ascii = True
if use_ascii:
special = dict(middle_dot = u"\u00B7", special = dict(middle_dot = "\dot",
big_sigma = u"\u03A3") big_sigma = "\Sigma")
greek = dict(alpha = u"\u03B1", greek = dict(alpha = "\alpha",
beta = u"\u03B2", beta = "\beta",
gamma = u"\u03B3", gamma = "\gamma",
delta = u"\u03B4", delta = "\delta",
epsilon = u"\u03B5") epsilon = "\epsilon")
else:
special = dict(middle_dot = u"\u00B7",
big_sigma = u"\u03A3")
greek = dict(alpha = u"\u03B1",
beta = u"\u03B2",
gamma = u"\u03B3",
delta = u"\u03B4",
epsilon = u"\u03B5")
pprint = PPrinter() pprint = PPrinter()
......
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论