Hi Paul,
mixed spaces for the BilinearForm are functional. Even skeleton forms (at least for interior facets) are working. I guess only skeleton boundary forms and element_boundary forms that access neighboring elements are not implemented at the moment. A very simple (but not meaningful) example of what is working is here:
Code:
V1 = L2(mesh, dgjumps=True)
V2 = L2(mesh, order=2, dgjumps=True)
u = V1.TrialFunction()
v = V2.TestFunction()
a = BilinearForm(trialspace=V1,testspace=V2)
a+= (u-u.Other())*(v-v.Other())*dx(skeleton=True)
a.Assemble()
Best,
Christoph