1{* Smarty *}
2<nav id="navmenu" class="col-md-3 col-xl-2 d-md-block collapse">
3  <div class="sticky-top">
4    <ul>
5      {* navMenuItem is defined in /../php/Smarty/plugins/function.navMenuItem.php *}
6      {navMenuItem href='/index.php' label='Home' title='The REDUCE Computer Algebra System'}
7      {navMenuItem href='/features.php' label='Features' title='REDUCE features and design characteristics'}
8      {navMenuItem href='/obtaining.php' label='Obtaining REDUCE' title='Guidance on downloading REDUCE from SourceForge'}
9      {navMenuItem href='/documentation.php' label='Documentation' title='User guides for REDUCE, its packages and Lisp systems'}
10      {navMenuItem href='/books.php' label='Books' title='Books about REDUCE'}
11      {navMenuItem href='/support.php' label='Support' title='Answers to questions about using REDUCE'}
12      {navMenuItem href='/tutorials.php' label='Tutorials' title='Simple examples of using REDUCE'}
13      {navMenuItem href='/packages.php' label='External Packages' title='External packages that use REDUCE'}
14      {navMenuItem href='/helpwanted.php' label='Help Wanted!' title='Join the REDUCE developer community!'}
15      {navMenuItem href='/bibliography.php' label='Bibliography' title='Publications that reference REDUCE'}
16      {navMenuItem href='/about.php' label='About REDUCE' title='History and contributors'}
17      {navMenuItem href='/projects.php' label='Related Projects' title='Projects related to REDUCE'}
18      {navMenuItem href='/search.php' label='Search&nbsp;
19      <svg width="13" height="13" viewBox="0 0 13 13">
20        <path d="m4.8495 7.8226c0.82666 0 1.5262-0.29146 2.0985-0.87438 0.57232-0.58292 0.86378-1.2877 0.87438-2.1144 0.010599-0.82666-0.28086-1.5262-0.87438-2.0985-0.59352-0.57232-1.293-0.86378-2.0985-0.87438-0.8055-0.010599-1.5103 0.28086-2.1144 0.87438-0.60414 0.59352-0.8956 1.293-0.87438 2.0985 0.021197 0.8055 0.31266 1.5103 0.87438 2.1144 0.56172 0.60414 1.2665 0.8956 2.1144 0.87438zm4.4695 0.2115 3.681 3.6819-1.259 1.284-3.6817-3.7 0.0019784-0.69479-0.090043-0.098846c-0.87973 0.76087-1.92 1.1413-3.1207 1.1413-1.3553 0-2.5025-0.46363-3.4417-1.3909s-1.4088-2.0686-1.4088-3.4239c0-1.3553 0.4696-2.4966 1.4088-3.4239 0.9392-0.92727 2.0864-1.3969 3.4417-1.4088 1.3553-0.011889 2.4906 0.45771 3.406 1.4088 0.9154 0.95107 1.379 2.0924 1.3909 3.4239 0 1.2126-0.38043 2.2588-1.1413 3.1385l0.098834 0.090049z">
21        </path>
22      </svg>' title='Search the REDUCE web site'}
23    </ul>
24
25    <a href="https://sourceforge.net/p/reduce-algebra/" rel="nofollow">
26      <p>
27	Download REDUCE from<br />
28	<img alt="SourceForge" src="https://sourceforge.net/sflogo.php?type=13&group_id=248416">
29      </p>
30    </a>
31
32    <div id="google_translate_element"></div>
33    <script type="text/javascript">
34      function googleTranslateElementInit() {
35	  new google.translate.TranslateElement( { pageLanguage: 'en' } , 'google_translate_element');
36      }
37    </script>
38    <script defer="defer" type="text/javascript" src="//translate.google.com/translate_a/element.js?cb=googleTranslateElementInit"></script>
39  </div>
40</nav>
41