2. Syntax#

evol_ther = THER_LINEAIRE (
    ◇ reuse = <objet de RESULTAT >,
    ◇ RESULTAT = evol_ther,
    ◆ MODELE = model,
    ◆ CHAM_MATER = cham_master,
    ◇ CARA_ELEM = cara_elem,
    ◆ EXCIT = _F (
         ◆ CHARGE = char_cine_ther/char_ther,
         ◇ FONC_MULT = function/formula/table cloth,
         ◇ TYPE_CHARGE = "FIXE_CSTE ",
      ),
    ◇ TYPE_CALCUL =/"STAT ",
                    /"TRAN" (by default),
    # If: (equal_to (" TYPE_CALCUL ", 'TRAN'))
        ◆ ETAT_INIT = _F (
             ◆/STAT = "OUI" (or not specified),
               /EVOL_THER = evol_ther,
               /CHAM_NO = fiel_no,
               /VALE = float,
             # If: exists (" EVOL_THER ")
                 ◇ NUME_ORDRE = int,
                 ◇ INST = float,
                 # If: exists (" INST ")
                     ◇ CRITERE =/"ABSOLU ",
                                 /"RELATIF" (by default),
                     # If: (equal_to (" CRITERE ", 'RELATIF'))
                         ◇ PRECISION = float (default: 1e-06),
                     # If: (equal_to (" CRITERE ", 'ABSOLU'))
                         ◆ PRECISION = float,
          ),
        SCHEMA_TEMPS = _F (
             ◇ SCHEMA = "HHT ",
             # If: equal_to (" SCHEMA ", 'HHT')
                 ◇ THETA = float (default: 0.57),
          ),
    ◆ INCREMENT = _F (
         # If: exists (" INST_INIT ") or exists (" INST_FIN ")
             ◇ CRITERE = "RELATIF ",
             # If: (equal_to (" CRITERE ", 'RELATIF'))
                 ◇ PRECISION = float (default: 1e-06),
         ◆ LIST_INST = list_inst/listr8,
         ◇/NUME_INST_INIT = int,
           /INST_INIT = float,
         ◇/NUME_INST_FIN = int,
           /INST_FIN = float,
      ),
    SOLVEUR = _F (
         ◇ METHODE =/"GCPC ",
                     /"LDLT ",
                     /"MULT_FRONT ",
                     /"MUMPS" (by default),
                     /"PETSC ",
         # If: equal_to (" METHODE ", 'MULT_FRONT')
             ◇ RENUM =/"MD",
                       /"MDA" (by default),
             ◇ NPREC = int (default: 8),
             ◇ ELIM_LAGR =/"NON" (by default),
                           /"OUI ",
             ◇ STOP_SINGULIER =/"NON ",
                                /"OUI" (by default),
         # If: equal_to (" METHODE ", 'LDLT')
             ◇ RENUM = "RCMK ",
             ◇ NPREC = int (default: 8),
             ◇ ELIM_LAGR =/"NON" (by default),
                           /"OUI ",
             ◇ STOP_SINGULIER =/"NON ",
                                /"OUI" (by default),
         # If: equal_to (" METHODE ", 'MUMPS')
             ◇ RENUM =/"AMD ",
                       /"AMF ",
                       /"AUTO" (by default),
                       /"METIS ",
                       /"PARMETIS ",
                       /"PORD ",
                       /"PTSCOTCH ",
                       /"QAMD ",
                       /"SCOTCH ",
             ◇ NPREC = int (default: 8),
             ◇ ELIM_LAGR =/"LAGR2" (by default),
                           /"NON ",
                           /"OUI ",
             ◇ STOP_SINGULIER =/"NON ",
                                /"OUI" (by default),
             ◇ TYPE_RESOL =/"AUTO" (by default),
                            /"NONSYM ",
                            /"SYMDEF ",
                            /"SYMGEN ",
             ◇ ACCELERATION =/"AUTO" (by default),
                              /"EN",
                              /"FR+",
                              /"FR++",
                              /"LR",
                              /"LR+",
                              /"LR++",
             ◇ LOW_RANK_SEUIL = float (default: 0.0),
             ◇ PRETRAITEMENTS =/"AUTO" (by default),
                                /"SANS ",
             ◇ POSTTRAITEMENTS =/"AUTO" (by default),
                                 /"FORCE ",
                                 /"MINI ",
                                 /"SANS ",
             ◇ PCENT_PIVOT = int (default: 35),
             ◇ REDUCTION_MPI = int (default: 0),
             ◇ NB_RHS = int (default: 1),
             ◇ RESI_RELA = float (default: 1e-06),
             ◇ GESTION_MEMOIRE =/"AUTO" (by default),
                                 /"EVAL ",
                                 /"IN_CORE ",
                                 /"OUT_OF_CORE ",
             ◇ MATR_DISTRIBUEE =/"NON" (by default),
                                 /"OUI ",
         # If: equal_to (" METHODE ", 'GCPC')
             ◇ ELIM_LAGR =/"NON" (by default),
                           /"OUI ",
             ◇ PRE_COND =/"LDLT_DP ",
                          /"LDLT_INC" (by default),
                          /"LDLT_SP ",
             ◇ RESI_RELA = float (default: 1e-06),
             ◇ NMAX_ITER = int (default: 0),
             # If: equal_to (" PRE_COND ", 'LDLT_INC')
                 ◇ RENUM = "RCMK ",
                 ◇ NIVE_REMPLISSAGE = int (default: 0),
             # If: is_in (" PRE_COND ", ('LDLT_SP', 'LDLT_DP'))
                 ◇ RENUM =/"METIS ",
                           /"PARMETIS" (by default),
                           /"SANS ",
                 ◇ REAC_PRECOND = int (default: 30),
                 ◇ PCENT_PIVOT = int (default: 20),
                 ◇ GESTION_MEMOIRE =/"AUTO" (by default),
                                     /"IN_CORE ",
                 ◇ LOW_RANK_SEUIL = float (default: 0.0),
         # If: equal_to (" METHODE ", 'PETSC')
             ◇ ELIM_LAGR =/"NON" (by default),
                           /"OUI ",
             ◇ MATR_DISTRIBUEE =/"NON" (by default),
                                 /"OUI ",
             ◇ ALGORITHME =/"CG",
                            /"CR",
                            /"FGMRES" (by default),
                            /"GCR ",
                            /"GMRES ",
                            /"GMRES_LMP ",
             ◇ OPTION_PETSC = text (default: ""),
             ◇ PRE_COND =/"BLOC_LAGR ",
                          /"BOOMER ",
                          /"FIELDSPLIT ",
                          /"GAMG ",
                          /"HPDDM ",
                          /"JACOBI ",
                          /"LDLT_DP ",
                          /"LDLT_INC ",
                          /"LDLT_SP" (by default),
                          /"ML",
                          /"SANS ",
                          /"SOR ",
                          /"UTILISATEUR ",
             ◇ RESI_RELA = float (default: 1e-06),
             ◇ NMAX_ITER = int (default: 0),
             # If: equal_to (" PRE_COND ", 'LDLT_INC')
                 ◇ RENUM = "RCMK ",
                 ◇ NIVE_REMPLISSAGE = int (default: 0),
                 ◇ REMPLISSAGE = float (default: 1.0),
             # If: is_in (" PRE_COND ", ('LDLT_SP', 'LDLT_DP'))
                 ◇ RENUM =/"METIS ",
                           /"PARMETIS" (by default),
                           /"SANS ",
                 ◇ REAC_PRECOND = int (default: 30),
                 ◇ PCENT_PIVOT = int (default: 20),
                 ◇ GESTION_MEMOIRE =/"AUTO" (by default),
                                     /"IN_CORE ",
                 ◇ LOW_RANK_SEUIL = float (default: 0.0),
             # If: equal_to (" PRE_COND ", 'ML')
                 ◇ RENUM = "SANS ",
             # If: equal_to (" PRE_COND ", 'BOOMER')
                 ◇ RENUM = "SANS ",
             # If: equal_to (" PRE_COND ", 'GAMG')
                 ◇ RENUM = "SANS ",
             # If: equal_to (" PRE_COND ", 'HPDDM')
                 ◇ RENUM = "SANS ",
             # If: equal_to (" PRE_COND ", 'BLOC_LAGR')
                 ◇ RENUM = "SANS ",
             # If: is_in (" PRE_COND ", ('FIELDSPLIT'))
                 ◇ RENUM = "SANS ",
                 ◇ PARTITION_CMP = int,
                 ◇ NOM_CMP = text,
             # If: is_in (" PRE_COND ", ('UTILISATEUR'))
                 ◇ KSP_UTIL = not_checked,
                 ◇ RENUM = "SANS ",
             # If: is_in (" PRE_COND ", ('JACOBI', '', 'SOR', 'SANS'))
                 ◇ RENUM =/"RCMK ",
                           /"SANS" (by default),
      ),
    ARCHIVAGE = _F (
         ◆/PAS_ARCH = int,
           /LIST_INST = listr8,
           /INST = float,
         # If: exists (" INST ") or exists (" LIST_INST ")
             ◇ CRITERE =/"ABSOLU ",
                         /"RELATIF" (by default),
             # If: equal_to (" CRITERE ", 'RELATIF')
                 ◇ PRECISION = float (default: 1e-06),
             # If: equal_to (" CRITERE ", 'ABSOLU')
                 ◆ PRECISION = float,
         ◇ CHAM_EXCLU = text (default: "('RESI_NOEU', 'RESI_RELA_NOEU')"),
      ),
    ◇ TITRE = text,
    ◇ INFO =/1,
             /2,
)

◆: mandatory
◇: optional
: present by default
&: together
/: only one among
|: several possible choices