* 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