="identifier">RealType</span><span class="special">&amp;</span> <span class="identifier">j</span><span class="special">);</span>

   <span class="comment">// Accessors:</span>
   <span class="identifier">RealType</span> <span class="identifier">degrees_of_freedom1</span><span class="special">()</span><span class="keyword">const</span><span class="special">;</span>
   <span class="identifier">RealType</span> <span class="identifier">degrees_of_freedom2</span><span class="special">()</span><span class="keywor