[Axiom-math] RE: Types in axiom.

[Page, Bill]

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.