示例#1
0
    def __init__(self, profile=None):
        Printer.__init__(self)
        self.emptyPrinter = lambda x : prettyForm(xstr(x))

        self._settings = {
                "full_prec" : "auto",
                "use_unicode" : True,
        }

        if profile is not None:
            self._settings.update(profile)
示例#2
0
    def __init__(self, profile=None):
        Printer.__init__(self)
        self.emptyPrinter = lambda x: prettyForm(xstr(x))

        self._settings = {
            "full_prec": "auto",
            "use_unicode": True,
            "wrap_line": True,
        }

        if profile is not None:
            self._settings.update(profile)
示例#3
0
文件: mathml.py 项目: cklb/sympy
    def __init__(self, settings=None):
        Printer.__init__(self, settings)
        from xml.dom.minidom import Document,Text

        self.dom = Document()

        # Workaround to allow strings to remain unescaped
        # Based on https://stackoverflow.com/questions/38015864/python-xml-dom-minidom-please-dont-escape-my-strings/38041194
        class RawText(Text):
            def writexml(self, writer, indent='', addindent='', newl=''):
                if self.data:
                    writer.write(u'{}{}{}'.format(indent, self.data, newl))

        def createRawTextNode(data):
            r = RawText()
            r.data = data
            r.ownerDocument = self.dom
            return r

        self.dom.createTextNode = createRawTextNode
示例#4
0
    def __init__(self, settings=None):
        Printer.__init__(self, settings)
        from xml.dom.minidom import Document, Text

        self.dom = Document()

        # Workaround to allow strings to remain unescaped
        # Based on https://stackoverflow.com/questions/38015864/python-xml-dom-minidom-please-dont-escape-my-strings/38041194
        class RawText(Text):
            def writexml(self, writer, indent='', addindent='', newl=''):
                if self.data:
                    writer.write(u'{}{}{}'.format(indent, self.data, newl))

        def createRawTextNode(data):
            r = RawText()
            r.data = data
            r.ownerDocument = self.dom
            return r

        self.dom.createTextNode = createRawTextNode
示例#5
0
 def __init__(self, settings=None):
     Printer.__init__(self, settings)
     self.emptyPrinter = lambda x: prettyForm(xstr(x))
示例#6
0
 def __init__(self, settings=None):
     Printer.__init__(self, settings)
     self.emptyPrinter = lambda x: prettyForm(xstr(x))
示例#7
0
文件: latex_ex.py 项目: Jerryy/sympy
 def __init__(self,inline=True):
     Printer.__init__(self)
     self._inline = inline
示例#8
0
 def __init__(self, use_unicode=None):
     Printer.__init__(self)
     self.emptyPrinter = emptyPrinter
示例#9
0
文件: latex_ex.py 项目: tuhina/sympy
 def __init__(self, inline=True):
     Printer.__init__(self)
     self._inline = inline
示例#10
0
 def __init__(self, use_unicode=None):
     Printer.__init__(self)
     self.emptyPrinter = emptyPrinter
示例#11
0
 def __init__(self, settings=None, symbol_hdr="X"):
     Printer.__init__(self, settings)
     from xml.dom.minidom import Document
     self.dom = Document()
     self.__protected_symbol_header = symbol_hdr