avalanche de rootof

Utilisation de Xcas

Modérateur : xcasadmin

alb
Messages : 1320
Inscription : ven. août 28, 2009 3:34 pm

avalanche de rootof

Message par alb » dim. juil. 13, 2014 8:35 am

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))

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: avalanche de rootof

Message par parisse » lun. juil. 14, 2014 6:24 am

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.

alb
Messages : 1320
Inscription : ven. août 28, 2009 3:34 pm

Re: avalanche de rootof

Message par alb » lun. juil. 14, 2014 9:24 am

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]])

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: avalanche de rootof

Message par parisse » mar. juil. 15, 2014 11:44 am

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);

alb
Messages : 1320
Inscription : ven. août 28, 2009 3:34 pm

Re: avalanche de rootof

Message par alb » jeu. juil. 17, 2014 8:11 pm

voila qui devrait plaire aux eleves plus agiles avec la souris qu'avec les parentheses :-)

Répondre