Supporting documentation for the function JHerm_band_Lanczos in BANDITS