undouble en · VERB
Etymology
From un- + double.
Meanings
-
(transitive) 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, page 54:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| undoubles | Number=Sing, Person=3, Tense=Pres | lexicographic | |
| undoubling | Tense=Pres, VerbForm=Part | lexicographic | |
| undoubled | Tense=Past, VerbForm=Part | lexicographic | |
| undoubled | Tense=Past | lexicographic |