Madagascar Programming Reference Manual

Adjoint zeroing (adjnull.c)

The null operator is defined by

$$y = 0x=0, \qquad\textrm{with}\quad y_t\leftarrow 0.x = 0^*y=0,\qquad\textrm{with}\quad x_t\leftarrow 0.$$