Hi
This is a wish list of easy changes in Trigonometric Simplification to SINE function but they could be extended to other functions as well.
1) The trigonometric simplification should be aware that SIN(3*%PI/7)=SIN(4*%PI/7) or in general SIN(%PI* a/c)=SIN(%PI *b/c) where a+b=c. (a,b,c > 0)
2) The trigonometric simplification should simplify SIN(%PI*494/7) to SIN(%PI*(70+4))=SIN(%PI*4/7)
Thanks for the suggestions -- both helpful.
As a workaround until this is improved, note that trigrat( sin(4*%pi/7) - sin(3*%pi/7) ) => 0 and trigrat( sin(494*%pi/7) - sin(4*%pi/7) ) => 0