undouble
To undo the doubling of; to unfold, or render single again.
Verb
- To undo the doubling of; to unfold, or render single again.
- So to simulate this, the iterative version needs to repeatedly “undouble” the value, which it will do by calling a function half. - 2014, Alexander A. Stepanov, Daniel E. Rose, From Mathematics to Generic Programming,...
Origin
From un- + double.