[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

[fricas-devel] PolynomialFactorizationExplicit

2014-06-29 Thread Waldek Hebisch
I am thinking what to do with PolynomialFactorizationExplicit. To remaind you, there is a theory how to propagate factorization of polynomials trough towers build of algebraic extensions, ring polynomials and fractions. This code is in almost work state. To activate it one needs to add

[fricas-devel] Interval

2014-06-29 Thread Waldek Hebisch
The following look very fishy: (13) - i1 := interval(1,2)$Interval(Float) + interval(1,2)$Interval(Float) (13) [2.0,4.00_1] Type: Interval(Float) (14) - i1 - interval(1,2)$Interval(Float) - interval(1,2)$Interval(Float)