Currently the BSE implements the Hashimoto et al method of dropping free primitives from contracted functions. However, one can go even further. Davidson's method / P-orthogonalization by Frank Jensen can be used to transform a generally contracted set into segmented contractions, which might be useful to have in the BSE.

However, these methods require floating point operations, so the resulting sets will not look the same as the original ones.