make check

Xcas devel: interface utilisateur/user interface

Modérateur : xcasadmin

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

make check

Message par frederic han » ven. avr. 11, 2014 1:10 pm

Bonjour bernard,

j'ai remarque quelques ennuis possibles du make check 1.1.1

. dans testintegrate:
Certaines integrales donnent des reponses ordonnees differemment. (peut etre pas ce que je teste avec une version compilee
sans Cocoa)
En remplacant par simplify( l'integrale - la reponse) c'est plus portable.

Code : Tout sélectionner

simplify(integrate(1/(1+sqrt(1-x**2)),x));
simplify(integrate(exp(x)*sin(x),x,0,t)-(exp(t)*(-1/2*cos(t)+1/2*sin(t))+1/2));
simplify(integrate(1/(t**4+t**2),t,2,+infinity)-(1/2+atan(2)-pi/2));
simplify(integrate((a*t+5)/((t-1)**3*(t-2)**2),t,3,x)-(ln(abs(x-1))*(5*a+15)+ln(abs(x-2))*(-5*a-15)+(5*a*x-12*a+15*x-35)/(x-2)+1/2(-15*a*x^2-45*x^2+24*a*x-10*a+70*x-30)/(x-1)^2-5*a*ln(2)+49/8*a-15*ln(2)+145/8));
. Dans testcas la commande qui donne un message d'erreur sur "pas de solutions entiere" peut etre en Francais ou en Anglais meme avec ton unset LANG ds le script. (peut etre si l'ordi a une config globale de langue)

par exemple il reste un "Pas" dans: grep Pas cas.out meme en 1.1.1

. Dans TP03 il reste un random qui n'etait pas pareil pour moi:

Code : Tout sélectionner

A:=diag([3,6,18,36]);B:=matrix(4,4,(i,j)->rand(7)-3);det(B); ismith(A*B);
je l'ai remplace par (il est en mode maple):

Code : Tout sélectionner

 A:=diag([3,6,18,36]);B:=matrix(4,4,(i,j)->rand(7)-3):;normal(det(A)*det(B)-det(ismith(A*B)[2]));
D'autres variations dans l'ordre des termes (que je cherche dans mon gros patch)

Code : Tout sélectionner

--- check/TP15-sol.cas	2010-11-10 16:26:23.000000000 +0100
+++ check.new/TP15-sol.cas	2014-04-08 16:10:08.434556236 +0200
@@ -63,8 +63,9 @@
  S:=L1*O2+L2*V; 
 /* pour calculer le resultant on travaille a une variable: ex on fait t=1£ cette fois, On parametre les droites passant par O_2 via les equations£ les droites passant par (1,0,1) sont: s'*(x-z)+t'*y*/
  L1:=s*x+y;
- L2:=op([x-z,y]*A*[[s],[1]]);
- eq:=resultant(L1,L2,s); #On a l'equation cartesienne tout de suite
+ L2:=op([x-z,y]*A*[[s],[1]]):;
+ eq:=resultant(L1,L2,s):; #On a l'equation cartesienne tout de suite
+ normal(-eq+x^2*a[1,2]-x*y*a[1,1]+x*y*a[2,2]-x*z*a[1,2]-y^2*a[2,1]+y*z*a[1,1]);

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

Re: make check

Message par frederic han » sam. avr. 12, 2014 5:48 am

NB:
Aussi, pour les pb de mots clefs parfois en francais, au lieu du unset LANG dans les fichiers chk_
au contraire je pense qu'il vaut mieux forcer la langue.
par exemple:
export LANG=C

pour le message d'erreur: "Pas de solutions entieres" qui peut etre parfois en francais ou anglais, j'ai
resolu le probleme avec:

export LC_MESSAGES=C

Fred

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

Re: make check

Message par parisse » lun. avr. 14, 2014 1:15 pm

Bon, j'ai fait des changements la ou la langue posait probleme, ca devrait etre bon maintenant. J'ai modifie aussi TP03 et 15, par contre je ne suis pas trop chaud pour modifier l'integration, car la forme du resultat est aussi un test a mon avis, si tout d'un coup le resultat issu de l'integration devenait trop complique, ce ne serait pas bien. C'est curieux que tu aies des differences la, je n'en ai jamais vue perso pourtant avec diverses architectures, tu obtiens quoi?

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

Re: make check

Message par frederic han » lun. avr. 14, 2014 3:51 pm

Salut,

