fMax

[frederic han]

Salut, c'est bizarre,

la doc a l'air de dire que xcas sait faire:

fMax(sin(x))
mais il repond:
Impossible de determiner le signe: (bounded_function(4))>1

Fred

[parisse]

En effet, il faudrait revoir la doc, ou alors il faut que je restreigne l'intervalle en x pour une fonction périodique.

[frederic han]

Ah en fait avec assume ca marche.
Ex
assume(x>-pi and x<pi)
fMax(sin(x))

[alb]

j'utilise les intervalles avec fMin et fMax pour éviter de purger x
par exemple fMax(sin(x),x=-pi..pi)

[parisse]

Je viens de rajouter le code de detection de fonction periodique, fMax(sin(x)) marchera donc sans plus de precisions.

[frederic han]

Ok, je n'avais pas vu non plus comment se limiter a un intervalle avec x=-5..5

Mais alors:

fMin(sin(exp(x)),x=0..2) me retourne 0

Fred

[parisse]

C'est parce que le solver ne voit que la solution principale pour cos(exp(x))=0, donc ln(pi/2) et pas ln(3*pi/2). Je vais voir si je peux arranger ca...

[parisse]

Voila, ce cas-la devrait maintenant etre ok. Mais le patch sur le solveur ne marchera s'il y a des fonctions periodiques que pour des solutions de la derivee de type a*entier+b eventuellement compose avec ln et exp.