* fichier : gamma.dgibi ******************************************************************** ************************************************************************ ************************************************************************ ************************************************************************ * Cas-test de VERIFICATION et VALIDATION pour les operateurs * GAMM (Fonction Gamma d'Euler) * BESS (Fonction Bessel) ************************************************************************ ***************************************************************************** * Fonctions Gamma d'Euler ***************************************************************************** LG1 ='GAMM' LRG ; * VALIDATION : relation de recurrence : Gamma(x+1) = x * Gamma(x) LG2 = 'GAMM' (LRG + 1) ; Verif_G =(LG2 / (LRG * LG1)) - 1.D0 ; * Erreur le cas echeant 'SI' (Max_Err_G '>' XPREC_G ); 'FINS'; ***************************************************************************** * Fonctions de Bessel de type J ***************************************************************************** LBJ0 ='BESS' 'J0' LRJ ; LBJ1 ='BESS' 'J1' LRJ ; LBJ2 ='BESS' 'JN' 2 LRJ ; EVJ_Tot = EVJ0 'ET' EVJ1 'ET' EVJ2 ; * VALIDATION : relation de recurrence sur les Jn : J0(x) + J2(x) = 2 * J1(x) / x Verif_J =(LRJ * (LBJ0 + LBJ2) / (2. * LBJ1)) - 1.D0 ; * Erreur le cas echeant 'SI' (Max_Err_J '>' XPREC_J ); 'FINS'; ***************************************************************************** * Fonctions de Bessel de type Y ***************************************************************************** LBY0 ='BESS' 'Y0' LRY ; LBY1 ='BESS' 'Y1' LRY ; LBY2 ='BESS' 'YN' 2 LRY ; EVY_Tot = EVY0 'ET' EVY1 'ET' EVY2 ; * VALIDATION : relation de recurrence sur les Y_n : Y0(x) + Y2(x) = 2 * Y1(x) / x Verif_Y =(LRY * (LBY0 + LBY2) / (2. * LBY1)) - 1.D0 ; * Erreur le cas echeant 'SI' (Max_Err_Y '>' XPREC_Y ); 'FINS'; FIN;
© Cast3M 2003 - Tous droits réservés.
Mentions légales