1.2.2-3 et control C

Librairie C++ de calcul formel/ C++ symbolic computation library

Modérateur : xcasadmin

frederic han
Messages : 1137
Inscription : dim. mai 20, 2007 7:09 am
Localisation : Paris
Contact :

1.2.2-3 et control C

Message par frederic han » sam. nov. 07, 2015 8:09 am

Salut, avec giac 1.2.2-3 (compile ou binaire) j'ai un probleme avec les interruptions:

. control C durant un gbasis mod 101 plante tout, et pas avant.
. Aussi a partir de Cyclic9 j'ai l'impression qu'il passe en mode verbose meme si l'on n'a rien fait.

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

Re: 1.2.2-3 et control C

Message par parisse » sam. nov. 07, 2015 1:06 pm

je pense que c'est plutot du au hasard, je n'ai rien change sur control-c.
Pour le passage en mode verbose, j'ai rajoute un passage en mode 1 ou 2 si le temps d'execution d'une base modulaire depasse 500s.
N.B.: prends plutot la version 1.2.2-5 pour faire des benchmarks, j'ai gagne quelques %. Ainsi pour cyclic10 modulaire prend 13h (et 12G) environ sur mon mac.

frederic han
Messages : 1137
Inscription : dim. mai 20, 2007 7:09 am
Localisation : Paris
Contact :

Re: 1.2.2-3 et control C

Message par frederic han » sam. nov. 07, 2015 3:33 pm

Du coup ca ecrase le reglage global si on en a fait un?

Que se passe t'il apres, ou apres une interruption, est ce que l'ancien reglage est retabli?

(Je demande car sur sage j'ai fait des options pour regler ce verbose, et aussi pour evaluer le risque d'un doctest qui rate a cause d'un temps en dessous/ ou au dessus de ta borne (500s est probablement assez grand))

Fred

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

Re: 1.2.2-3 et control C

Message par parisse » sam. nov. 07, 2015 5:32 pm

ah oui, je n'avais pas vu cet inconvenient, il faudrait peut-etre que je retablisse le reglage.

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

Re: 1.2.2-3 et control C

Message par parisse » mar. nov. 10, 2015 2:51 pm

Voila, en principe le reglage est restaure, et j'ai ajoute un peu de code pour pouvoir interrompre (mais ca ne marche pas partout). Tout ca est dans la 1.2.2-9.

Répondre