Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-21 Thread Kurt Pagani
About a year ago I did just what RJF is suggesting by using* embeddable Maxima *(https://github.com/nilqed/embeddable-maxima) via QuickLisp and a simple interface (https://github.com/nilqed/fricas_input/tree/master/spad/maxima) inspired by RJF's Mockmma (actually I reused a lot of code from

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-21 Thread Bill Page
oldk1331 wrote: >> I'm not familiar with SAGE, but I assume interoperability of SAGE >> is based on string and parsing? And FriCAS is not a "first class ciziten" >> of SAGE? > > 'Martin R' wrote: > both of these assertions are currently true. apparently, there is not > enough interest in using

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-21 Thread 'Martin R' via FriCAS - computer algebra system
> > I'm not familiar with SAGE, but I assume interoperability of SAGE > is based on string and parsing? And FriCAS is not a "first class ciziten" > of SAGE? both of these assertions are currently true. apparently, there is not enough interest in using fricas from sage. although i

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread oldk1331
FriCAS can be loaded like this: https://github.com/fricas/fricas/blob/master/contrib/load-fricas.lisp On Tue, Feb 21, 2017 at 8:39 AM, Richard Fateman wrote: > Hi all -- > Since FriCAS can run in (for example) SBCL, and Maxima can be > loaded in to SBCL, (running in the

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread oldk1331
On Tue, Feb 21, 2017 at 9:39 AM, Bill Page wrote: >> Yes, and vice versa, FriCAS can call Maxima routines (e.g. better >> numeric integration). >> > > -1 > > I am rather strongly against this suggestion. Interoperability of > these programs is already provided by

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread Bill Page
Richard Fateman wrote: >> Since FriCAS can run in (for example) SBCL, and Maxima can be >> loaded in to SBCL, (running in the Common Lisp :Maxima package), >> why not have them co-exist? A FriCAS type/category/domain could be >> Maxima-Expression. > ... >> Alternatively, one could perhaps use

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread oldk1331
On Tue, Feb 21, 2017 at 8:39 AM, Richard Fateman wrote: > Hi all -- > Since FriCAS can run in (for example) SBCL, and Maxima can be > loaded in to SBCL, (running in the Common Lisp :Maxima package), > why not have them co-exist? A FriCAS type/category/domain could be >

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-20 Thread Richard Fateman
Hi all -- Since FriCAS can run in (for example) SBCL, and Maxima can be loaded in to SBCL, (running in the Common Lisp :Maxima package), why not have them co-exist? A FriCAS type/category/domain could be Maxima-Expression. (It would perhaps make sense to have

Re: [fricas-devel] fricas: trigonometric simplification.

2017-02-18 Thread Waldek Hebisch
Constantine Frangos cited Kurt: > Am 25.01.2017 um 17:56 schrieb Constantine Frangos: > > > > (a) any symbolic arguments appearing in the trigonometric > > functions, for example, > > cos(x1)*sin(y)-sin(x1)*cos(y), > > cos(x3)*sin(z)-sin(x3)*cos(z), etc > > That's the point. If you're using

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-30 Thread Kurt Pagani
> >> On output 'box' is invisible but > > > > Indeed, but tex or html output uses parens ... so I'm wondering why not > in > > algebraic mode? > > > > ?? I do not see any parenthesis printed for 'box' in either algebraic > or tex output > > (1) -> )set output tex on > (1) -> box(x) >

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-30 Thread Bill Page
On 30 January 2017 at 12:18, Kurt Pagani wrote: > Look: > > rs:=rule cos(x)*sin(y)-sin(x)*cos(y) == sin(y-x) > rc:=rule cos(x)*cos(y)-sin(x)*sin(y) == cos(x+y) > > t1 := paren(cos(x)*sin(y)-sin(x)*cos(y)) > t2 := paren(cos(x)*cos(y)-sin(x)*sin(y)) > expr := t1*cos(x3) + 5 +

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-30 Thread Kurt Pagani
Look: rs:=rule cos(x)*sin(y)-sin(x)*cos(y) == sin(y-x) rc:=rule cos(x)*cos(y)-sin(x)*sin(y) == cos(x+y) t1 := paren(cos(x)*sin(y)-sin(x)*cos(y)) t2 := paren(cos(x)*cos(y)-sin(x)*sin(y)) expr := t1*cos(x3) + 5 + tan(q)*tan(w) + t2*w*cos(a)+ t1*t2*r3 rc rs expr -- voilà ;-) more below ... On

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-30 Thread Bill Page
Why do you find it interesting? 'box' and 'paren' are just kernels with no automatic simplifications. On output 'box' is invisible but 'paren' displays as parenthesis. As with all kernels in Expression the arguments of the kernel are themselves members of Expression (recursively). This seems to be

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-29 Thread Kurt Pagani
I wasn't aware of "box" or "paren" in EXPR INT. That's really interesting. Apparently "distribute" reliably works as advertised: distribute(f) e*xpands all the kernels in f that are formally enclosed by a box or paren

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-27 Thread Waldek Hebisch
Constantine Frangos wrote: > > %I was not aware of this behaviour. However, I believe that fricas should not > %automatically expand expressions that the user inputs. If this can be > %modified then it would be very helpful. > %Note that another public domain CAS called Maxima does not expand the

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-26 Thread Kurt Pagani
Am 26.01.2017 um 12:14 schrieb Constantine Frangos: > > %I was not aware of this behaviour. However, I believe that fricas should not > %automatically expand expressions that the user inputs. If this can be > %modified then it would be very helpful. > %Note that another public domain CAS called

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-26 Thread Constantine Frangos
Hi Kurt, Thanks for the detailed response and references. I have indicated some comments and suggestions below. - Original Message - From: "Kurt Pagani" <nil...@gmail.com> To: fricas-devel@googlegroups.com Sent: Wednesday, January 25, 2017 7:38:22 PM Subject: Re: [fric

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-25 Thread Kurt Pagani
Hi Constantine see below ... Am 25.01.2017 um 17:56 schrieb Constantine Frangos: > > Hi Kurt, > > Thanks for the fast and very detailed response - much > appreciated. > > (1) Can the re-write rules be expressed in a "generic" way > so that they will work for: Yes. See e.g.

[fricas-devel] fricas: trigonometric simplification.

2017-01-25 Thread Constantine Frangos
Hi Kurt, Thanks for the fast and very detailed response - much appreciated. (1) Can the re-write rules be expressed in a "generic" way so that they will work for: (a) any symbolic arguments appearing in the trigonometric functions, for example, cos(x1)*sin(y)-sin(x1)*cos(y),

Re: [fricas-devel] fricas: trigonometric simplification.

2017-01-24 Thread Ralf Hemmecke
I have no general solution. But maybe you look at Chapter 0.8 here http://fricas.github.io/book.pdf You can create your own rules that do the things of the sinCosExpandRules somewhat backwards if you just exchange the things on the left/right of the == sign. However, this does not work in

[fricas-devel] fricas: trigonometric simplification.

2017-01-24 Thread Constantine Frangos
I wanted to ask for some assistance in using fricas to perform some specific trigonometric simplifications. (1) The relevant fricas commands or re-write rules to perform the following simplifications. t1 = cos(x)*sin(y)-sin(x)*cos(y) to sin(y-x), t2 = cos(x)*cos(y)-sin(x)*sin(y) to