ffc - 云端在线

程序：

您的姓名

FFC - FEniCS 表单编译器

概要

FFC [-h] [-V] [-v] [-s] [-e] [-l 语言] [-r 表示] [-f 选项] [-O] [-q
正交规则] ... input.ufl ...

商品描述

将多线性形式编译成高效的低级代码。

FEniCS 表单编译器 FFC 接受一个或多个文件作为输入，每个文件指定一个或多个
更多的多线性形式，并将给定的形式编译成高效的低级代码
表示多线性形式的张量的自动组装。 特别是 FFC
将定义变分问题的一对双线性和线性形式编译成代码
可以用来高效地组装相应的线性系统。

默认情况下，FFC 根据 UFC 规范版本 1.0（Unified
表格组装代码，请参阅 http://www.fenics.org/) 但这可以通过指定一个
不同的输出语言（选项 -l）。 也可以添加新的输出语言
合作社。

有关 FFC 的完整描述，包括用于
定义多线性形式，请参阅 FEniCS 网页上的 FFC 用户手册：
http://www.fenics.org/

配置

-h, - 帮帮我
显示帮助文本并退出。

-V, - 版
显示版本号并退出。

-v, --详细
详细模式，打印更多输出。 与 -s 冲突。

-s, - 沉默的
静默模式，不打印输出。 与 -v 冲突。

-e, --错误控制
错误控制模式，一组对面向目标的错误有用的附加形式
控件生成并编译。

-l 语言， - 语 语言
指定输出语言，“ufc”（默认）或“dolfin”（带有小层的 UFC）之一
DOLFIN 特定的绑定）。

-r 表示， - 表示 表示
指定预计算和代码生成的表示，“正交”之一
（默认）或“张量”。

-f 选项
指定代码生成选项。 可用选项列表取决于
指定的语言（格式）。 当前选项包括 -fblas, -fno-foo,
-f精度=n, -fprecompute_basis_const, -fprecompute_ip_const,
-fsimplify_表达式, -feliminate_zeros, -f正交度=n 和， -fsplit,
-fno_ferari，下面详细介绍。

-f 布拉斯
生成使用 BLAS 计算张量积的代码。 这个选项目前
忽略，但可用于在 BLAS 选项为
（重新）在以后的版本中实现。

-f 不吃
不要为名为“foo”的 UFC 函数生成代码。 典型选项包括 -fno-
评估基础 和 -fno-evaluate_basis_derivatives 以减小尺寸
当不需要这些函数时生成的代码。

-f 精度=n
在生成的代码中将有效位数设置为 n。 默认值
n 为 15。

-f 预计算基础常量
正交表示的优化选项。 如果出现以下情况，则忽略此选项
不使用优化（见 -O 选项），这也意味着
-fprecompute_ip_const 选项. 此选项将生成预先计算术语的代码
在涉及基础指数的循环中是常数。 这可能导致
减少操作次数，从而提高运行时的效率
生成的代码。 但是，改进取决于 GCC 编译器选项，因为
以及变分形式的特点。

-f 预计算_ip_const
像 -fprecompute_basis_const 唯一的区别是代码的选项
生成计算项，这些项在涉及的循环中是常数
仅积分点。

-f 简化表达式
正交表示的优化选项。 如果出现以下情况，则忽略此选项
不使用优化（见 -O 选项）。 在将表达式简化为
计算局部元素张量，它们被扩展以识别和
预先计算关于几何和积分的常数项
点。 此操作可能非常昂贵，因为它涉及创建许多新的
可能导致内存耗尽的术语。

-f 消除零
正交表示的优化选项。 如果出现以下情况，则忽略此选项
不使用优化（见 -O 选项）。 包含基函数值的表
将被压缩，以便它们只包含非零值。 这将减少
循环范围以及操作次数，但由于映射是
引入，为了将值正确插入元素矩阵，一些
引入了开销。 此优化选项通常最有效
结合其他优化选项之一。

-f 正交度=n
将生成精确到 n 次的正交规则，无论
形式的多项式次数。 此选项仅适用于 UFL 表格和
指定的学位将适用于没有学位的给定形式的所有条款
已通过元数据指定！ 默认 FFC 将决定度数
自动从表格中。

-f 分裂
为声明和实现生成单独的文件。

-f 没有法拉利
跳过 Ferari 优化，即使设置了 -O 标志。 这仅在以下情况下有效
使用张量表示。 此选项可与
-O 标志通过指示 FFC 只有
当使用正交表示时优化。

-O, --优化
与非优化代码相比，生成操作次数更少的优化代码
用于局部元素张量的组装。 这通常会增加
代码的运行时性能。 如果表示（见 -r 选项）是“张量”
那么 FFC 将使用 Ferari 优化。 此选项需要 Ferari 并且应该是
谨慎使用，因为它可能非常昂贵（在编译时），除了
简单的形式。 如果表示是“正交”，则编译时间会增加
对于非常复杂的形式，与 Ferari 相比，它往往不那么激烈。 这 -O
正交表示选项打开以下优化标志：

-fsimplify_表达式 -feliminate_zeros

-o 目录， - 输出目录 目录
指定应将生成的文件写入的目录。 默认的
输出目录是当前 ('.') 目录。

-q 规则， --正交规则 排除
指定积分表格时应使用的正交规则。 这个
将影响张量和正交表示。 目前，可用选项
是“默认”和“规范”。 'default' 选项包括手动实现
三角形和四面体的求积规则，精度小于
或等于六。 'canonical' 选项依赖于 FIAT 来计算正交
基于映射到单形上的高斯-勒让德-雅可比规则的规则。 经过
默认情况下，FFC 将尝试使用“默认”选项，因为这通常会导致
正在生成的最有效的代码。 如果这是不可能的（如果多项式
被积函数的度数大于 XNUMX，或者如果单元格不是“三角形”之一
或“四面体”），FFC 将自动应用“规范”规则。 如果数
“规范”规则使用的积分点太大，效率不高
计算，选项 -f正交_度数 可以使用。

BUGS

将评论、问题、错误报告等发送至 [电子邮件保护].

使用 onworks.net 服务在线使用 ffc