interactive geometry program, documentation
