Skip to content

RaviartThomasBasis is not copyable

I just learned that RaviartThomasBasis cannot be copied. Is that a bug or an intentionally accepted restriction?