Howdy,
Just curious, is there any way to get the numerical value of unknowns i.e coefficients in front of the basis functions or the size of the linear system for FEM when using fenics?
Look into FunctionSpace::dim for the global dimension of your problem. Also consider GenericMatrix::size for the number of rows or columns in the linear operator for which you want to solve.