Esempio n. 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)
Esempio n. 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)
Esempio n. 3
0
File: mathml.py Progetto: 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
Esempio n. 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
Esempio n. 5
0
 def __init__(self, settings=None):
     Printer.__init__(self, settings)
     self.emptyPrinter = lambda x: prettyForm(xstr(x))
Esempio n. 6
0
 def __init__(self, settings=None):
     Printer.__init__(self, settings)
     self.emptyPrinter = lambda x: prettyForm(xstr(x))
Esempio n. 7
0
 def __init__(self,inline=True):
     Printer.__init__(self)
     self._inline = inline
Esempio n. 8
0
 def __init__(self, use_unicode=None):
     Printer.__init__(self)
     self.emptyPrinter = emptyPrinter
Esempio n. 9
0
 def __init__(self, inline=True):
     Printer.__init__(self)
     self._inline = inline
Esempio n. 10
0
 def __init__(self, use_unicode=None):
     Printer.__init__(self)
     self.emptyPrinter = emptyPrinter
Esempio n. 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