Definition:Half Wave Rectified Sine Curve

Definition
The half wave rectified sine curve is the real function $f: \R \to \R$ defined as:


 * $\forall t \in \R: \map f t = \begin {cases} \sin t & : 2 n \pi \le t \le \paren {2 n + 1} \pi \\ 0 & : \paren {2 n + 1} \pi \le t \le \paren {2 n + 2} \pi \end {cases}$

for all integers $n$.