bug in trigsimp?



At Wed, 11 Mar 2009 12:03:34 +0000 (UTC),
Robert Marik wrote:
> 
> Hello, is this a bug in trigsimp?
> 
> Robert Marik
> 
> Maxima 5.17.1 http://maxima.sourceforge.net
> Using Lisp CLISP 2.44.1 (2008-02-23)
> Distributed under the GNU Public License. See the file COPYING.
> Dedicated to the memory of William Schelter.
> The function bug_report() provides bug reporting information.
> (%i1) declare(x,constant);
> (%o1)                                done
> (%i2) trigsimp(y);
> Improper parameter in function definition for trigsimp:
> x
> #0: trigsimp(?_l=[y])(trgsmp.mac line 70)
>  -- an error.  To debug this try debugmode(true);
> (%i3)

I think Maxima loads share/trigonometry/trgsmp.mac which defines
"trigsimp(x) := ...", but this definition produces an error since x is
a constant. Another example:

  (%i1) declare(x,constant)$
  (%i2) foo(x) := 1;

  Improper parameter in function definition for foo: x
   -- an error.  To debug this try debugmode(true);

You can edit share/trigonometry/trgsmp.mac and replace

  trigsimp(x) := trigsimp3(ratsimp(apply1(x, ...)))

by

  trigsimp(x_) := trigsimp3(ratsimp(apply1(x_, ...)))


But there should be a more intellegent way to fix it in CVS.

-- 
Yours sincerely,
Alexey Beshenov <al at beshenov.ru>