(finite_group_order_from_function_f_oversampling_order,
restrict_to_finite_group, interpolate_to_infinite_group): New.
(discrete_function_from_points_and_values): New.