Re: [PATCH] Add a wrap_line option to the pretty printer.

2009-04-20 Thread Fabian Pedregosa
Ondrej Certik wrote: On Sun, Apr 19, 2009 at 3:15 PM, Ondrej Certik ond...@certik.cz wrote: On Sun, Apr 19, 2009 at 1:50 PM, Fabian Pedregosa fab...@fseoane.net wrote: Ondrej Certik wrote: On Sun, Apr 19, 2009 at 5:17 AM, Fabian Pedregosa fab...@fseoane.net wrote: This is useful for

[PATCH] Add a wrap_line option to the pretty printer.

2009-04-19 Thread Fabian Pedregosa
This is useful for example when pretty printing to non-terminals (web browsers via html, etc.) --- sympy/printing/pretty/pretty.py| 19 +++ sympy/printing/pretty/tests/test_pretty_unicode.py |6 ++ 2 files changed, 21 insertions(+), 4 deletions(-)

Re: [PATCH] Add a wrap_line option to the pretty printer.

2009-04-19 Thread Ondrej Certik
On Sun, Apr 19, 2009 at 5:17 AM, Fabian Pedregosa fab...@fseoane.net wrote: This is useful for example when pretty printing to non-terminals (web browsers via html, etc.) ---  sympy/printing/pretty/pretty.py                    |   19 +++  

Re: [PATCH] Add a wrap_line option to the pretty printer.

2009-04-19 Thread Fabian Pedregosa
Apr 2009 14:15:04 +0200 Subject: [PATCH] Add a wrap_line option to the pretty printer. This is useful for example when pretty printing to non-terminals (web browsers via html, etc.) --- sympy/printing/pretty/pretty.py| 17 + sympy/printing/pretty/tests

Re: [PATCH] Add a wrap_line option to the pretty printer.

2009-04-19 Thread Ondrej Certik
On Sun, Apr 19, 2009 at 1:50 PM, Fabian Pedregosa fab...@fseoane.net wrote: Ondrej Certik wrote: On Sun, Apr 19, 2009 at 5:17 AM, Fabian Pedregosa fab...@fseoane.net wrote: This is useful for example when pretty printing to non-terminals (web browsers via html, etc.) ---