On Saturday, January 28, 2017 at 8:31:50 PM UTC+1, parisse wrote:
>
> I would say it's easier to check that the gcd of A(x) and B(x+t) is not
> trivial for the value of t that are integer roots of the resultant (with
> other parameters replaced by 0).
>
I'm sure there are more opportunites for o
I would say it's easier to check that the gcd of A(x) and B(x+t) is not
trivial for the value of t that are integer roots of the resultant (with
other parameters replaced by 0). Note that replacing other parameters by 0
does not always work, for example for
sum((-1)^k*comb(n,k)/comb(k+a,k),k)=a
I think it's a bug in maxima that is dependent on the ordering of the
variables. You can trigger it in maxima with exactly the same formulas,
e.g.:
s : 2*(cos(1/2*x)*cos(y) + sin(1/2*x)^2 - 1)*(cos(z)*sin(y) +
cos(y)*sin(z))*((cos(1/2*x)*cos(z) - cos(y)*cos(z) +
sin(y)*sin(z))*sin(1/2*x)/(cos(
Hi,
In Sage 7.5.1, let us consider a long (but simplifiable) trigonometric
expression:
sage: var('x y z')
(x, y, z)
sage: s = 2*(cos(1/2*x)*cos(y) + sin(1/2*x)^2 - 1)*(cos(z)*sin(y) + cos(y)*
sin(z))
: *((cos(1/2*x)*cos(z) - cos(y)*cos(z) + sin(y)*sin(z))*sin(1/2*x)/(cos(
1/2*x)
: ^2*co
