ffc - En ligne dans le Cloud

PROGRAMME:

Nom

FFC - le compilateur de formulaires FEniCS

SYNOPSIS

ffc [-h] [-V] [-v] [-s] [-e] [-l langage] [-r représentation] [-f option] [-O] [-q
[règle de quadrature] ... input.ufl ...

DESCRIPTION

Compilez des formes multilinéaires en code de bas niveau efficace.

Le compilateur de formulaires FEniCS FFC accepte en entrée un ou plusieurs fichiers, chacun spécifiant un ou
formes plus multilinéaires et compile les formes données en code de bas niveau efficace pour
assemblage automatique des tenseurs représentant les formes multilinéaires. En particulier, FFC
compile une paire de formes bilinéaires et linéaires définissant un problème variationnel dans un code qui
peut être utilisé pour assembler efficacement le système linéaire correspondant.

Par défaut, FFC génère du code selon la spécification UFC version 1.0 (Unified
Code d'assemblage de formulaires, voir http://www.fenics.org/) mais cela peut être contrôlé en spécifiant un
langue de sortie différente (option -l). Il est également possible d'ajouter de nouvelles langues de sortie à
FFC.

Pour une description complète de FFC, y compris une spécification du langage de formulaire utilisé pour
définir les formes multilinéaires, voir le manuel d'utilisation FFC disponible sur la page Web FEniCS :
http://www.fenics.org/

OPTIONS

-h, --Aidez-moi
Affichez le texte d'aide et quittez.

-V, --version
Afficher le numéro de version et quitter.

-v, --verbeux
Mode verbeux : plus de résultats sont imprimés. Conflits avec l'option -s.

-s, --silencieux
Mode silencieux : aucune sortie n'est imprimée. Conflit avec -v.

-e, --contrôle d'erreur
Mode de contrôle des erreurs, un ensemble de formulaires supplémentaires utiles pour les erreurs orientées vers un objectif
le contrôle est généré et compilé.

-l langue, --Langue langue
Spécifiez la langue de sortie, entre « ufc » (par défaut) ou « dolfin » (UFC avec une petite couche)
des liaisons spécifiques à DOLFIN).

-r représentation, --représentation représentation
Spécifier la représentation pour le précalcul et la génération de code, l'une des « quadratures »
(par défaut) ou « tenseur ».

-f option
Spécifiez les options de génération de code. La liste des options disponibles dépend de l'option
langue (format) spécifiée. Les options actuelles incluent -fblas, -fno-foo,
-fprecision=n, -fprecompute_basis_const, -fprecompute_ip_const,
-fsimplify_expressions, -féliminer_les_zéros, -fquadrature_degree=n et, -fsplit,
-fno_ferari, décrit en détail ci-dessous.

-f blas
Générer du code utilisant BLAS pour calculer des produits tensoriels. Cette option est actuellement disponible.
ignoré, mais peut être utilisé pour réduire la taille du code lorsque l'option BLAS est
(ré)implémenté dans les versions futures.

-f non-foo
Ne générez pas de code pour la fonction UFC nommée « foo ». Les options typiques incluent : -fno-
évaluer_la_base et -fno-evaluate_basis_derivatives pour réduire la taille de la
code généré lorsque ces fonctions ne sont pas nécessaires.

-f précision=n
Définissez le nombre de chiffres significatifs à n dans le code généré. La valeur par défaut
de n est 15.

-f precompute_basis_const
Option d'optimisation pour la représentation en quadrature. Cette option est ignorée si
l'optimisation n'est pas utilisée (voir -O option), et cela implique également la
-fprecompute_ip_const option. Cette option générera du code qui précalcule les termes
qui sont constantes dans les boucles impliquant des indices de base. Cela peut entraîner une
réduction du nombre d'opérations et ainsi améliorer l'efficacité d'exécution du
code généré. Cependant, les améliorations dépendent des options du compilateur GCC, comme
ainsi que les caractéristiques de la forme variationnelle.

-f precompute_ip_const
Comme le -fprecompute_basis_const option avec la seule différence que le code sera
généré pour calculer des termes qui sont constants dans les boucles impliquant le
points d'intégration uniquement.

-f simplifier_expressions
Option d'optimisation pour la représentation en quadrature. Cette option est ignorée si
l'optimisation n'est pas utilisée (voir -O option). Avant de simplifier les expressions en
calculer le tenseur d'élément local, ils sont développés afin d'identifier et
précalculer les termes qui sont constants par rapport à la géométrie et à l'intégration
points. Cette opération peut être très coûteuse car elle implique la création de nombreux nouveaux
termes qui pourraient entraîner l’épuisement de la mémoire.

-f éliminer_les_zéros
Option d'optimisation pour la représentation en quadrature. Cette option est ignorée si
l'optimisation n'est pas utilisée (voir -O option). Tableaux contenant les valeurs des fonctions de base
seront compressés de manière à ne contenir que des valeurs non nulles. Cela réduira
les plages de boucle et donc le nombre d'opérations, mais comme un mappage est
introduit, afin d'insérer correctement les valeurs dans la matrice d'éléments, certains
une surcharge est introduite. Cette option d'optimisation est généralement plus efficace
combinaison avec l'une des autres options d'optimisation.

-f quadrature_degré=n
Génèrera une règle de quadrature précise jusqu'au degré n, quelle que soit la
degré polynomial de la forme. Cette option n'est valable que pour les formes UFL et
le diplôme spécifié s'appliquera à TOUS les termes du formulaire donné pour lesquels aucun diplôme n'a été
spécifié par les métadonnées ! Par défaut, le FFC déterminera le degré
automatiquement à partir du formulaire.

-f scission
Générer des fichiers séparés pour les déclarations et l’implémentation.

-f no_ferari
Ignorer les optimisations FErari, même si l'option -O est activée. Ceci n'a d'effet que si
La représentation tensorielle est utilisée. Cette option peut être utilisée en combinaison avec
-O pour éviter des temps de compilation potentiellement très longs en demandant à FFC de ne
optimiser lorsque la représentation en quadrature est utilisée.

-O, --optimiser
Générer du code optimisé avec un nombre d'opérations inférieur par rapport au code non optimisé
pour l'assemblage du tenseur d'éléments locaux. Ceci augmentera en général
performances d'exécution du code. Si la représentation (voir -r option) est « tenseur »
FFC utilisera alors les optimisations FErari. Cette option nécessite FErari et doit être
utilisé avec prudence car il peut être très coûteux (au moment de la compilation) pour d'autres tâches que
formes simples. Si la représentation est en quadrature, le temps de compilation augmente
tend à être beaucoup moins drastique que FErari pour les formes très complexes. -O
l'option de représentation en quadrature active les indicateurs d'optimisation suivants :

-fsimplify_expressions -féliminer_les_zéros

-o annuaire, --répertoire de sortie annuaire
Spécifiez le répertoire où les fichiers générés doivent être écrits. La valeur par défaut
le répertoire de sortie est le répertoire courant ('.').

-q règle, --règle de quadrature exclure
Spécifiez la règle de quadrature à utiliser lors de l'intégration des formes. Ceci
affectera la représentation des tenseurs et des quadratures. Les options actuellement disponibles
sont « par défaut » et « canonique ». L'option « par défaut » couvre les versions implémentées manuellement.
règles de quadrature pour les triangles et les tétraèdres avec un degré de précision inférieur à
ou égal à six. L'option « canonique » s'appuie sur FIAT pour calculer la quadrature
Règle basée sur la règle de Gauss-Legendre-Jacobi appliquée aux simplexes.
par défaut, FFC essaiera d'utiliser l'option « par défaut » car cela entraînera généralement
le code le plus efficace généré. Si cela n'est pas possible (si le polynôme
le degré de l'intégrande est supérieur à six, ou si la cellule n'est pas une cellule de type « triangle »
(ou « tétraèdre »), FFC appliquera automatiquement la règle « canonique ». Si le nombre
des points d'intégration utilisés par la règle « canonique » est trop grand pour être efficace
calcul, l'option -fdegré_quadrature peut être utilisé.

BOGUES

Envoyez vos commentaires, questions, rapports de bugs, etc. à [email protected].

Utilisez ffc en ligne avec les services onworks.net