La recherche a retourné 50 résultats

par Dominique MICOLLET
ven. janv. 30, 2015 1:33 pm
Forum : Giac
Sujet : Réponse différente de gbasis selon la version.
Réponses : 5
Vues : 5987

Re: Réponse différente de gbasis selon la version.

Bonjour, L'ancien ordre/algorithme peut etre atteint avec les arguments plex,with_cocoa=true. J'avais compilé les deux versions sans libcocoa, dont les sources n'étaient pas installées sur ma machine. Depuis, j'ai compilé à part la dernière version de cocoa, et fait quelques essais avec l'interpréte...
par Dominique MICOLLET
jeu. janv. 22, 2015 4:09 pm
Forum : Giac
Sujet : Réponse différente de gbasis selon la version.
Réponses : 5
Vues : 5987

Re: Réponse différente de gbasis selon la version.

Rerebonjour, Par curiosité, j'ai essayé ...Y_134],lex) : je retrouve une réponse en moins de 10 secondes. Je me suis empressé de l'essayer avec une version 1.1.3 optimisée (compilée depuis mon premier message) : pas de réponse dans ce délai. Je suis revenu à la version 0.9.8 et ai essayé ...Y_134],m...
par Dominique MICOLLET
jeu. janv. 22, 2015 3:54 pm
Forum : Giac
Sujet : Réponse différente de gbasis selon la version.
Réponses : 5
Vues : 5987

Re: Réponse différente de gbasis selon la version.

Rebonjour, J'ai procédé à quelques essais supplémentaires pour déterminer si l'ordre lexicographique influe sur le comportement d'icas. Pour la version 0.9.8 optimisée compilée par g++-4.4, sur la requête gbasis([X_9^2*X_3^2-Y_10,X_9^2*X_2^2-Y_11,X_9^2*X_1^2-Y_12,X_8*X_9*X_2*X_3-Y_16,X_7*X_9*X_3^2-Y...
par Dominique MICOLLET
jeu. janv. 22, 2015 1:53 pm
Forum : Giac
Sujet : Réponse différente de gbasis selon la version.
Réponses : 5
Vues : 5987

Réponse différente de gbasis selon la version.

Bonjour, Voici deux traces d'execution de icas sur un même problème de calcul de base de GroeBner, différant par la version de libcas mise en œuvre icas + libcas 0.9.8 : $ /usr/local/giac-0.9.8/bin/icas // Maximum number of parallel threads 2 // Using keyword file /usr/local/giac-0.9.8/share/giac/do...
par Dominique MICOLLET
mer. déc. 10, 2014 8:50 am
Forum : Giac
Sujet : Compilation giac Debian Wheezy
Réponses : 1
Vues : 2981

Compilation giac Debian Wheezy

Bonjour, Pour info : la compilation de giac avec la version standard de g++ (4.7.2-5) en Debian Wheezy échoue sur une [i]internal compiler error[/i] par [i]segmentation fault[/i] sur [b]src/prog.cc[/b]. Cela se produit aussi bien pour la version stable actuelle de giac (1.1.2) qu'une ancienne versio...
par Dominique MICOLLET
mer. août 22, 2012 7:38 am
Forum : Giac
Sujet : Echec de compilation giac-0.9.8
Réponses : 4
Vues : 4432

Re: Echec de compilation giac-0.9.8

Bonjour, avez-vous essaye d'utiliser ma version patchee de fltk. Dans mon premier essai, non : j'ai pour habitude d'utiliser a priori les sources officielles. Sur votre suggestion, j'ai employé votre patch : la compilation aboutit. Incidemment http://www-fourier.ujf-grenoble.fr/~par ... .0.tar.bz2 n...
par Dominique MICOLLET
mar. août 21, 2012 2:35 pm
Forum : Giac
Sujet : Echec de compilation giac-0.9.8
Réponses : 4
Vues : 4432

Echec de compilation giac-0.9.8

Bonjour, Je tente à nouveau de compiler une version récente de giac sur ma machine, sans succès pour le moment. La machine fonctionne sous Linux Squeeze 2.6.32-5-amd64 distribué en standard. Tous les paquets nécessaires sont ceux fournis en standard, à l'exception de fltk compilé localement en versi...
par Dominique MICOLLET
jeu. janv. 05, 2012 7:32 am
Forum : Giac
Sujet : Double compilation des objets
Réponses : 6
Vues : 4422

