Hello, An example, suppose I have x = a+b*c + 2/3 + 1/(d+1)
Is it possible to extract the 2/3 coefficient in this case. // A // I can extract an integer coefficient in polynomial x = a+b*c + 4 thanks to the coefficient of null degree. // B // I can extract a rational coefficient in this fraction polynomial integer x = a+b*c + 4/3 because the denominator is an integer : this constant is coefficient of null degree / denominator. // C // I can extract a rational coefficient in this fraction polynomial integer x = a+b*c/d + 4/3 because the denominator is monic. It's the remainder for a monic divide. But I can't do it for the first example. Is it possible or not. In this first example 2/3 is the better coefficient because for other rational the fraction 1/(d+1) is worse, the numerator has a d : 2/3 + 1/(d+1) = 1+(-d+2)/(3d+3) Of corse, it's possible to hace a=d, and then the degree argument is false My aim is to simplify sin (.....+ m/n %pi) in +/- sin/cos (....+ k/n %pi) where abs (k) is a smaller integer than m and n. The smallest one. I have done the //A// case, I think I'm going to do the //B// case. I don't know if it's a good idea to do the //C// case. I don't know how to do the first example. Francois, in France. _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
