[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-math] RE: Types in axiom.
From: |
Page, Bill |
Subject: |
[Axiom-math] RE: Types in axiom. |
Date: |
Wed, 8 Oct 2003 14:41:37 -0400 |
On Wednesday, October 08, 2003 1:05 PM Francois
address@hidden wrote:
> ...
> Can I simplify cos(2*x)^2+4*sin(x)^2*cos(x)^2 with axiom ?
> How can I explain this easily ?
At http://savannah.nongnu.org/files/?group=axiom
See the file axiom-trig.pdf in the section axiom_texmacs
http://savannah.nongnu.org/download/axiom/axiom_texmacs.pkg/Examples%20v1.0.
2/axiom-trig.pdf
This example shows how to do the simplification by
defining the usual trigonometric expansions as a
ruleset.
> ...
> Francois, and excuse my very poor english.
>
Your English is just fine. (Il est bien mieux que mon utilisation
de Français!)
Cheers,
Bill Page.
- [Axiom-math] RE: Types in axiom.,
Page, Bill <=