Changes http://page.axiom-developer.org/zope/mathaction/AXIOMsys/diff -- sinCosProducts := rule sin(x)*sin(y) == (cos(x-y) - cos(x+y))/2 cos(x)*cos(y) == (cos(x-y) + cos(x+y))/2 sin(x)*cos(y) == (sin(x-y) + sin(x+y))/2 sin(x)^2 == (1 - cos(2*x))/2 sin(x)^3 == sin(x)*(1 - cos(2*x))/2 -- forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
_______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
