[algorithms.greedy] provide subbasis_reduction if extension was hierarchic
[algorithms.greedy] provide subbasis_reduction if extension was hierarchic

michaellaier/pymor,michaellaier/pymor,michaellaier/pymor,michaellaier/pymor