[algorithms.basisextension] create empty basis of correct type