Re: [fricas-devel] error from normalize, bug in ataneval efstruc.spad

2016-05-30 Thread oldk1331
First, thanks for your informative response, I learn a lot from it and other messages you posted before. I want to know if you can put "appropriate portion" of your mail into comments of source code, to document the limitation of current code, so people who stumble into source code can get

Re: [fricas-devel] $tryRecompileArguments causes compiling spad file failure

2016-05-30 Thread oldk1331
> Well, with '$tryRecompileArguments := true' all files should > compile, but compilation may be quite slow Yes, a few domains that set $tryRecompileArguments to nil is extremely slow when compiling. > But if you want to compile > file containing multiple constructors than adding >

Re: [fricas-devel] error from normalize, bug in ataneval efstruc.spad

2016-05-30 Thread Waldek Hebisch
oldk1331 wrote: > > This is an interesting bug. > > Minimal example to recreate this bug: > (1) -> u := sqrt(2*tan(x)) > (2) -> f := atan(u+1+sqrt(1+(u+1)^2))-atan(u-1+sqrt(1+(u-1)^2)) > (3) -> normalize f > --- > --- a long expression is printed for debug purpose >

Re: [fricas-devel] error from normalize, bug in ataneval efstruc.spad

2016-05-30 Thread Ralf Hemmecke
On 05/30/2016 04:25 PM, Bill Page wrote: > On 30 May 2016 at 10:19, oldk1331 wrote: >> >> BTW, the lack of documentation/comments and the quality of >> existing documentation/comments is driving me crazy, I plan >> to add some for future developers to see. Any idea/comment >>

Re: [fricas-devel] error from normalize, bug in ataneval efstruc.spad

2016-05-30 Thread Bill Page
On 30 May 2016 at 10:19, oldk1331 wrote: > > BTW, the lack of documentation/comments and the quality of > existing documentation/comments is driving me crazy, I plan > to add some for future developers to see. Any idea/comment > on which style of documentation is good for our

[fricas-devel] error from normalize, bug in ataneval efstruc.spad

2016-05-30 Thread oldk1331
This is an interesting bug. Minimal example to recreate this bug: (1) -> u := sqrt(2*tan(x)) ┌───┐ (1) \│2tan(x) Type: Expression(Integer) (2) -> f := atan(u+1+sqrt(1+(u+1)^2))-atan(u-1+sqrt(1+(u-1)^2)) (2)

Re: [fricas-devel] discussion: bug and description for 'radicalRoots:(L

2016-05-30 Thread oldk1331
> Our solvers transform > system of equations into triangular form. If system is zero > dimensional (has finite number of solutions) than current > method works OK. We have problem in case of higher dimensional > solution set. I noticed that too, 'triangularSystems' uses 'groebSolve'

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread Ralf Hemmecke
> But like I said before, I breqn hangs on "integrate(sqrt(x^2+1)/(x^4+1), x)". Yes, the problem is that breqn does not work well with TeX. Attached is the version that my tex.spad produces. That compiles fine with breqn (no hang), but also no break. :-( The last two entries are numerator and

Re: [fricas-devel] Re: Discussion: bug of minus sign "-" inside InputForm

2016-05-30 Thread Waldek Hebisch
Ralf Hemmecke wrote: > > On 05/26/2016 02:44 PM, Waldek Hebisch wrote: > > oldk1331 wrote: > >> > >>> I'm not sure if this patch creates unnecessary parenthesis elsewhere. > >> > >> One change I noticed is "unparse(( t-1 )::INFORM)", it used to be > >> "t+-1", after patch it's "t+(-1)", is it a

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread oldk1331
FYI, add "\\Large" after "\\begin{preview}" to make math font bigger. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread oldk1331
I wrote one for you. Apply the following patch and it should be ok. But like I said before, I breqn hangs on "integrate(sqrt(x^2+1)/(x^4+1), x)". "(x+y+z)^10" works fine for me. --- fricas.el +++ fricas.el @@ -165,4 +165,5 @@ (defvar fricas-TeX-preamble (concat "\\documentclass{article}"

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread Alasdair McAndrew
For what it's worth, the function "imaxima-latex" produces a LaTeX-typeset output (using breqn) of a Maxima command . As my knowledge of lisp and elisp is minimal, I don't know if this could be re-jigged to work for efricas. To see the function, you can go to

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread Ralf Hemmecke
On 05/30/2016 10:18 AM, oldk1331 wrote: > Fricas doesn't need to compute the width of boxes as exactly as tex, > just enough to know where to break an expression. > Let a program (I'm talking about you, TeX) that knows nothing about > math but only deals with strings to determine where to break a

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread oldk1331
I'm glad that now I have keep up with the whole discussion. > I don't think that this is the task of FriCAS. Where would you break a > TeX-Equation? Where would breqn or other systems break a (no tex here) equation? texbreak can break axiom's subset tex equation, breqn can break latex

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread Ralf Hemmecke
On 05/30/2016 08:29 AM, oldk1331 wrote: > > I don't understand. I do not see a "fricas native breaking domains". > > What I meant is that I remember Waldek said he wanted such > domains as a solution. I don't think that this is the task of FriCAS. Where would you break a TeX-Equation? The only

Re: [fricas-devel] Re: TeX output in efricas?

2016-05-30 Thread oldk1331
> I don't understand. I do not see a "fricas native breaking domains". What I meant is that I remember Waldek said he wanted such domains as a solution. So, the reason your latex output mode is not commited is that texbreak is used on wiki and we won't break it? Summing-up: 1. tex + texbreak.