|
479 | 479 | <h1 id='Synopsis._h'><img src='/share/src/web/images/minus.gif' id='Synopsis.' onclick='toggle(this,"Synopsis._d")' alt='+'/> 1 Synopsis.</h1><div id='Synopsis._d' style='display:block'>
|
480 | 480 | <pre class='inclusion'>
|
481 | 481 | share/lib/std/algebra/__init__.flx</pre>
|
482 |
| -<p><pre class='flxbg'><span class="lineno" id=line1></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/predicate"</span>; <span class="comment">// in logic.fdoc</span> |
483 |
| -<span class="lineno" id=line2></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/set"</span>; <span class="comment">// in algebra.fdoc</span> |
484 |
| -<span class="lineno" id=line3></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/container"</span>; <span class="comment">// in algebra.fdoc</span> |
485 |
| -<span class="lineno" id=line4></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/equiv"</span>; <span class="comment">// in algebra.fdoc</span> |
486 |
| -<span class="lineno" id=line5></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/partialorder"</span>; <span class="comment">// in algebra.fdoc </span> |
487 |
| -<span class="lineno" id=line6></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/totalorder"</span>; <span class="comment">// in algebra.fdoc</span> |
488 |
| -<span class="lineno" id=line7></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/sequence"</span>; <span class="comment">// in algebra.fdoc</span> |
489 |
| -<span class="lineno" id=line8></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/group"</span>; <span class="comment">// in algebra.fdoc</span> |
490 |
| -<span class="lineno" id=line9></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/ring"</span>; <span class="comment">// in algebra.fdoc</span> |
491 |
| -<span class="lineno" id=line10></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/bits"</span>; <span class="comment">// in algebra.fdoc</span> |
492 |
| -<span class="lineno" id=line11></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/integer"</span>; <span class="comment">// in algebra.fdoc</span> |
493 |
| -<span class="lineno" id=line12></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/trig"</span>; <span class="comment">// in algebra.fdoc</span> |
494 |
| -<span class="lineno" id=line13></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/real"</span>; <span class="comment">// in algebra.fdoc</span> |
495 |
| -<span class="lineno" id=line14></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/complex"</span>; <span class="comment">// in algebra.fdoc</span> |
496 |
| -<span class="lineno" id=line15></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/monad"</span>; <span class="comment">// in algebra.fdoc</span> |
| 482 | +<p><pre class='flxbg'><span class="lineno" id=line1></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/predicate"</span>; <span class="comment">// in logic.html</span> |
| 483 | +<span class="lineno" id=line2></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/set"</span>; <span class="comment">// in algebra.html</span> |
| 484 | +<span class="lineno" id=line3></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/container"</span>; <span class="comment">// in algebra.html</span> |
| 485 | +<span class="lineno" id=line4></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/equiv"</span>; <span class="comment">// in algebra.html</span> |
| 486 | +<span class="lineno" id=line5></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/partialorder"</span>; <span class="comment">// in algebra.html </span> |
| 487 | +<span class="lineno" id=line6></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/totalorder"</span>; <span class="comment">// in algebra.html</span> |
| 488 | +<span class="lineno" id=line7></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/sequence"</span>; <span class="comment">// in algebra.html</span> |
| 489 | +<span class="lineno" id=line8></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/group"</span>; <span class="comment">// in algebra.html</span> |
| 490 | +<span class="lineno" id=line9></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/ring"</span>; <span class="comment">// in algebra.html</span> |
| 491 | +<span class="lineno" id=line10></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/bits"</span>; <span class="comment">// in algebra.html</span> |
| 492 | +<span class="lineno" id=line11></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/integer"</span>; <span class="comment">// in algebra.html</span> |
| 493 | +<span class="lineno" id=line12></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/trig"</span>; <span class="comment">// in algebra.html</span> |
| 494 | +<span class="lineno" id=line13></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/real"</span>; <span class="comment">// in algebra.html</span> |
| 495 | +<span class="lineno" id=line14></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/complex"</span>; <span class="comment">// in algebra.html</span> |
| 496 | +<span class="lineno" id=line15></span> <span class="big_keyword" title="Include a Felix file">include</span> <span class="fstring">"std/algebra/monad"</span>; <span class="comment">// in algebra.html</span> |
497 | 497 | <span class="lineno" id=line16></span>
|
498 | 498 | </pre></p></div><h1 id='Description._h'><img src='/share/src/web/images/minus.gif' id='Description.' onclick='toggle(this,"Description._d")' alt='+'/> 2 Description.</h1><div id='Description._d' style='display:block'>
|
499 | 499 | <p>In this section we provide abstract definitions of some basic
|
|
0 commit comments