Discussion of mathematical questions that might be useful for documentation and implementation of algorithms.