# calc simplification problem

• Done
Details
3 participants
• Chong Yidong
• Jay Belanger
• Colin Williams
Owner
unassigned
Submitted by
Colin Williams
Severity
normal
C
C
Colin Williams wrote on 4 Aug 2009 16:28
1b97198a0908040728u21355fccjd9e7c485958ba471@mail.gmail.com
In calc, doing `a s' simplifies "(1 + cos(x)^2 - 1) / cos(x)" to
"cos(x)^2 sec(x)", which contradicts an example in the tutorial on
rewrite rules.

Colin
J
J
Jay Belanger wrote on 5 Aug 2009 02:44
87d47b2inv.fsf@gmail.com
Colin Williams <lackita@gmail.com> writes:

Toggle quote (4 lines)
> In calc, doing `a s' simplifies "(1 + cos(x)^2 - 1) / cos(x)" to
> "cos(x)^2 sec(x)", which contradicts an example in the tutorial on
> rewrite rules.

So it does. Calc needs to simplify expressions with secant (and
cosecant and cotangent) better. I'll be out of town for the next week;
I'll fix it as soon as I get back.

Jay
C
C
Chong Yidong wrote on 24 Oct 2009 21:27
(name . Jay Belanger)(address . jay.p.belanger@gmail.com)
87hbtoegn8.fsf@stupidchicken.com
Jay Belanger <jay.p.belanger@gmail.com> wrote:

Toggle quote (8 lines)
> > In calc, doing `a s' simplifies "(1 + cos(x)^2 - 1) / cos(x)" to
> > "cos(x)^2 sec(x)", which contradicts an example in the tutorial on
> > rewrite rules.

> So it does. Calc needs to simplify expressions with secant (and
> cosecant and cotangent) better. I'll be out of town for the next week;
> I'll fix it as soon as I get back.

Hi Jay,

Did you get around to fixing this? If so, this bug should be closed.
J
J
Jay Belanger wrote on 24 Oct 2009 22:47
87skd8msds.fsf@gmail.com
Chong Yidong <cyd@stupidchicken.com> writes:
...
Toggle quote (3 lines)
>> > In calc, doing `a s' simplifies "(1 + cos(x)^2 - 1) / cos(x)" to
>> > "cos(x)^2 sec(x)", which contradicts an example in the tutorial on
>> > rewrite rules.
...
Toggle quote (4 lines)
> Hi Jay,
>
> Did you get around to fixing this?

Yes.

Toggle quote (2 lines)
> If so, this bug should be closed.

Sorry; I'll take care of it now.

Jay
J
J
Jay Belanger wrote on 24 Oct 2009 22:58
Re: calc simplification problem