la reponse etait correcte et pas plus compliquee, mais les termes n'etaient pas dans le meme ordre.
(J'ai compile 1.1.0 sans cocoa)
Ex:

Code : Tout sélectionner

0>> integrate(1/(1+sqrt(1-x**2)),x)
-1/x+2*(-1/2*x/(2*sqrt(-x^2+1)-2)+1/8*(2*sqrt(-x^2+1)-2)/x+1/2*asin(x))
contre avec ton binaire debian 1.1.0:

Code : Tout sélectionner

0>> integrate(1/(1+sqrt(1-x**2)),x)
-1/x+2*(1/2*asin(x)-1/2*x/(2*sqrt(-x^2+1)-2)+1/8*(2*sqrt(-x^2+1)-2)/x)


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

Re: make check

Message par parisse » lun. avr. 14, 2014 5:47 pm

oui, le problème c'est que si on fait un simplify() qui doit renvoyer 0 on n'a plus aucune chance de voir un résultat plus compliqué. Ca n'a presque surement aucun rapport avec cocoa, plutot avec les fonctions de tri, il faudrait arriver à trouver pourquoi.
De toutes façons, j'ai d'autres problèmes avec des erreurs d'arrondi.

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

Re: make check

Message par frederic han » lun. avr. 14, 2014 6:45 pm

et pourquoi pas les 2:
du genre:
un
make check
qui n'execute que les fichiers dont la constance est fiable. (La dans l'integrale seuls 4 m'ont pose probleme)
et un
make visualcheck

(qui pourrait meme peut etre etre execute apres l'install)
par exemple
type(alea(5))
pourrait tester si en lang FR keyword est bien trouve.

car pour les distrubitions un make check qui FAIL c'est que le paquet ne peut pas se construire.

Fred

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

Re: make check

Message par parisse » mar. avr. 15, 2014 8:29 am

bon, alors disons que dans un premier temps, le plus simple c'est d'enlever de TESTS chk_integrate dans Makefile.am, quitte a faire ./chk_integrate a la main (ce que je fais de toutes facons souvent en premier vu que si ce test passe, c'est deja bon signe...).
En fait, je pense que ce genre de choses est contre-productif, car a vouloir rentrer dans une distrib, on va diminuer le nombre de tests fait automatiquement par make check... Il faudrait avoir la possibilite d'avoir plusieurs reponses pour un test.

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

Re: make check

Message par frederic han » mar. avr. 15, 2014 10:07 am

Oui ca me semble pas trop dur de mettre quelques reponses explicites, mette des pattern serait plus dur.

Pour tes fichiers comme integrale qui ont 1 ligne d'entree 1 ligne reponse on devrait pouvoir les transformer en 1 entree avec :;
et une ligne reponse du type: [' ',' ']
et afficher testrep() mais ca n'est pas tres urgent, le patch minimal que j'ai fait pour le make check de 1.1.0 a l'air d'assez bien marcher pour l'instant.


Par exemple avec des quotes on peut faire ca:

Code : Tout sélectionner

testrep(rep,goodlist):={
    local b;	
    b:=seq((j!= rep),j=goodlist)*vrai; 
    if(b){ return "FAIL"}
    else{return "OK"}
};
rep:=integrate(1/(1+sqrt(1-x**2)),x):;
replist:=['-1/x+2*(-1/2*x/(2*sqrt(-x^2+1)-2)+1/8*(2*sqrt(-x^2+1)-2)/x+1/2*asin(x))']:;
append(replist,'-1/x+2*(1/2*asin(x)-1/2*x/(2*sqrt(-x^2+1)-2)+1/8*(2*sqrt(-x^2+1)-2)/x)'):;
testrep(rep,replist);

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

Re: make check

Message par parisse » mer. avr. 16, 2014 1:17 pm

Une autre solution pourrait etre de mettre les quelques cas particuliers dans un meme fichier et de laisser les autres.

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

Re: make check

Message par frederic han » mer. avr. 16, 2014 1:37 pm

oui c'etait plutot a ca que j'avais pense au debut, pour integrate il n'y en a que 4 a deplacer,
on peut meme les laisser ds 1 fichier sous une forme (simplify()) et sous une forme affichee ds l'autre.

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

Re: make check

Message par frederic han » sam. juin 21, 2014 8:01 am

Bonjour bernard,
avec la 1.1.1 du 20 juin il me reste des differences au make check sous fedora:

il y a 2 fichiers ou le export LANG ne suffit pas. C'est OK avec:

Code : Tout sélectionner

check_fhan7:

ajout de: 
export LC_MESSAGES=en_US.UTF8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
chk_cas:
ajout de: 
export LC_MESSAGES=en_US.UTF8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Ensuite:

Code : Tout sélectionner

131c131
< % abs acos acosh apply arg asin asinh atan atanh binomial bitand bitor bitxor break ceil charpoly concat conj content cos cosh default divisors erfc eval exp factor factorial floor frac gcd global hilbert imag isprime kill lcm length local matrix max min next nextprime norm print real round select shift sign simplify sin sinh solve sqrt subst sum tan tanh taylor trace truncate type until valuation vector version write 
---
> abs acos acosh arg asin asinh atan atanh binomial bitand bitor bitxor break ceil charpoly concat conj content cos cosh default divisors erfc eval exp factor factorial floor frac gcd global hilbert imag isprime kill lcm length matrix max min next nextprime norm print real reorder round shift sign simplify sin sinh solve sqrt subst sum tan tanh taylor trace truncate type until valuation vector write 
134a135
> 
FAIL: chk_fhan12
puis

Code : Tout sélectionner

13c13
< [[2,7,1],[3,2,1],[389,2,1],[733,2,1],[156904374622257604823879982847602392900751802349981470895277241,2,[[2,13,1],[3,3,1],[5,2,1],[7,2,1],[56467,2,1],[6553084925887974620811527,2,[[2,5,1],[19,2,1],[71,2,1],[126823,2,1]]]]]],
---
> [[2,7,1],[3,2,1],[389,2,1],[733,2,1],[156904374622257604823879982847602392900751802349981470895277241,2,[[2,13,1],[3,3,1],[5,2,1],[7,2,1],[56467,2,1],[6553084925887974620811527,2,[[2,5,1],[19,2,1],[71,2,1],[126823,2,1],[8097977,2,1]]]]]],
30a31
> 
FAIL: chk_fhan11

Code : Tout sélectionner

15c15
< [[1,0,0,0],[-10,-5,-1,0],[66,12,-7,10],[132,30,-10,17]],[[3,0,0,0],[0,6,0,0],[0,0,18,0],[0,0,0,1080]],[[0,-1,3,-103],[0,3,-8,281],[1,-6,16,-564],[-1,7,-19,668]],
---
> [[1,0,0,0],[378,133,-1,19],[-6,-9,-4,4],[84,150,70,-71]],[[3,0,0,0],[0,6,0,0],[0,0,18,0],[0,0,0,1080]],[[-1,2,1889,6481],[0,1,948,3253],[1,-2,-1892,-6492],[0,0,1,4]],
FAIL: chk_fhan3

Code : Tout sélectionner


< [-a2*C+b2*B-c2*A,-b1*c2+c1*b2+C,a1*C-b1*B+c1*A,-a1*c2+c1*a2+B,-a1*b2+b1*a2+A],
< 14804039419819626332160000000*C^6-101160936035434113269760000000*C^5*B+44412118259458878996480000000*C^5*A+133236354778376636989440000000*C^4*B^2-187929055968265812049920000000*C^4*B*A+41533555038938396098560000000*C^4*A^2+34542758646245794775040000000*C^3*B^3+14392816102602414489600000000*C^3*B^2*A-43178448307807243468800000000*C^3*B*A^2+6579573075475389480960000000*C^3*A^3-113497635551950468546560000000*C^2*B^4+270173719411708180561920000000*C^2*B^3*A-213013678318515734446080000000*C^2*B^2*A^2+67029400706405530337280000000*C^2*B*A^3-7402019709909813166080000000*C^2*A^4+7402019709909813166080000000*C*B^5-53870254555454751375360000000*C*B^4*A+93347693008307088261120000000*C*B^3*A^2-62917167534233411911680000000*C*B^2*A^3+17682602640340109230080000000*C*B*A^4-1644893268868847370240000000*C*A^5+24673399033032710553600000000*B^6-87179343250048910622720000000*B^5*A+121310878579077493555200000000*B^4*A^2-84712003346745639567360000000*B^3*A^3+31252972108508100034560000000*B^2*A^4-5757126441040965795840000000*B*A^5+411223317217211842560000000*A^6,
< 411223317217211842560000000*(C-5*B+A)*(C-B+A)^2*(2*C-2*B+A)*(3*C+2*B-A)*(6*C+3*B-A),
< 36*C^6-246*C^5*B+108*C^5*A+324*C^4*B^2-457*C^4*B*A+101*C^4*A^2+84*C^3*B^3+35*C^3*B^2*A-105*C^3*B*A^2+16*C^3*A^3-276*C^2*B^4+657*C^2*B^3*A-518*C^2*B^2*A^2+163*C^2*B*A^3-18*C^2*A^4+18*C*B^5-131*C*B^4*A+227*C*B^3*A^2-153*C*B^2*A^3+43*C*B*A^4-4*C*A^5+60*B^6-212*B^5*A+295*B^4*A^2-206*B^3*A^3+76*B^2*A^4-14*B*A^5+A^6,
< (C-5*B+A)*(C-B+A)^2*(2*C-2*B+A)*(3*C+2*B-A)*(6*C+3*B-A),
---
> [c2*A-b2*B+a2*C,c1*A-b1*B+a1*C,c1*b2-b1*c2+C,c1*a2-a1*c2+B,b1*a2-a1*b2+A],
> 411223317217211842560000000*A^6-5757126441040965795840000000*A^5*B-1644893268868847370240000000*A^5*C+31252972108508100034560000000*A^4*B^2+17682602640340109230080000000*A^4*B*C-7402019709909813166080000000*A^4*C^2-84712003346745639567360000000*A^3*B^3-62917167534233411911680000000*A^3*B^2*C+67029400706405530337280000000*A^3*B*C^2+6579573075475389480960000000*A^3*C^3+121310878579077493555200000000*A^2*B^4+93347693008307088261120000000*A^2*B^3*C-213013678318515734446080000000*A^2*B^2*C^2-43178448307807243468800000000*A^2*B*C^3+41533555038938396098560000000*A^2*C^4-87179343250048910622720000000*A*B^5-53870254555454751375360000000*A*B^4*C+270173719411708180561920000000*A*B^3*C^2+14392816102602414489600000000*A*B^2*C^3-187929055968265812049920000000*A*B*C^4+44412118259458878996480000000*A*C^5+24673399033032710553600000000*B^6+7402019709909813166080000000*B^5*C-113497635551950468546560000000*B^4*C^2+34542758646245794775040000000*B^3*C^3+133236354778376636989440000000*B^2*C^4-101160936035434113269760000000*B*C^5+14804039419819626332160000000*C^6,
> 411223317217211842560000000*(A-5*B+C)*(A-3*B-6*C)*(A-2*B-3*C)*(A-2*B+2*C)*(A-B+C)^2,
> A^6-14*A^5*B-4*A^5*C+76*A^4*B^2+43*A^4*B*C-18*A^4*C^2-206*A^3*B^3-153*A^3*B^2*C+163*A^3*B*C^2+16*A^3*C^3+295*A^2*B^4+227*A^2*B^3*C-518*A^2*B^2*C^2-105*A^2*B*C^3+101*A^2*C^4-212*A*B^5-131*A*B^4*C+657*A*B^3*C^2+35*A*B^2*C^3-457*A*B*C^4+108*A*C^5+60*B^6+18*B^5*C-276*B^4*C^2+84*B^3*C^3+324*B^2*C^4-246*B*C^5+36*C^6,
> (A-5*B+C)*(A-3*B-6*C)*(A-2*B-3*C)*(A-2*B+2*C)*(A-B+C)^2,
FAIL: chk_fhan20

et probablement des problemes d'arrondis

Code : Tout sélectionner

31,32c31,32
< 4.4*(x+0.8090169944+0.5877852523*I)*(x+0.8090169944-0.5877852523*I)*(x-0.3090169944+0.9510565163*I)*(x-0.3090169944-0.9510565163*I)*(x+0.5+7.227651959e-08*I)*(x+0.5-7.227651959e-08*I),
< 4.0*(x+0.8090169944+0.5877852523*I)*(x+0.8090169944-0.5877852523*I)*(x-0.3090169944+0.9510565163*I)*(x-0.3090169944-0.9510565163*I)*(x+0.5+1.047514683e-07*I)*(x+0.5-1.047514683e-07*I),
---
> 4.4*(x+0.8090169944+0.5877852523*I)*(x+0.8090169944-0.5877852523*I)*(x-0.3090169944+0.9510565163*I)*(x-0.3090169944-0.9510565163*I)*(x+0.5+8.029243785e-08*I)*(x+0.5-8.029243785e-08*I),
> 4.0*(x+0.8090169944+0.5877852523*I)*(x+0.8090169944-0.5877852523*I)*(x-0.3090169944+0.9510565163*I)*(x-0.3090169944-0.9510565163*I)*(x+0.5+1.03841722e-07*I)*(x+0.5-1.03841722e-07*I),
FAIL: chk_fhan0

Code : Tout sélectionner

49,53c49,53
< [[-0.55736977552213+0.10211329682641*I,-0.10401664783431+0.56775892519195*I,0.48078866512274-0.062298514079394*I,0.082404410892112-0.63595588592298*I,-0.35450669195352+5.9396931817446e-15*I],[0.29636348554109+0.6730229049228*I,-0.68556778266381-0.30188758236725*I,0.086569920524869-0.041469250381618*I,0.054852819498708-0.11450904419225*I,-0.76714698372183-6.0784710598227e-15*I],[-0.17518111176245+0.17971791871399*I,-0.18306778883229+0.17844641761389*I,-0.44686313185593-0.28167222559786*I,0.37257764744568+0.59108140337128*I,-0.70100191232384+1.1379786002408e-15*I],[-0.16725502380951-0.0071685165070325*I,0.0073021347873425+0.17037259055191*I,-0.62301713626835+0.26433226773964*I,-0.34964148222062+0.82408643044774*I,0.53836502317464+2.6506574712926e-15*I],[0.1993869011837-0.08574930102098*I,0.087347633692598-0.20310339326772*I,0.071448199077671+0.25256135949362*I,-0.33407169257136-0.094507017403253*I,-0.64640613170429-1.4779844015322e-15*I]],
< 9.4158342716536+7.2190991477712*I,9.4158342716536-7.2190991477712*I,-10.903529951919+7.6765754559479*I,-10.903529951919-7.6765754559479*I,-0.024608639468909,
< [0.082404410892112-0.63595588592298*I,0.054852819498708-0.11450904419225*I,0.37257764744568+0.59108140337128*I,-0.34964148222062+0.82408643044774*I,-0.33407169257136-0.094507017403253*I],
< [3.9834643826095+7.5667477283767*I,0.28094795777892+1.6696346009692*I,-8.5998925319267-3.5847533618648*I,-2.5138352917289-11.669500298153*I,4.3680509562528-1.5340664607974*I],
< [2.4380497620768e-13+6.785683126509e-13*I,5.3268500721515e-13+1.4397372183339e-12*I,4.8139270347747e-13+1.318056774835e-12*I,-3.7125857943465e-13-1.0196288258157e-12*I,4.4764192352886e-13+1.2163603457793e-12*I]
---
> [[-0.55736977552213+0.10211329682641*I,-0.10401664783431+0.56775892519195*I,0.48078892056982-0.062296542635289*I,0.082401803194436-0.63595622381171*I,-0.35450669195352+6.6613381477509e-15*I],[0.29636348554109+0.6730229049228*I,-0.68556778266381-0.30188758236725*I,0.086570090566185-0.041468895406773*I,0.05485234996114-0.11450926911181*I,-0.76714698372183-5.7835680689067e-15*I],[-0.17518111176245+0.17971791871399*I,-0.18306778883229+0.17844641761389*I,-0.44686197687299-0.28167405792957*I,0.37258007113455+0.59107987563518*I,-0.70100191232384+1.2073675392799e-15*I],[-0.1672550238095-0.007168516507032*I,0.0073021347873418+0.17037259055191*I,-0.6230182201409+0.26432971309496*I,-0.34963810310327+0.82408786412363*I,0.53836502317464+5.6205040621649e-16*I],[0.1993869011837-0.08574930102098*I,0.087347633692598-0.20310339326772*I,0.071447163465153+0.25256165246033*I,-0.33407208008861-0.094505647562565*I,-0.64640613170429-2.1371793224034e-15*I]],
> 9.4158342716536+7.2190991477712*I,9.4158342716536-7.2190991477712*I,-10.903529951919+7.6765754559479*I,-10.903529951919-7.6765754559479*I,-0.024608639468908,
> [0.082401803194436-0.63595622381171*I,0.05485234996114-0.11450926911181*I,0.37258007113455+0.59107987563518*I,-0.34963810310327+0.82408786412363*I,-0.33407208008861-0.094505647562565*I],
> [3.9834954095476+7.5667313943687*I,0.28095480400793+1.6696334489458*I,-8.5999072309095-3.584718098518*I,-2.5138831417574-11.669489990232*I,4.3680446658733-1.5340843717018*I],
> [6.0573768223549e-13+2.4513724383723e-13*I,1.323829934563e-12+5.1114668053742e-13*I,1.202593580274e-12+4.6185277824407e-13*I,-9.2370555648813e-13-3.6592950891645e-13*I,1.1155520951434e-12+4.3431924723336e-13*I]
FAIL: chk_fhan2

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

Re: make check

Message par parisse » sam. juin 21, 2014 5:16 pm

je modifie 7 et cas, par contre je ne vois pas de probleme pour le 3 chez moi, 12 et 11 je crois que ca depend de la version de pari utilisee, 20 c'est une question d'ordre, il me semble aussi que les autres sont des erreurs d'arrondis.

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

Re: make check

Message par frederic han » sam. juin 21, 2014 9:14 pm

Effectivement, bien souvent ca n'est pas des erreurs mathematiques mais j'ai l'impression que certaines de tes sorties de references ne correspondent plus a la 1.1.1?

Par exemple je viens d'essayer avec ton binaire debian stable amd64 ( je cree un lien de src/icas vers ton binaire)

et a part le 3 (il faudra que je verifie ce que j'ai fait sous fedora) il y a pas mal d'erreurs communes:

Code : Tout sélectionner

PASS: chk_integrate
PASS: chk_factor
PASS: chk_normalize
PASS: chk_partfrac
PASS: chk_limit
267c267
< GF(7,a^7-2*a^6+a^5+a^4-2*a^3+2*a^2-a+2,[a,G],undef),
---
> GF(7,a^7-a^5+a^4+a^3+2*a^2+2*a-3,[a,G],undef),
269c269
< (x+G(a^6+2*a^5+2*a^3+a))*(x+G(a^6+2*a^5+2*a^3+a+1))*(x+G(a^6+2*a^5+2*a^3+a+2))*(x+G(a^6+2*a^5+2*a^3+a+3))*(x+G(a^6+2*a^5+2*a^3+a-1))*(x+G(a^6+2*a^5+2*a^3+a-2))*(x+G(a^6+2*a^5+2*a^3+a-3)),
---
> (x+G(3*a^6-3*a^4+2*a^3+2*a^2-a))*(x+G(3*a^6-3*a^4+2*a^3+2*a^2-a+1))*(x+G(3*a^6-3*a^4+2*a^3+2*a^2-a+2))*(x+G(3*a^6-3*a^4+2*a^3+2*a^2-a+3))*(x+G(3*a^6-3*a^4+2*a^3+2*a^2-a-1))*(x+G(3*a^6-3*a^4+2*a^3+2*a^2-a-2))*(x+G(3*a^6-3*a^4+2*a^3+2*a^2-a-3)),
FAIL: chk_cas
PASS: chk_geo
PASS: chk_morley_demo
PASS: chk_xavier
PASS: chk_fhan1
49,53c49,53
< [[-0.55736977552213+0.10211329682641*I,-0.10401664783431+0.56775892519195*I,0.48078866512274-0.062298514079394*I,0.082404410892112-0.63595588592298*I,-0.35450669195352+5.9396931817446e-15*I],[0.29636348554109+0.6730229049228*I,-0.68556778266381-0.30188758236725*I,0.086569920524869-0.041469250381618*I,0.054852819498708-0.11450904419225*I,-0.76714698372183-6.0784710598227e-15*I],[-0.17518111176245+0.17971791871399*I,-0.18306778883229+0.17844641761389*I,-0.44686313185593-0.28167222559786*I,0.37257764744568+0.59108140337128*I,-0.70100191232384+1.1379786002408e-15*I],[-0.16725502380951-0.0071685165070325*I,0.0073021347873425+0.17037259055191*I,-0.62301713626835+0.26433226773964*I,-0.34964148222062+0.82408643044774*I,0.53836502317464+2.6506574712926e-15*I],[0.1993869011837-0.08574930102098*I,0.087347633692598-0.20310339326772*I,0.071448199077671+0.25256135949362*I,-0.33407169257136-0.094507017403253*I,-0.64640613170429-1.4779844015322e-15*I]],
< 9.4158342716536+7.2190991477712*I,9.4158342716536-7.2190991477712*I,-10.903529951919+7.6765754559479*I,-10.903529951919-7.6765754559479*I,-0.024608639468909,
< [0.082404410892112-0.63595588592298*I,0.054852819498708-0.11450904419225*I,0.37257764744568+0.59108140337128*I,-0.34964148222062+0.82408643044774*I,-0.33407169257136-0.094507017403253*I],
< [3.9834643826095+7.5667477283767*I,0.28094795777892+1.6696346009692*I,-8.5998925319267-3.5847533618648*I,-2.5138352917289-11.669500298153*I,4.3680509562528-1.5340664607974*I],
< [2.4380497620768e-13+6.785683126509e-13*I,5.3268500721515e-13+1.4397372183339e-12*I,4.8139270347747e-13+1.318056774835e-12*I,-3.7125857943465e-13-1.0196288258157e-12*I,4.4764192352886e-13+1.2163603457793e-12*I]
---
> [[-0.55736977552213+0.10211329682641*I,-0.10401664783431+0.56775892519195*I,0.48078892056982-0.062296542635289*I,0.082401803194436-0.63595622381171*I,-0.35450669195352+6.6613381477509e-15*I],[0.29636348554109+0.6730229049228*I,-0.68556778266381-0.30188758236725*I,0.086570090566185-0.041468895406773*I,0.05485234996114-0.11450926911181*I,-0.76714698372183-5.7835680689067e-15*I],[-0.17518111176245+0.17971791871399*I,-0.18306778883229+0.17844641761389*I,-0.44686197687299-0.28167405792957*I,0.37258007113455+0.59107987563518*I,-0.70100191232384+1.2073675392799e-15*I],[-0.1672550238095-0.007168516507032*I,0.0073021347873418+0.17037259055191*I,-0.6230182201409+0.26432971309496*I,-0.34963810310327+0.82408786412363*I,0.53836502317464+5.6205040621649e-16*I],[0.1993869011837-0.08574930102098*I,0.087347633692598-0.20310339326772*I,0.071447163465153+0.25256165246033*I,-0.33407208008861-0.094505647562565*I,-0.64640613170429-2.1371793224034e-15*I]],
> 9.4158342716536+7.2190991477712*I,9.4158342716536-7.2190991477712*I,-10.903529951919+7.6765754559479*I,-10.903529951919-7.6765754559479*I,-0.024608639468908,
> [0.082401803194436-0.63595622381171*I,0.05485234996114-0.11450926911181*I,0.37258007113455+0.59107987563518*I,-0.34963810310327+0.82408786412363*I,-0.33407208008861-0.094505647562565*I],
> [3.9834954095476+7.5667313943687*I,0.28095480400793+1.6696334489458*I,-8.5999072309095-3.584718098518*I,-2.5138831417574-11.669489990232*I,4.3680446658733-1.5340843717018*I],
> [6.0573768223549e-13+2.4513724383723e-13*I,1.323829934563e-12+5.1114668053742e-13*I,1.202593580274e-12+4.6185277824407e-13*I,-9.2370555648813e-13-3.6592950891645e-13*I,1.1155520951434e-12+4.3431924723336e-13*I]
FAIL: chk_fhan2
PASS: chk_fhan3
PASS: chk_fhan4
PASS: chk_fhan5
PASS: chk_fhan6
PASS: chk_fhan8
31,32c31,32
< 4.4*(x+0.49999995802767719425726)*(x+0.50000004197233049305708)*(x-0.30901699437494853421122+0.95105651629515245315101*I)*(x-0.30901699437494853421122-0.95105651629515245315101*I)*(x+0.80901699437494469055405+0.58778525229247103432521*I)*(x+0.80901699437494469055405-0.58778525229247103432521*I),
< 4.0*(x+0.50000000000000)*(x+0.50000000000000)*(x+0.80901699437494742410229+0.58778525229247312916871*I)*(x+0.80901699437494742410229-0.58778525229247312916871*I)*(x-0.30901699437494742410229+0.95105651629515357211644*I)*(x-0.30901699437494742410229-0.95105651629515357211644*I),
---
> 4.4*(x+0.8090169944+0.5877852523*I)*(x+0.8090169944-0.5877852523*I)*(x-0.3090169944+0.9510565163*I)*(x-0.3090169944-0.9510565163*I)*(x+0.5+8.029243785e-08*I)*(x+0.5-8.029243785e-08*I),
> 4.0*(x+0.8090169944+0.5877852523*I)*(x+0.8090169944-0.5877852523*I)*(x-0.3090169944+0.9510565163*I)*(x-0.3090169944-0.9510565163*I)*(x+0.5+1.03841722e-07*I)*(x+0.5-1.03841722e-07*I),
35c35
< 4.0*(x+0.50000000000000)*(x+0.50000000000000)*(x^2-0.61803398874989484820459*x+1.0000000000000000000000)*(x^2+1.6180339887498948482046*x+1.0000000000000000000000),
---
> 4.0*(x^2-0.6180339887*x+1.0)*(x^2+1.0*x+0.25)*(x^2+1.618033989*x+1.0),
FAIL: chk_fhan0
13c13
< [[2,7,1],[3,2,1],[389,2,1],[733,2,1],[156904374622257604823879982847602392900751802349981470895277241,2,[[2,13,1],[3,3,1],[5,2,1],[7,2,1],[56467,2,1],[6553084925887974620811527,2,[[2,5,1],[19,2,1],[71,2,1],[126823,2,1]]]]]],
---
> [[2,7,1],[3,2,1],[389,2,1],[733,2,1],[156904374622257604823879982847602392900751802349981470895277241,2,[[2,13,1],[3,3,1],[5,2,1],[7,2,1],[56467,2,1],[6553084925887974620811527,2,[[2,5,1],[19,2,1],[71,2,1],[126823,2,1],[8097977,2,1]]]]]],
30a31
> 
FAIL: chk_fhan11
131c131
< % abs acos acosh apply arg asin asinh atan atanh binomial bitand bitor bitxor break ceil charpoly concat conj content cos cosh default divisors erfc eval exp factor factorial floor frac gcd global hilbert imag isprime kill lcm length local matrix max min next nextprime norm print real round select shift sign simplify sin sinh solve sqrt subst sum tan tanh taylor trace truncate type until valuation vector version write 
---
> abs acos acosh arg asin asinh atan atanh binomial bitand bitor bitxor break ceil charpoly concat conj content cos cosh default divisors erfc eval exp factor factorial floor frac gcd global hilbert imag isprime kill lcm length matrix max min next nextprime norm print real reorder round shift sign simplify sin sinh solve sqrt subst sum tan tanh taylor trace truncate type until valuation vector write 
134a135
> 
FAIL: chk_fhan12
PASS: chk_fhan13
PASS: chk_fhan14
PASS: chk_fhan15
23c23
< -1.0*(x-4.1058769265275068249727)*(x-2.7492355511548716734078)*(x-0.66337962311369215962721)*(x+0.53659974432785206013379)*(x+3.9818923564682185978739),
---
> -1.0*(x-4.105876927)*(x-2.749235551)*(x-0.6633796231)*(x+0.5365997443)*(x+3.981892356),
33c33
< -0.5062528649,-0.3273837129,-0.2487685675,0.6001057333,1,1.231806181,
---
> -0.5062528649,-0.3273837129,-0.2487685675,0.6001057333,1.0,1.231806181,
43c43
< 1.0*(x-2.6055515455697309998164)*(x-2.6055510053583309924421)*(x^2-8.0*x+16.0)*(x^2+9.21110255092796093729*x+0.212111025509279294495e2),
---
> 1.0*(x-4.001076042)*(x-3.998923958)*(x+4.604193578)*(x+4.606908973)*(x^2-5.211102551*x+6.788897449),
47c47
< [-4.605551275,2.605551275,4],
---
> [-4.605551275,2.605551275,4.0],
FAIL: chk_fhan16
PASS: chk_fhan17
PASS: chk_fhan19
48,52c48,52
< [a2*C-b2*B+c2*A,a1*C-b1*B+c1*A,c1*b2-b1*c2+C,c1*a2-a1*c2+B,b1*a2-a1*b2+A],
< 14804039419819626332160000000*C^6-101160936035434113269760000000*C^5*B+133236354778376636989440000000*C^4*B^2+34542758646245794775040000000*C^3*B^3-113497635551950468546560000000*C^2*B^4+7402019709909813166080000000*C*B^5+24673399033032710553600000000*B^6+44412118259458878996480000000*C^5*A-187929055968265812049920000000*C^4*B*A+14392816102602414489600000000*C^3*B^2*A+270173719411708180561920000000*C^2*B^3*A-53870254555454751375360000000*C*B^4*A-87179343250048910622720000000*B^5*A+41533555038938396098560000000*C^4*A^2-43178448307807243468800000000*C^3*B*A^2-213013678318515734446080000000*C^2*B^2*A^2+93347693008307088261120000000*C*B^3*A^2+121310878579077493555200000000*B^4*A^2+6579573075475389480960000000*C^3*A^3+67029400706405530337280000000*C^2*B*A^3-62917167534233411911680000000*C*B^2*A^3-84712003346745639567360000000*B^3*A^3-7402019709909813166080000000*C^2*A^4+17682602640340109230080000000*C*B*A^4+31252972108508100034560000000*B^2*A^4-1644893268868847370240000000*C*A^5-5757126441040965795840000000*B*A^5+411223317217211842560000000*A^6,
< 411223317217211842560000000*(C-5*B+A)*(C-B+A)^2*(2*C-2*B+A)*(3*C+2*B-A)*(6*C+3*B-A),
< 36*C^6-246*C^5*B+108*C^5*A+324*C^4*B^2-457*C^4*B*A+101*C^4*A^2+84*C^3*B^3+35*C^3*B^2*A-105*C^3*B*A^2+16*C^3*A^3-276*C^2*B^4+657*C^2*B^3*A-518*C^2*B^2*A^2+163*C^2*B*A^3-18*C^2*A^4+18*C*B^5-131*C*B^4*A+227*C*B^3*A^2-153*C*B^2*A^3+43*C*B*A^4-4*C*A^5+60*B^6-212*B^5*A+295*B^4*A^2-206*B^3*A^3+76*B^2*A^4-14*B*A^5+A^6,
< (C-5*B+A)*(C-B+A)^2*(2*C-2*B+A)*(3*C+2*B-A)*(6*C+3*B-A),
---
> [c2*A-b2*B+a2*C,c1*A-b1*B+a1*C,c1*b2-b1*c2+C,c1*a2-a1*c2+B,b1*a2-a1*b2+A],
> 411223317217211842560000000*A^6-5757126441040965795840000000*A^5*B-1644893268868847370240000000*A^5*C+31252972108508100034560000000*A^4*B^2+17682602640340109230080000000*A^4*B*C-7402019709909813166080000000*A^4*C^2-84712003346745639567360000000*A^3*B^3-62917167534233411911680000000*A^3*B^2*C+67029400706405530337280000000*A^3*B*C^2+6579573075475389480960000000*A^3*C^3+121310878579077493555200000000*A^2*B^4+93347693008307088261120000000*A^2*B^3*C-213013678318515734446080000000*A^2*B^2*C^2-43178448307807243468800000000*A^2*B*C^3+41533555038938396098560000000*A^2*C^4-87179343250048910622720000000*A*B^5-53870254555454751375360000000*A*B^4*C+270173719411708180561920000000*A*B^3*C^2+14392816102602414489600000000*A*B^2*C^3-187929055968265812049920000000*A*B*C^4+44412118259458878996480000000*A*C^5+24673399033032710553600000000*B^6+7402019709909813166080000000*B^5*C-113497635551950468546560000000*B^4*C^2+34542758646245794775040000000*B^3*C^3+133236354778376636989440000000*B^2*C^4-101160936035434113269760000000*B*C^5+14804039419819626332160000000*C^6,
> 411223317217211842560000000*(A-5*B+C)*(A-3*B-6*C)*(A-2*B-3*C)*(A-2*B+2*C)*(A-B+C)^2,
> A^6-14*A^5*B-4*A^5*C+76*A^4*B^2+43*A^4*B*C-18*A^4*C^2-206*A^3*B^3-153*A^3*B^2*C+163*A^3*B*C^2+16*A^3*C^3+295*A^2*B^4+227*A^2*B^3*C-518*A^2*B^2*C^2-105*A^2*B*C^3+101*A^2*C^4-212*A*B^5-131*A*B^4*C+657*A*B^3*C^2+35*A*B^2*C^3-457*A*B*C^4+108*A*C^5+60*B^6+18*B^5*C-276*B^4*C^2+84*B^3*C^3+324*B^2*C^4-246*B*C^5+36*C^6,
> (A-5*B+C)*(A-3*B-6*C)*(A-2*B-3*C)*(A-2*B+2*C)*(A-B+C)^2,
FAIL: chk_fhan20
PASS: chk_fhan21
PASS: chk_fhan9
PASS: chk_fhan18
PASS: chk_fhan7
====================
7 of 30 tests failed
====================

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

Re: make check

Message par frederic han » lun. juin 23, 2014 10:18 am

Donc pour le TP3 il y a un random pour les matrices et la commande ismith(A*B) a donc un affichage pas forcement controle.
Il vaudrait mieux le remplacer par:

Code : Tout sélectionner

[U0,D0,V0]:=ismith(A*B):;D0-U0*A*B*V0;
Sinon sur quelle architecture as tu fais les .out ?

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

Re: make check

Message par frederic han » lun. juin 23, 2014 10:29 am

Donc j'ai verifie, ca ne vient pas du random. B est bien le meme dans les 2 cas, c'est le choix des changements de bases de ismith qui est different dans les deux sorties, mais les 2 reponses sont bien correctes.

Répondre