Factorisation dans l'ensemble Z

[hugolin]

Bonjour,

Est-il possible d'effectuer des factorisations dans l'ensemble des entiers sur la version en ligne de Xcas ?
Je n'ai trouvé que les modes complexe ou réel.
Par exemple en tapant factoriser(x*x - 3), on obtient (x - sqrt(3))(x + sqrt(3))
Alors que dans Z, aucune factorisation ne devrait être proposée.
Ce fonctionnement est possible dans la version "classique" du logiciel.
Merci pour votre réponse

[parisse]

en effet, il ne semble pas que Jean-Pierre Branchard ait prévu ça et moi je n'ai pas prévu de commande individuelle non plus. On peut s'en sortir avec une commande cas_setup compliquée mais il faudra qu'on améliore ça!

[hugolin]

Bonsoir,

Je me permets de relancer ce message que j'ai initié il y a 6 mois.

J'utilise déjà la version logiciel de Xcas avec mes élèves (je suis prof de maths en collège et lycée).
Je souhaiterais également utiliser la version en ligne.
Concernant la factorisation, est-il prévu de permettre un mode de factorisation dans l'ensemble des rationnels (en plus des modes réel et complexe) comme cela existe dans la version logicielle ?

Merci pour votre réponse.

[parisse]

Vous pouvez utiliser la commande with_sqrt(0) ou with_sqrt(1) pour interdire ou forcer la factorisation des polynomes de degré 2 dans Xcas. Pour xcas en ligne, ça dépend de quand JP Branchard a fait la mise a jour du noyau de calcul formel...