Definition of SobolevSpaces HDiv and HCurl broken

[Marco Morandini]

This code snippet

from ufl import *
H1 < HDiv
HDiv < L2

leads to

>>> H1 < HDiv
False
>>> HDiv < L2
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/home/marco/local/Fenics/lib/python2.7/site-packages/ufl/sobolevspace.py", line 86, in __gt__
    return self in other.parents
AttributeError: type object 'HDiv' has no attribute 'parents'

This is because the HDiv and HCurl are redefined as class HDiv and class HCurl in ufl/finitelement/hdivcurl.py

[Martin Sandve Alnæs]

This should be fixed by renaming HDiv -> HDivElement, same for HCurl.

[Andrew McRae]

...or by removing the sobolev space functionality!

[Andrew McRae]

(recall that this was added because a particular Firedrake developer wanted to track mapping at the UFL level. So they implemented UFL Sobolev spaces, rather than, y'know, mappings)

[Andrew McRae]

@David_Ham has a counterproposal, hold up

[Martin Sandve Alnæs]

Removing milestone: 1.7 (automated comment)