fonction assume non persistante

[cdeval]

Bonsoir,
dans une console giac :

assume(x>0)

suivie de :

solve(x^2>0)

me renvoie bien un seul intervalle
alors qu'avec le programme compilé :

Code : Tout sélectionner

int main(){
	giac::context * contextptr=0;
	giac::child_id=1;
	for(;;){
	gen a;
	cout << "Tapez une expression : ";
	cin >> a;
	cout << "resultat : " << eval(a,contextptr) << endl;
	}
}

la même séquence me renvoie [x<0,x>0]. Le assume(x>0) n'est pas pris en compte lors du solve.
J'ai bien sûr le même problème dans OOo.
Y a-t-il un moyen de régler cela ?

[parisse]

apparamment, c'est lié à l'utilisation du context global nul. Si tu mets
giac::context c;
giac::context * contextptr=&c;
ça marche très bien. Est-ce que ça te gène d'utiliser une variable de contexte (que tu peux déclarer globalement dans ton module)?

[cdeval]

Est-ce que ça te gène d'utiliser une variable de contexte (que tu peux déclarer globalement dans ton module)?

pas du tout, et ça marche au poil dans OOo ! Merci.

screenshot_118.png (39.61 Kio) Consulté 4975 fois

[cdeval]

pour rester avec assume, j'ai testé dans Xcas cette instruction qui vient de la documentation en ligne et qui me renvoie un Bad Argument Value :

Code : Tout sélectionner

assume(b,integer);assume(b>5,additionally)

[parisse]

c'est un bug qui a été corrigé récemment (en tout cas sur la 0.9.0 tout fonctionne, as-tu la derniere 0.8.6?)

[cdeval]

effectivement, je viens de passer en 0.8.6 et ça fonctionne.
je vais en profiter pour mettre à jour aussi la librairie giac que j'intègre à mon extension.
A+