Pour les équations on peut utiliser equal comme dans
http://xcas.e.ujf-grenoble.fr/XCAS/view ... 1760#p8640
Pour les inéquations, je n'ai jamais su s'il existait une instruction analogue, mais on peut:
* Créer ses propres mots clefs/fonctions:
C'est délicat de créer une fonction qui ne retourne que x>a car cette expression rique d'être évaluée trop tot lorsque l'on compose avec d'autres instructions. On peut donc soit travailler en python avec des strings et des %s soit travailler dans giac:
Code : Tout sélectionner
import giacpy
from giacpy import giac,cos
x=giac('x')
solveineq=giac('(a,b)->solve(a<b,x') # on se cree notre fonction
print(solveineq(cos(2*x),'1/2'))
Code : Tout sélectionner
list[((x>=(-pi/2)) and (x<(-pi/6))),((x>(pi/6)) and (x<=(pi/2)))]
Code : Tout sélectionner
In [3]: giacpy.purge(x) # on retire les hypothèses ajoutées à x
Out[3]: assume[[],[line[-pi/2,pi/2]],[]]