A library to handle Hilbert Spaces