. Another task would be to automatically verify the ability to estimate some multilinear expression of various functions, in terms of norms of such functions in standard spaces such as Sobolev spaces; this is a task that is particularly prevalent in PDE and harmonic analysis (and can frankly get...
In an immutable context, the operation of*x(whenTis neither a reference nor a primitive pointer) is equivalent to*Deref::deref(&x). The value of&Tis forced to be converted to the value of&U. (deref coercion). Timplements all the (immutable) methods ofU. The beauty ofDerefis that it...