add note regarding the is_reduced_d algorithm