\textcolor{stringliteral}{&quot;sage/static/&quot;}),</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;00003 )</div>
<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;\end{DoxyCode}</div>
<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;</div>
<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;</div>
<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;Definition at