assumptions in integrals' computation in programming mode

[robmio]

Good morning, if I want to calculate the following integral:

int((t-x)^(-1/2)*ln(x),x,0,t)

it is necessary to make the following assumptions:

assumes(t>0); additionally(t>x).

My question is the following: how can I assign an assumption to a variable in #cas ... #end programming mode?

See attachments

Thanks a lot, Roberto (robmio)

[Ioncubekh]

Code:

assume(t>0 AND t>x)

[robmio]

(10-29-2022 12:43 PM)Ioncubekh Wrote:  

Code:

assume(t>0 AND t>x)

Thank you for the answer, but my question is another: in which area of a program do I put the instruction "assume"? For example, in this "#cas ... #end" program:

#cas
cavolo():=
BEGIN
LOCAL fnz, Fnz;
fnz:=(x)->(t-x)^(-1/2)*LN(x);

Fnz:=(t)->int(fnz(x),x,0,t);

RETURN Fnz(t);

END;
#end

in which zone do I put "assume(...)"?
Putting the "assume()" statement between the "fnz" statement and the "Fnz" statement, I get nothing.

Thanks a lot, robmio

[robmio]

(10-29-2022 12:43 PM)Ioncubekh Wrote:  

Code:

assume(t>0 AND t>x)

I solved the problem:

#cas
...
Fnz:=(t)->int((t-x)^(-1/2)*ln(x),x,0,assume(t>0 AND t>x));
...

#end

It works!