在有限元计算中，积分形式通常使用元素上的嵌套循环和数值积分点上的嵌套循环来计算。许多这样的形式（例如线性或多重线性）可以通过采用爱因斯坦求和符号使用单个张量收缩表达式以紧凑的方式表达，无需显式循环。为了自动化这个过程并利用现有的高 ...