Peut etre un bug dans gbasis ??
Publié : ven. juin 29, 2007 2:08 pm
Bonjour,
J'essaie de mettre en oeuvre la fonction gbasis.
J'utilise l'exemple suivant :
gbasis([X1^2-I1,X1*X5-I2,X1*X6-I3,X2-I4,X3-I5,X4-I6,X5^2-I7,X5*X6-I8,X6^2-I9,X7-I10,X8-I11,X9-I12],[X1,X2,X3,X4,X5,X6,X7,X8,X9,I1,I2,I3,I4,I5,I6,I7,I8,I9,I10,I11,I12])
C'est pour moi un "cas d'école" en ce sens qu'il a été essayé par un confrère sous MAPLE, et que je l'ai aussi vérifié avec le concurrent maxima. Mapple renvoie une réponse en un temps que je ne connais pas, et maxima renvoie une réponse en quelques secondes.
Xcas semble tourner indéfiniment sans donner de réponse. J'ai fait quelques essais en réduisant le nombre de polynomes : les huits premiers fournissent très rapidement une réponse, et le blocage apparent se produit avec l'introduction du neuvième (celui qui contient I9)..
Je sais que la recherche des bases de Grobner use d'un algorithme à complexité effroyable, mais je me demande quand même s'il n'y a pas un bug.
D'où ma question : y a t'il un moyen de tracer le fonctionnement de gbasis ?
Incidemment, quel algorithme est mis en oeuvre ?
Cordialement
Dominique MICOLLET
J'essaie de mettre en oeuvre la fonction gbasis.
J'utilise l'exemple suivant :
gbasis([X1^2-I1,X1*X5-I2,X1*X6-I3,X2-I4,X3-I5,X4-I6,X5^2-I7,X5*X6-I8,X6^2-I9,X7-I10,X8-I11,X9-I12],[X1,X2,X3,X4,X5,X6,X7,X8,X9,I1,I2,I3,I4,I5,I6,I7,I8,I9,I10,I11,I12])
C'est pour moi un "cas d'école" en ce sens qu'il a été essayé par un confrère sous MAPLE, et que je l'ai aussi vérifié avec le concurrent maxima. Mapple renvoie une réponse en un temps que je ne connais pas, et maxima renvoie une réponse en quelques secondes.
Xcas semble tourner indéfiniment sans donner de réponse. J'ai fait quelques essais en réduisant le nombre de polynomes : les huits premiers fournissent très rapidement une réponse, et le blocage apparent se produit avec l'introduction du neuvième (celui qui contient I9)..
Je sais que la recherche des bases de Grobner use d'un algorithme à complexité effroyable, mais je me demande quand même s'il n'y a pas un bug.
D'où ma question : y a t'il un moyen de tracer le fonctionnement de gbasis ?
Incidemment, quel algorithme est mis en oeuvre ?
Cordialement
Dominique MICOLLET