[fricas-devel] TexFormat with latex output

2014-06-29 Thread Ralf Hemmecke
Hi Tim, hi Eugene, Ralf is doing great work and I hate to see such discouraging feedback. It's not (yet) discouraging at all at the moment. There were several point that made me think. 1) Where is TexFormat actually used? 2) Don't break efricas way of showing rendered latex via

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Bill Page
Of course axiom-wiki uses the tex output extensively in a manner similar to efricas. On 2014-06-29 6:06 AM, Ralf Hemmecke r...@hemmecke.org wrote: There were several point that made me think. 1) Where is TexFormat actually used? 2) Don't break efricas way of showing rendered latex via

Re: [Axiom-developer] [fricas-devel] TexFormat with latex output

2014-06-29 Thread Ralf Hemmecke
On 06/29/2014 02:56 PM, Bill Page wrote: Of course axiom-wiki uses the tex output extensively in a manner similar to efricas. Where can I patch the things? That are relevant to my changes? In other words: where is it documented what mathaction actually does to get the latex picture? If there is

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Waldek Hebisch
Ralf Hemmecke wrote: Another comment to ... You did not answer my question about 'pmatrix'. (1) - )set output tex on (1) - matrix [[1,2],[3,4]] +1 2+ (1) || +3 4+ $$ \left[ \begin{array}{cc} 1 2 \\ 3 4 \end{array} \right] \leqno(1) $$ Copying

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Ralf Hemmecke
From time to time I am pasting LaTeX output from FriCAS to papers. That is clearly important use case. OK. But why do we have the latex function then? Anyway. Let's stick to TexFormat. Would you be satisfied by letting TexFormat generate special environments like, for example,

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Waldek Hebisch
Ralf Hemmecke wrote: You did not answer my question about 'pmatrix'. Actually, I did. See attached file at https://www.mail-archive.com/fricas-devel@googlegroups.com/msg07421.html OK I looked at results with array and pmatrix. I admit that for me it looks like (rather weak) reason to

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Waldek Hebisch
Ralf Hemmecke wrote: From time to time I am pasting LaTeX output from FriCAS to papers. That is clearly important use case. OK. But why do we have the latex function then? I do not know. Probably historical accident: somebody wanted to do things in different way and left a half-baked

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Ralf Hemmecke
Hi Waldek, Of course we need to adjust efricas and MathAction. efricas doesn't seem to be a problem, I have it already running locally. As for MathAction... I don't know whether you have running it in a VM. Would it be an option to give me access to a *copy* of this VM or provide a .ova image

Re: [fricas-devel] TexFormat with latex output

2014-06-29 Thread Bill Page
On 2014-06-29 3:26 PM, Ralf Hemmecke r...@hemmecke.org wrote: For MathAction I hope this will be easy: AFAICS Python code matches generically '\begin{something}...\end{something}' so probably no change will be needed. There is global LaTeX template and we need to use appropriate style

Re: [fricas-devel] TexFormat with latex output

2014-06-27 Thread Ralf Hemmecke
Hi Waldek, Another comment to ... You did not answer my question about 'pmatrix'. (1) - )set output tex on (1) - matrix [[1,2],[3,4]] +1 2+ (1) || +3 4+ $$ \left[ \begin{array}{cc} 1 2 \\ 3 4 \end{array} \right] \leqno(1) $$ Copying this into a foo.tex file.

Re: [fricas-devel] TexFormat with latex output

2014-06-27 Thread Ralf Hemmecke
On 06/27/2014 02:39 PM, Eugene Surowitz wrote: LaTeX is what is being generated when )set output tex on is issued. This is a bug. The appropriate command should be )set output latex on. Thanks Eugene. Yes, you are right. That is, what is written in section 4.5 of the AXIOM book.

Re: [fricas-devel] TexFormat with latex output

2014-06-27 Thread Franz Lehner
On Fri, 27 Jun 2014, Ralf Hemmecke wrote: So what is your opinion about \begin{pmatrix} vs. \begin{array}? make it customizable? Personally I'd prefer bmatrix. anyways, On Tue, 10 Jun 2014, Ralf Hemmecke wrote: Yep. You should shout, it it get's broken by my change. You have the patch.

Re: [fricas-devel] TexFormat with latex output

