algorithms for computing local dual spaces and sets of Noetherian operators