Page 1 sur 1

avalanche de rootof

Publié : dim. juil. 13, 2014 8:35 am
par alb
les expressions contenant des racines carrees renvoient souvent des rootof avec les commandes simplifier ou factoriser, par exemple:
factor(sqrt(x^2-1)-sqrt(x-1)) renvoie expr("rootof([[-1,0,2*x^2+2*x-4,0],[1,0,-2*x^2-2*x+4,0,x^4-2*x^3+x^2]])",0)/(x*(x-1))

Re: avalanche de rootof

Publié : lun. juil. 14, 2014 6:24 am
par parisse
Je ne vois rien d'evident a faire, en tout cas a courte echeance, car on passe du sens factoriser un polynome, a reecrire une expression en mettant en commun un facteur (on pourrait aussi vouloir le faire pour des expressions comme sin(2x)-sin(x)). Pour simplify, peut-etre faudrait-il faire comme pour geogebra, ajouter une case a cocher dans la configuration, et dans ce cas si normal renvoie un rootof, ratnormal est appele a la place.

Re: avalanche de rootof

Publié : lun. juil. 14, 2014 9:24 am
par alb
ma remarque sera completement anecdotique et ne merite pas qu'on change quoi que ce soit.

E:=ln(sqrt(x^2-1)+sqrt(x^2+1));ratnormal(E'); aucun probleme
Essayons de detailler les calculs à la souris:
E:=ln(sqrt(x^2-1)+sqrt(x^2+1));
E';
on selectionne le numerateur et on fait un ratnormal via le menu Scolaire. OK.
on selectionne le numerateur du numerateur et on fait un factoriser toujours via le menu Scolaire. On obtient un rootof.
Il me semblait qu'avec des versions anterieures la factorisation se faisait.
factor(x*sqrt(x^2+1)+x*sqrt(x^2-1)) renvoie rootof([[x,0],[1,0,-4*x^2,0,4]])

Re: avalanche de rootof

Publié : mar. juil. 15, 2014 11:44 am
par parisse
Je crois pouvoir agir la-dessus avec un petit changement:

Code : Tout sélectionner

diff sym2poly.cc sym2poly.cc~
2787,2788d2786
<     if (!l.empty() && l.front().type==_VECT && l.front()._VECTptr->empty())
<       l=lvar(e);

Re: avalanche de rootof

Publié : jeu. juil. 17, 2014 8:11 pm
par alb
voila qui devrait plaire aux eleves plus agiles avec la souris qu'avec les parentheses :-)