Advanced Search

Question: Message : "Error, (in assuming) when calling 'assume'. Received: 'contradictory assumptions'"

Question:Message : "Error, (in assuming) when calling 'assume'. Received: 'contradictory assumptions'"

rzarouf 30 Maple 2023
sum
December 30 2023
2

Hi, maybe someone knows how to fix this:

"Error, (in assuming) when calling 'assume'. Received: 'question.mw'"

I am attaching the corresponding maple file. I've never met such an error message, and unfortunately the Maplesoft help does not contain any information about such an issue : 

> 

restart; (2^(1/2+1/2+1)*GAMMA(n+1/2+1)*GAMMA(n+1/2+1))/((2*n+1/2+1/2+1)*GAMMA(n+1/2+1/2+1)*factorial(n))

4*GAMMA(n+3/2)^2/((2*n+2)*GAMMA(n+2)*factorial(n))

 (1)
> 

JacobiP(n, 1/2, 1/2, 1)

JacobiP(n, 1/2, 1/2, 1)

 (2)
> 

evalf(JacobiP(3, 1/2, 1/2, 1))

2.187500000

 (3)
> 

f := proc (n, x) options operator, arrow; (1/4)*JacobiP(n, 1/2, 1/2, x)*4^(1/2)/(GAMMA(n+3/2)^2/((2*n+2)*GAMMA(n+2)*factorial(n)))^(1/2) end proc

proc (n, x) options operator, arrow; (1/4)*JacobiP(n, 1/2, 1/2, x)*4^(1/2)/(GAMMA(n+3/2)^2/((2*n+2)*GAMMA(n+2)*factorial(n)))^(1/2) end proc

 (4)
> 

int(f(1, x)^2*sqrt(-x^2+1), x = -1 .. 1)

1

 (5)
> 

int(f(2, x)^2*sqrt(-x^2+1), x = -1 .. 1)

1

 (6)
> 

int(f(3, x)^2*sqrt(-x^2+1), x = -1 .. 1)

1

 (7)
> 

c := proc (n) options operator, arrow; int(sqrt(1+x)*f(n, x)*sqrt(-x^2+1), x = -1 .. 0)+int(f(n, x)*sqrt(-x^2+1), x = 0 .. 1) end proc

proc (n) options operator, arrow; int(sqrt(1+x)*f(n, x)*sqrt(-x^2+1), x = -1 .. 0)+int(f(n, x)*sqrt(-x^2+1), x = 0 .. 1) end proc

 (8)
> 

c(12)

(2/450225)*(-208+679*2^(1/2))/Pi^(1/2)

 (9)
> 

S := proc (N, x) options operator, arrow; evalf(sum(c(n)*f(n, x), n = 0 .. N)) end proc

proc (N, x) options operator, arrow; evalf(sum(c(n)*f(n, x), n = 0 .. N)) end proc

 (10)
> 

S(1, 1)

Error, (in assuming) when calling 'assume'. Received: 'contradictory assumptions'

  
> 

NULL

Download question.mw

https://www.maplesoft.com/support/help/errors/view.aspx?path=Error,%20(in%20assuming)%20when%20calling%20%27assume%27.%20Received%3A%20%27contradictory%20assumptions%27

Many thanks in advance
Please Wait...