Télécharger dans.notice

Retour à la liste thématique

Afficher cette notice en

Numérotation des lignes :
   1 : $$$$ DANS     NOTICE  BP208322  11/11/30    21:15:01     7194           
   2 :                                              DATE     11/11/30
   3 : 
   4 :   Operateur DANS                            Voir aussi : EXIS
   5 :     --------------  
   6 :     LOG1 = DANS   |   LECT1        LECT2                |
   7 :                   |   LISTREE1     RE1                  |
   8 :                   |   POINT1       MELE1                |
   9 :                   |   | ('SEQU' )| LISTREE1 LISTREE2    |
  10 :                   |   |  'QUEL'  |                      |
  11 :                   
  12 :                   
  13 :                   
  14 : 
  15 :     Objet :
  16 :     _______
  17 : 
  18 :    a)  L'operateur DANS fabrique un logique LOG1 qui est VRAI si le LISTENTI
  19 :        LECT1 est inclus dans le LISTENTI LECT2 et FAUX sinon.
  20 : 
  21 :        Pour que LECT1 soit inclus dans LECT2, p etant la dimension de LECT1 et 
  22 :        q celle de LECT2, il faut qu'il existe n tel que les 1 ... p valeurs de 
  23 :        LECT1 soient respectivement egales aux n*p+1 ... (n+1)*p valeurs de LECT2
  24 : 
  25 :    b)  L'operateur DANS fabrique un logique qui est VRAI si le reel RE1 est dans
  26 :        le listreel  LISTREE1. La precision est calculee en fonction (*1.e-8)dut
  27 :        plus petit ecart entre deux valeurs consecutives du listreel.
  28 : 
  29 :    c)   L'operateur DANS fabrique un logique qui est VRAI si le point POINT1
  30 :         fait partie des noeuds du maillage MELE1.
  31 :         
  32 :    d)   - mot SEQU : L'operateur DANS fabrique un logique qui est vrai si
  33 :                      la sequence du listree1 se retrouve dans le listreel2
  34 :   
  35 :    e)   - mot QUEL : L'operateur DANS fabrique un logique qui est vrai si tous
  36 :                      les element du listreel1 existent dans le listreel2
  37 :      

© Cast3M 2003 - Tous droits réservés.
Mentions légales