revised description of math assumptions in code readme