Re: Double compilation des objets

Bonjour,

Il s'agit peut-être d'une fausse manipulation de ma part.

Je ne parviens pas à compiler la version 0.9.3 sur une Debian Squezze 64 bits.
Il y a plusieurs points de blocage que je ne parviens pas à contourner.
Il faudra que je reprenne cela proprement et que je fasse un compte-rendu.

Merci.
par Dominique MICOLLET
mer. janv. 04, 2012 2:55 pm
Forum : Giac
Sujet : Double compilation des objets
Réponses : 6
Vues : 4422

Re: Double compilation des objets

Il y a une autre bizarrerie : deux make successifs recompilent la totalité de la distribution.
par Dominique MICOLLET
mer. janv. 04, 2012 11:31 am
Forum : Giac
Sujet : Double compilation des objets
Réponses : 6
Vues : 4422

Re: Double compilation des objets

la compilation est configurée avec --without-pic,
Ce qui semble être une mauvaise idée : la compilation vient d'échouer avec comme message d'erreur :

Code : Tout sélectionner

/usr/bin/ld: .libs/input_lexer.o: relocation R_X86_64_32 against `.bss' can not be used when making a shared object; recompile with -fPIC
par Dominique MICOLLET
mer. janv. 04, 2012 11:24 am
Forum : Giac
Sujet : Double compilation des objets
Réponses : 6
Vues : 4422

Double compilation des objets

Bonjour, bonne année et longue vie à Giac (enfin surtout à ses concepteurs) Je suis en train de compiler giac 0.9.3 sur une Debian Squeeze 64 bits. Je suis surpris par un point que j'avais déjà remarqué auparavant. Dans l'extrait de compilation ci-dessous - pris au hasard -, le lecteur remarquera qu...
par Dominique MICOLLET
jeu. juil. 07, 2011 1:33 pm
Forum : Bugs
Sujet : Paquets pour debian Squeeze 2
Réponses : 3
Vues : 2073

Re: Paquets pour debian Squeeze 2

Bonjour, en effet, mais c'est nécessaire seulement pour programmer, pas pour utiliser xcas, C'est tout à fait exact. Mais comme l'ensemble des sources est aussi disponible dans la distribution, cette dépendance me semblait aller de soi. Quant à la manière de faire, cela dépasse mes compétences : j'i...
par Dominique MICOLLET
mer. juil. 06, 2011 3:47 pm
Forum : Bugs
Sujet : Paquets pour debian Squeeze 2
Réponses : 3
Vues : 2073

Paquets pour debian Squeeze 2

Bonjour,

Pour compiler des applications qui utilisent giac en tant que librairie, on a besoin de la libgmp3-dev. Il semble qu'elle ne soit pas dans la liste des dépendances.
par Dominique MICOLLET
mer. juil. 06, 2011 3:44 pm
Forum : Bugs
Sujet : Paquets pour debian Squeeze
Réponses : 3
Vues : 1976

Re: Paquets pour debian Squeeze

Bonjour Je suis allé récupérer le paquet libmpfr1ldbl_2.4.2-3ubuntu1_amd64.deb Je confirme que cela marche. Cependant cas utilise une vieille version de la libmpfr, alors que squeeze en propose une plus récente. J'ignore si cela a une importance. Incidemment, la libmpfr1ldbl qui subsiste dans sid ne...
par Dominique MICOLLET
mer. juin 22, 2011 3:37 pm
Forum : Bugs
Sujet : lcoeff donne une réponse curieuse
Réponses : 3
Vues : 2069

Re: lcoeff donne une réponse curieuse

Bonjour, Il n'y a pas de bug, c'est juste que le coefficient dominant est le coefficient constant Si je comprends bien lcoeff(Y_1*Y_2^2+Y_3,Y_4); est compris comme lcoeff((Y_1*Y_2^2+Y_3)*Y_4^0,Y_4). il vaut mieux utiliser degree(Y_1*Y_2^2+Y_3,Y_4) Merci. Je n'avais pas trouvé l'information dans la d...