# Brute force the multiplication-by-s matrix by looping
# through all elements of the basis and doing the computation
# to find out what the corresponding row should be. BEWARE:
# Brute force the multiplication-by-s matrix by looping
# through all elements of the basis and doing the computation
# to find out what the corresponding row should be. BEWARE: