Supporting documentation for the function Jsym_band_Lanczos in BANDITS