2014-06-27 Thread Ralf Hemmecke
On 06/27/2014 04:34 PM, Franz Lehner wrote: make it customizable? Personally I'd prefer bmatrix. Customizable in the sense of TexFormat-customization or customization via .sty file? anyways, On Tue, 10 Jun 2014, Ralf Hemmecke wrote: Yep. You should shout, it it get's broken by my change.

Re: [fricas-devel] TexFormat with latex output

2014-06-27 Thread Eugene Surowitz
\begin{array} is the native LaTeX book invocation of an array environment; if somebody has added a pmatrix environment, I personally would avoid using it in anything I wrote unless it is in the current LaTeX2e (or beyond) standard. It is a combinatorial impossibility for you, me, or anyone else

Re: [fricas-devel] TexFormat with latex output

2014-06-26 Thread Waldek Hebisch
There is still a pending patch... https://www.mail-archive.com/fricas-devel@googlegroups.com/msg07417.html Top 3 commits at https://github.com/hemmecke/fricas/commits/tex-latex You did not answer my question about 'pmatrix'. And in general it seems that you replace portable (common

Re: [fricas-devel] TexFormat with latex output

2014-06-26 Thread Ralf Hemmecke
You did not answer my question about 'pmatrix'. Actually, I did. See attached file at https://www.mail-archive.com/fricas-devel@googlegroups.com/msg07421.html But I don't know why you fight for 'array'. How many people are using plain TeX? And how hard would it be to add \def\textbf#1{{\bf

Re: [fricas-devel] TexFormat with latex output

2014-06-10 Thread Waldek Hebisch
In preparation of my book patch, I would like to let TexFormat output LaTeX code. My patch is at https://github.com/hemmecke/fricas/commits/tex-latex . Perhaps the most important changes are Instead of := you will get \coloneqq. --- \usepackage{mathtools} Matrices are done via

Re: [fricas-devel] TexFormat with latex output

2014-06-10 Thread Franz Lehner
On Sun, 8 Jun 2014, Ralf Hemmecke wrote: Matrices are done via \begin{pmatrix} ... \end{pmatrix} --- amsmath maybe not so good for large matrices. Try a matrix with more than 10 columns ... array should be fine, since the number of columns is known beforehand. Franz -- You received this

Re: [fricas-devel] TexFormat with latex output

2014-06-10 Thread Ralf Hemmecke
On 06/10/2014 06:33 PM, Franz Lehner wrote: On Sun, 8 Jun 2014, Ralf Hemmecke wrote: Matrices are done via \begin{pmatrix} ... \end{pmatrix} --- amsmath maybe not so good for large matrices. Try a matrix with more than 10 columns ... array should be fine, since the number of columns is known

Re: [fricas-devel] TexFormat with latex output

2014-06-10 Thread Franz Lehner
On Tue, 10 Jun 2014, Ralf Hemmecke wrote: BTW, why would you need matrices that don't fit onto the page and are thus partially invisible? in emacs dvipng mode for example. And on a large enough screen large matrices can be made visible... Or maybe I misunderstand and all this is not meant for

Re: [fricas-devel] TexFormat with latex output

2014-06-10 Thread Ralf Hemmecke
On 06/10/2014 08:47 PM, Franz Lehner wrote: in emacs dvipng mode for example. And on a large enough screen large matrices can be made visible... Or maybe I misunderstand and all this is not meant for dvipng mode. I'm not using dvipng. But maybe we should first define, what the target of )set

Re: [fricas-devel] TexFormat with latex output

2014-06-10 Thread Franz Lehner
On Tue, 10 Jun 2014, Ralf Hemmecke wrote: I don't think it was initially invented for its use inside emacs. currently it's the best output one can get so I don't want to see it broken ... And unless MathJax cannot handle pmatrix, I'm not in favour of array. pmatrix (maybe better bmatrix),

Re: [fricas-devel] TexFormat with latex output

2014-06-10 Thread Ralf Hemmecke
On 06/10/2014 09:24 PM, Franz Lehner wrote: currently it's the best output one can get so I don't want to see it broken ... Yep. You should shout, it it get's broken by my change. You have the patch. Compile and use it in your daily work. Why else should I make my branch public before it is

[fricas-devel] TexFormat with latex output

2014-06-08 Thread Ralf Hemmecke
In preparation of my book patch, I would like to let TexFormat output LaTeX code. My patch is at https://github.com/hemmecke/fricas/commits/tex-latex . Perhaps the most important changes are Instead of := you will get \coloneqq. --- \usepackage{mathtools} Matrices are done via \begin{pmatrix}