Dear Firedrakers, An updated form compilation system has just been merged into Firedrake. FInAT, a new component, is a finite element library that is able to express structure in the finite elements themselves; this structure is then exploited by TSFC and COFFEE for optimisation. Most important benefits: - Automatic sum factorisation for Q/DQ elements. - Better code generation for vector/tensor elements and more compact element tables. So if you use CG/DG elements on non-simplex cells (quadrilaterals and extruded), you will likely see significant assembly time improvements, depending on polynomial order (higher gain with higher order). Sum factorisation for H(div)/H(curl) conforming elements (RTCF, RTCE, NCF, NCE) is not supported yet, nor for any elements on simplices. Update instructions: nothing special, just run firedrake-update. Best wishes, Miklós