Skip to content

Constrain the constructor of DefaultGlobalBasis that gets a factory

Simon Praetorius requested to merge issue/67-constrain-defaultglobalbasis-constructor into master

Summary

The constructor of DefaultGlobalBasis expecting a prebasis-factory could be preferred even in cases that are not allowed. This MR fixes this, by constraining this constructor to factories that map a GridView to a PreBasis.

Closes #67 (closed)

Merge request reports