/usr/share/doc/libghc-maths-doc/html/Math-Algebra-Field-Base.html is in libghc-maths-doc 0.4.8-4build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Math.Algebra.Field.Base</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Math-Algebra-Field-Base.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Math-Algebra-Field-Base.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">HaskellForMaths-0.4.8: Combinatorics, group theory, commutative algebra, non-commutative algebra</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell98</td></tr></table><p class="caption">Math.Algebra.Field.Base</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">newtype</span> <a href="#t:Q">Q</a> = <a href="#v:Q">Q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Rational">Rational</a></li><li class="src short"><a href="#v:numeratorQ">numeratorQ</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a></li><li class="src short"><a href="#v:denominatorQ">denominatorQ</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a></li><li class="src short"><a href="#v:extendedEuclid">extendedEuclid</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> t => t -> t -> (t, t, t)</li><li class="src short"><span class="keyword">newtype</span> <a href="#t:Fp">Fp</a> n = <a href="#v:Fp">Fp</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a></li><li class="src short"><span class="keyword">class</span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> fq, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Fractional">Fractional</a> fq) => <a href="#t:FiniteField">FiniteField</a> fq <span class="keyword">where</span><ul class="subs"></ul></li><li class="src short"><a href="#v:primitiveElt">primitiveElt</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => [a] -> a</li><li class="src short"><a href="#v:powers">powers</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a) => a -> [a]</li><li class="src short"><a href="#v:char">char</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> t => t a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a></li><li class="src short"><span class="keyword">type</span> <a href="#t:F2">F2</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T2">T2</a></li><li class="src short"><a href="#v:f2">f2</a> :: [<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F3">F3</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T3">T3</a></li><li class="src short"><a href="#v:f3">f3</a> :: [<a href="Math-Algebra-Field-Base.html#t:F3">F3</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F5">F5</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T5">T5</a></li><li class="src short"><a href="#v:f5">f5</a> :: [<a href="Math-Algebra-Field-Base.html#t:F5">F5</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F7">F7</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T7">T7</a></li><li class="src short"><a href="#v:f7">f7</a> :: [<a href="Math-Algebra-Field-Base.html#t:F7">F7</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F11">F11</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T11">T11</a></li><li class="src short"><a href="#v:f11">f11</a> :: [<a href="Math-Algebra-Field-Base.html#t:F11">F11</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F13">F13</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T13">T13</a></li><li class="src short"><a href="#v:f13">f13</a> :: [<a href="Math-Algebra-Field-Base.html#t:F13">F13</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F17">F17</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T17">T17</a></li><li class="src short"><a href="#v:f17">f17</a> :: [<a href="Math-Algebra-Field-Base.html#t:F17">F17</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F19">F19</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T19">T19</a></li><li class="src short"><a href="#v:f19">f19</a> :: [<a href="Math-Algebra-Field-Base.html#t:F19">F19</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F23">F23</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T23">T23</a></li><li class="src short"><a href="#v:f23">f23</a> :: [<a href="Math-Algebra-Field-Base.html#t:F23">F23</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F29">F29</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T29">T29</a></li><li class="src short"><a href="#v:f29">f29</a> :: [<a href="Math-Algebra-Field-Base.html#t:F29">F29</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F31">F31</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T31">T31</a></li><li class="src short"><a href="#v:f31">f31</a> :: [<a href="Math-Algebra-Field-Base.html#t:F31">F31</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F37">F37</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T37">T37</a></li><li class="src short"><a href="#v:f37">f37</a> :: [<a href="Math-Algebra-Field-Base.html#t:F37">F37</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F41">F41</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T41">T41</a></li><li class="src short"><a href="#v:f41">f41</a> :: [<a href="Math-Algebra-Field-Base.html#t:F41">F41</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F43">F43</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T43">T43</a></li><li class="src short"><a href="#v:f43">f43</a> :: [<a href="Math-Algebra-Field-Base.html#t:F43">F43</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F47">F47</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T47">T47</a></li><li class="src short"><a href="#v:f47">f47</a> :: [<a href="Math-Algebra-Field-Base.html#t:F47">F47</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F53">F53</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T53">T53</a></li><li class="src short"><a href="#v:f53">f53</a> :: [<a href="Math-Algebra-Field-Base.html#t:F53">F53</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F59">F59</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T59">T59</a></li><li class="src short"><a href="#v:f59">f59</a> :: [<a href="Math-Algebra-Field-Base.html#t:F59">F59</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F61">F61</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T61">T61</a></li><li class="src short"><a href="#v:f61">f61</a> :: [<a href="Math-Algebra-Field-Base.html#t:F61">F61</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F67">F67</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T67">T67</a></li><li class="src short"><a href="#v:f67">f67</a> :: [<a href="Math-Algebra-Field-Base.html#t:F67">F67</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F71">F71</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T71">T71</a></li><li class="src short"><a href="#v:f71">f71</a> :: [<a href="Math-Algebra-Field-Base.html#t:F71">F71</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F73">F73</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T73">T73</a></li><li class="src short"><a href="#v:f73">f73</a> :: [<a href="Math-Algebra-Field-Base.html#t:F73">F73</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F79">F79</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T79">T79</a></li><li class="src short"><a href="#v:f79">f79</a> :: [<a href="Math-Algebra-Field-Base.html#t:F79">F79</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F83">F83</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T83">T83</a></li><li class="src short"><a href="#v:f83">f83</a> :: [<a href="Math-Algebra-Field-Base.html#t:F83">F83</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F89">F89</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T89">T89</a></li><li class="src short"><a href="#v:f89">f89</a> :: [<a href="Math-Algebra-Field-Base.html#t:F89">F89</a>]</li><li class="src short"><span class="keyword">type</span> <a href="#t:F97">F97</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T97">T97</a></li><li class="src short"><a href="#v:f97">f97</a> :: [<a href="Math-Algebra-Field-Base.html#t:F97">F97</a>]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Q" class="def">Q</a> <a href="src/Math-Algebra-Field-Base.html#Q" class="link">Source</a> <a href="#t:Q" class="selflink">#</a></p><div class="doc"><p>Q is just the rationals, but with a better show function than the Prelude version</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Q" class="def">Q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Rational">Rational</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Q" class="caption collapser" onclick="toggleSection('i:Q')">Instances</p><div id="section.i:Q" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Eq:1" class="instance expander" onclick="toggleSection('i:id:Q:Eq:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a></span> <a href="src/Math-Algebra-Field-Base.html#line-14" class="link">Source</a> <a href="#t:Q" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Eq:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Fractional:2" class="instance expander" onclick="toggleSection('i:id:Q:Fractional:2')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Fractional">Fractional</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a></span> <a href="src/Math-Algebra-Field-Base.html#line-14" class="link">Source</a> <a href="#t:Q" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Fractional:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-47-">(/)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:-47-" class="selflink">#</a></p><p class="src"><a href="#v:recip">recip</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:recip" class="selflink">#</a></p><p class="src"><a href="#v:fromRational">fromRational</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Rational">Rational</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:fromRational" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Num:3" class="instance expander" onclick="toggleSection('i:id:Q:Num:3')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a></span> <a href="src/Math-Algebra-Field-Base.html#line-14" class="link">Source</a> <a href="#t:Q" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Num:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-43-">(+)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:-43-" class="selflink">#</a></p><p class="src"><a href="#v:-45-">(-)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:-45-" class="selflink">#</a></p><p class="src"><a href="#v:-42-">(*)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:-42-" class="selflink">#</a></p><p class="src"><a href="#v:negate">negate</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:negate" class="selflink">#</a></p><p class="src"><a href="#v:abs">abs</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:abs" class="selflink">#</a></p><p class="src"><a href="#v:signum">signum</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:signum" class="selflink">#</a></p><p class="src"><a href="#v:fromInteger">fromInteger</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:fromInteger" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Ord:4" class="instance expander" onclick="toggleSection('i:id:Q:Ord:4')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a></span> <a href="src/Math-Algebra-Field-Base.html#line-14" class="link">Source</a> <a href="#t:Q" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Ord:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Show:5" class="instance expander" onclick="toggleSection('i:id:Q:Show:5')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a></span> <a href="src/Math-Algebra-Field-Base.html#line-16" class="link">Source</a> <a href="#t:Q" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Show:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Math-Algebra-Field-Base.html#t:Q">Q</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:HopfAlgebra:6" class="instance expander" onclick="toggleSection('i:id:Q:HopfAlgebra:6')"></span> <a href="Math-Algebras-Structures.html#t:HopfAlgebra">HopfAlgebra</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>)</span> <a href="src/Math-Algebras-Structures.html#line-83" class="link">Source</a> <a href="#t:HopfAlgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:HopfAlgebra:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:antipode">antipode</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) <a href="src/Math-Algebras-Structures.html#antipode" class="link">Source</a> <a href="#v:antipode" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Bialgebra:7" class="instance expander" onclick="toggleSection('i:id:Q:Bialgebra:7')"></span> <a href="Math-Algebras-Structures.html#t:Bialgebra">Bialgebra</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>)</span> <a href="src/Math-Algebras-Structures.html#line-81" class="link">Source</a> <a href="#t:Bialgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Bialgebra:7" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Coalgebra:8" class="instance expander" onclick="toggleSection('i:id:Q:Coalgebra:8')"></span> <a href="Math-Algebras-Structures.html#t:Coalgebra">Coalgebra</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>)</span> <a href="src/Math-Algebras-Structures.html#line-62" class="link">Source</a> <a href="#t:Coalgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Coalgebra:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:counit">counit</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) -> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="src/Math-Algebras-Structures.html#counit" class="link">Source</a> <a href="#v:counit" class="selflink">#</a></p><p class="src"><a href="#v:comult">comult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>)) <a href="src/Math-Algebras-Structures.html#comult" class="link">Source</a> <a href="#v:comult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Algebra:9" class="instance expander" onclick="toggleSection('i:id:Q:Algebra:9')"></span> <a href="Math-Algebras-Structures.html#t:Algebra">Algebra</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>)</span> <a href="src/Math-Algebras-Structures.html#line-40" class="link">Source</a> <a href="#t:Algebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Algebra:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unit">unit</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) <a href="src/Math-Algebras-Structures.html#unit" class="link">Source</a> <a href="#v:unit" class="selflink">#</a></p><p class="src"><a href="#v:mult">mult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>)) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebras-AffinePlane.html#t:SL2">SL2</a> <a href="Math-Algebras-AffinePlane.html#t:ABCD">ABCD</a>) <a href="src/Math-Algebras-Structures.html#mult" class="link">Source</a> <a href="#v:mult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:PolynomialAsType:10" class="instance expander" onclick="toggleSection('i:id:Q:PolynomialAsType:10')"></span> <a href="Math-Common-IntegerAsType.html#t:IntegerAsType">IntegerAsType</a> n => <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> (<a href="Math-Algebra-Field-Extension.html#t:Sqrt">Sqrt</a> n)</span> <a href="src/Math-Algebra-Field-Extension.html#line-238" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:PolynomialAsType:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:Q">Q</a>, <a href="Math-Algebra-Field-Extension.html#t:Sqrt">Sqrt</a> n) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:HopfAlgebra:11" class="instance expander" onclick="toggleSection('i:id:Q:HopfAlgebra:11')"></span> <a href="Math-Algebras-Structures.html#t:HopfAlgebra">HopfAlgebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-215" class="link">Source</a> <a href="#t:HopfAlgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:HopfAlgebra:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:antipode">antipode</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#antipode" class="link">Source</a> <a href="#v:antipode" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Bialgebra:12" class="instance expander" onclick="toggleSection('i:id:Q:Bialgebra:12')"></span> <a href="Math-Algebras-Structures.html#t:Bialgebra">Bialgebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-212" class="link">Source</a> <a href="#t:Bialgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Bialgebra:12" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Bialgebra:13" class="instance expander" onclick="toggleSection('i:id:Q:Bialgebra:13')"></span> <a href="Math-Algebras-Structures.html#t:Bialgebra">Bialgebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-124" class="link">Source</a> <a href="#t:Bialgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Bialgebra:13" class="inst-details hide"></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Coalgebra:14" class="instance expander" onclick="toggleSection('i:id:Q:Coalgebra:14')"></span> <a href="Math-Algebras-Structures.html#t:Coalgebra">Coalgebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-198" class="link">Source</a> <a href="#t:Coalgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Coalgebra:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:counit">counit</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) -> <a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="src/Math-Algebras-Structures.html#counit" class="link">Source</a> <a href="#v:counit" class="selflink">#</a></p><p class="src"><a href="#v:comult">comult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)) <a href="src/Math-Algebras-Structures.html#comult" class="link">Source</a> <a href="#v:comult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Coalgebra:15" class="instance expander" onclick="toggleSection('i:id:Q:Coalgebra:15')"></span> <a href="Math-Algebras-Structures.html#t:Coalgebra">Coalgebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-110" class="link">Source</a> <a href="#t:Coalgebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Coalgebra:15" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:counit">counit</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) -> <a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> <a href="src/Math-Algebras-Structures.html#counit" class="link">Source</a> <a href="#v:counit" class="selflink">#</a></p><p class="src"><a href="#v:comult">comult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)) <a href="src/Math-Algebras-Structures.html#comult" class="link">Source</a> <a href="#v:comult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Algebra:16" class="instance expander" onclick="toggleSection('i:id:Q:Algebra:16')"></span> <a href="Math-Algebras-Structures.html#t:Algebra">Algebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-190" class="link">Source</a> <a href="#t:Algebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Algebra:16" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unit">unit</a> :: <a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#unit" class="link">Source</a> <a href="#v:unit" class="selflink">#</a></p><p class="src"><a href="#v:mult">mult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:SL2q">SL2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#mult" class="link">Source</a> <a href="#v:mult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Algebra:17" class="instance expander" onclick="toggleSection('i:id:Q:Algebra:17')"></span> <a href="Math-Algebras-Structures.html#t:Algebra">Algebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-101" class="link">Source</a> <a href="#t:Algebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Algebra:17" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unit">unit</a> :: <a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#unit" class="link">Source</a> <a href="#v:unit" class="selflink">#</a></p><p class="src"><a href="#v:mult">mult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#mult" class="link">Source</a> <a href="#v:mult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Algebra:18" class="instance expander" onclick="toggleSection('i:id:Q:Algebra:18')"></span> <a href="Math-Algebras-Structures.html#t:Algebra">Algebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq02">Aq02</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-77" class="link">Source</a> <a href="#t:Algebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Algebra:18" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unit">unit</a> :: <a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq02">Aq02</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#unit" class="link">Source</a> <a href="#v:unit" class="selflink">#</a></p><p class="src"><a href="#v:mult">mult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq02">Aq02</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq02">Aq02</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq02">Aq02</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#mult" class="link">Source</a> <a href="#v:mult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Algebra:19" class="instance expander" onclick="toggleSection('i:id:Q:Algebra:19')"></span> <a href="Math-Algebras-Structures.html#t:Algebra">Algebra</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-55" class="link">Source</a> <a href="#t:Algebra" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Algebra:19" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:unit">unit</a> :: <a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#unit" class="link">Source</a> <a href="#v:unit" class="selflink">#</a></p><p class="src"><a href="#v:mult">mult</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) <a href="src/Math-Algebras-Structures.html#mult" class="link">Source</a> <a href="#v:mult" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Comodule:20" class="instance expander" onclick="toggleSection('i:id:Q:Comodule:20')"></span> <a href="Math-Algebras-Structures.html#t:Comodule">Comodule</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)</span> <a href="src/Math-Algebras-Structures.html#line-164" class="link">Source</a> <a href="#t:Comodule" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Comodule:20" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:coaction">coaction</a> :: <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) -> <a href="Math-Algebras-VectorSpace.html#t:Vect">Vect</a> (<a href="Math-Algebras-LaurentPoly.html#t:LaurentPoly">LaurentPoly</a> <a href="Math-Algebra-Field-Base.html#t:Q">Q</a>) (<a href="Math-Algebras-TensorProduct.html#t:Tensor">Tensor</a> (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:M2q">M2q</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>) (<a href="Math-QuantumAlgebra-QuantumPlane.html#t:Aq20">Aq20</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a>)) <a href="src/Math-Algebras-Structures.html#coaction" class="link">Source</a> <a href="#v:coaction" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Invertible:21" class="instance expander" onclick="toggleSection('i:id:Q:Invertible:21')"></span> <a href="Math-Algebra-NonCommutative-NCPoly.html#t:Invertible">Invertible</a> (<a href="Math-Algebra-NonCommutative-NCPoly.html#t:NPoly">NPoly</a> <a href="Math-Projects-KnotTheory-Braid.html#t:LPQ">LPQ</a> <a href="Math-Projects-KnotTheory-Braid.html#t:BraidGens">BraidGens</a>)</span> <a href="src/Math-Algebra-NonCommutative-NCPoly.html#line-36" class="link">Source</a> <a href="#t:Invertible" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Invertible:21" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:inv">inv</a> :: <a href="Math-Algebra-NonCommutative-NCPoly.html#t:NPoly">NPoly</a> <a href="Math-Projects-KnotTheory-Braid.html#t:LPQ">LPQ</a> <a href="Math-Projects-KnotTheory-Braid.html#t:BraidGens">BraidGens</a> -> <a href="Math-Algebra-NonCommutative-NCPoly.html#t:NPoly">NPoly</a> <a href="Math-Projects-KnotTheory-Braid.html#t:LPQ">LPQ</a> <a href="Math-Projects-KnotTheory-Braid.html#t:BraidGens">BraidGens</a> <a href="src/Math-Algebra-NonCommutative-NCPoly.html#inv" class="link">Source</a> <a href="#v:inv" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Q:Invertible:22" class="instance expander" onclick="toggleSection('i:id:Q:Invertible:22')"></span> <a href="Math-Algebra-NonCommutative-NCPoly.html#t:Invertible">Invertible</a> (<a href="Math-Algebra-NonCommutative-NCPoly.html#t:NPoly">NPoly</a> <a href="Math-Projects-KnotTheory-Braid.html#t:LPQ">LPQ</a> <a href="Math-Projects-KnotTheory-IwahoriHecke.html#t:IwahoriHeckeGens">IwahoriHeckeGens</a>)</span> <a href="src/Math-Algebra-NonCommutative-NCPoly.html#line-38" class="link">Source</a> <a href="#t:Invertible" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Q:Invertible:22" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:inv">inv</a> :: <a href="Math-Algebra-NonCommutative-NCPoly.html#t:NPoly">NPoly</a> <a href="Math-Projects-KnotTheory-Braid.html#t:LPQ">LPQ</a> <a href="Math-Projects-KnotTheory-IwahoriHecke.html#t:IwahoriHeckeGens">IwahoriHeckeGens</a> -> <a href="Math-Algebra-NonCommutative-NCPoly.html#t:NPoly">NPoly</a> <a href="Math-Projects-KnotTheory-Braid.html#t:LPQ">LPQ</a> <a href="Math-Projects-KnotTheory-IwahoriHecke.html#t:IwahoriHeckeGens">IwahoriHeckeGens</a> <a href="src/Math-Algebra-NonCommutative-NCPoly.html#inv" class="link">Source</a> <a href="#v:inv" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:numeratorQ" class="def">numeratorQ</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a> <a href="src/Math-Algebra-Field-Base.html#numeratorQ" class="link">Source</a> <a href="#v:numeratorQ" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:denominatorQ" class="def">denominatorQ</a> :: <a href="Math-Algebra-Field-Base.html#t:Q">Q</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a> <a href="src/Math-Algebra-Field-Base.html#denominatorQ" class="link">Source</a> <a href="#v:denominatorQ" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:extendedEuclid" class="def">extendedEuclid</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integral">Integral</a> t => t -> t -> (t, t, t) <a href="src/Math-Algebra-Field-Base.html#extendedEuclid" class="link">Source</a> <a href="#v:extendedEuclid" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Fp" class="def">Fp</a> n <a href="src/Math-Algebra-Field-Base.html#Fp" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Fp" class="def">Fp</a> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Fp" class="caption collapser" onclick="toggleSection('i:Fp')">Instances</p><div id="section.i:Fp" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:PolynomialAsType:1" class="instance expander" onclick="toggleSection('i:id:Fp:PolynomialAsType:1')"></span> <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:F5">F5</a> <a href="Math-Algebra-Field-Extension.html#t:ConwayF25">ConwayF25</a></span> <a href="src/Math-Algebra-Field-Extension.html#line-202" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:PolynomialAsType:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:F5">F5</a>, <a href="Math-Algebra-Field-Extension.html#t:ConwayF25">ConwayF25</a>) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:F5">F5</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:PolynomialAsType:2" class="instance expander" onclick="toggleSection('i:id:Fp:PolynomialAsType:2')"></span> <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:F3">F3</a> <a href="Math-Algebra-Field-Extension.html#t:ConwayF27">ConwayF27</a></span> <a href="src/Math-Algebra-Field-Extension.html#line-208" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:PolynomialAsType:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:F3">F3</a>, <a href="Math-Algebra-Field-Extension.html#t:ConwayF27">ConwayF27</a>) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:F3">F3</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:PolynomialAsType:3" class="instance expander" onclick="toggleSection('i:id:Fp:PolynomialAsType:3')"></span> <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:F3">F3</a> <a href="Math-Algebra-Field-Extension.html#t:ConwayF9">ConwayF9</a></span> <a href="src/Math-Algebra-Field-Extension.html#line-190" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:PolynomialAsType:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:F3">F3</a>, <a href="Math-Algebra-Field-Extension.html#t:ConwayF9">ConwayF9</a>) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:F3">F3</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:PolynomialAsType:4" class="instance expander" onclick="toggleSection('i:id:Fp:PolynomialAsType:4')"></span> <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="Math-Algebra-Field-Extension.html#t:ConwayF32">ConwayF32</a></span> <a href="src/Math-Algebra-Field-Extension.html#line-214" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:PolynomialAsType:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>, <a href="Math-Algebra-Field-Extension.html#t:ConwayF32">ConwayF32</a>) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:PolynomialAsType:5" class="instance expander" onclick="toggleSection('i:id:Fp:PolynomialAsType:5')"></span> <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="Math-Algebra-Field-Extension.html#t:ConwayF16">ConwayF16</a></span> <a href="src/Math-Algebra-Field-Extension.html#line-196" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:PolynomialAsType:5" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>, <a href="Math-Algebra-Field-Extension.html#t:ConwayF16">ConwayF16</a>) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:PolynomialAsType:6" class="instance expander" onclick="toggleSection('i:id:Fp:PolynomialAsType:6')"></span> <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="Math-Algebra-Field-Extension.html#t:ConwayF8">ConwayF8</a></span> <a href="src/Math-Algebra-Field-Extension.html#line-184" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:PolynomialAsType:6" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>, <a href="Math-Algebra-Field-Extension.html#t:ConwayF8">ConwayF8</a>) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:PolynomialAsType:7" class="instance expander" onclick="toggleSection('i:id:Fp:PolynomialAsType:7')"></span> <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="Math-Algebra-Field-Extension.html#t:ConwayF4">ConwayF4</a></span> <a href="src/Math-Algebra-Field-Extension.html#line-178" class="link">Source</a> <a href="#t:PolynomialAsType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:PolynomialAsType:7" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pvalue">pvalue</a> :: (<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>, <a href="Math-Algebra-Field-Extension.html#t:ConwayF4">ConwayF4</a>) -> <a href="Math-Algebra-Field-Extension.html#t:UPoly">UPoly</a> <a href="Math-Algebra-Field-Base.html#t:F2">F2</a> <a href="src/Math-Algebra-Field-Extension.html#pvalue" class="link">Source</a> <a href="#v:pvalue" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:Eq:8" class="instance expander" onclick="toggleSection('i:id:Fp:Eq:8')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n)</span> <a href="src/Math-Algebra-Field-Base.html#line-37" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:Eq:8" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:Fractional:9" class="instance expander" onclick="toggleSection('i:id:Fp:Fractional:9')"></span> <a href="Math-Common-IntegerAsType.html#t:IntegerAsType">IntegerAsType</a> n => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Fractional">Fractional</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n)</span> <a href="src/Math-Algebra-Field-Base.html#line-52" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:Fractional:9" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-47-">(/)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:-47-" class="selflink">#</a></p><p class="src"><a href="#v:recip">recip</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:recip" class="selflink">#</a></p><p class="src"><a href="#v:fromRational">fromRational</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Rational">Rational</a> -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:fromRational" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:Num:10" class="instance expander" onclick="toggleSection('i:id:Fp:Num:10')"></span> <a href="Math-Common-IntegerAsType.html#t:IntegerAsType">IntegerAsType</a> n => <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n)</span> <a href="src/Math-Algebra-Field-Base.html#line-42" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:Num:10" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-43-">(+)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:-43-" class="selflink">#</a></p><p class="src"><a href="#v:-45-">(-)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:-45-" class="selflink">#</a></p><p class="src"><a href="#v:-42-">(*)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:-42-" class="selflink">#</a></p><p class="src"><a href="#v:negate">negate</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:negate" class="selflink">#</a></p><p class="src"><a href="#v:abs">abs</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:abs" class="selflink">#</a></p><p class="src"><a href="#v:signum">signum</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:signum" class="selflink">#</a></p><p class="src"><a href="#v:fromInteger">fromInteger</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</a> -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:fromInteger" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:Ord:11" class="instance expander" onclick="toggleSection('i:id:Fp:Ord:11')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n)</span> <a href="src/Math-Algebra-Field-Base.html#line-37" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:Ord:11" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ordering">Ordering</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(<)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(<=)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(>)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(>=)</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n <a href="#v:min" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:Show:12" class="instance expander" onclick="toggleSection('i:id:Fp:Show:12')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n)</span> <a href="src/Math-Algebra-Field-Base.html#line-39" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:Show:12" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> n] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:FinSet:13" class="instance expander" onclick="toggleSection('i:id:Fp:FinSet:13')"></span> <a href="Math-Common-IntegerAsType.html#t:IntegerAsType">IntegerAsType</a> p => <a href="Math-Core-Utils.html#t:FinSet">FinSet</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p)</span> <a href="src/Math-Algebra-Field-Base.html#line-67" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:FinSet:13" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:elts">elts</a> :: [<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p] <a href="src/Math-Core-Utils.html#elts" class="link">Source</a> <a href="#v:elts" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:Fp:FiniteField:14" class="instance expander" onclick="toggleSection('i:id:Fp:FiniteField:14')"></span> <a href="Math-Common-IntegerAsType.html#t:IntegerAsType">IntegerAsType</a> p => <a href="Math-Algebra-Field-Base.html#t:FiniteField">FiniteField</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p)</span> <a href="src/Math-Algebra-Field-Base.html#line-63" class="link">Source</a> <a href="#t:Fp" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:Fp:FiniteField:14" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:eltsFq">eltsFq</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p -> [<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p] <a href="src/Math-Algebra-Field-Base.html#eltsFq" class="link">Source</a> <a href="#v:eltsFq" class="selflink">#</a></p><p class="src"><a href="#v:basisFq">basisFq</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p -> [<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p] <a href="src/Math-Algebra-Field-Base.html#basisFq" class="link">Source</a> <a href="#v:basisFq" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">class</span> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> fq, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Fractional">Fractional</a> fq) => <a id="t:FiniteField" class="def">FiniteField</a> fq <span class="keyword">where</span> <a href="src/Math-Algebra-Field-Base.html#FiniteField" class="link">Source</a> <a href="#t:FiniteField" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Math-Algebra-Field-Base.html#v:eltsFq">eltsFq</a>, <a href="Math-Algebra-Field-Base.html#v:basisFq">basisFq</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:eltsFq" class="def">eltsFq</a> :: fq -> [fq] <a href="src/Math-Algebra-Field-Base.html#eltsFq" class="link">Source</a> <a href="#v:eltsFq" class="selflink">#</a></p><p class="src"><a id="v:basisFq" class="def">basisFq</a> :: fq -> [fq] <a href="src/Math-Algebra-Field-Base.html#basisFq" class="link">Source</a> <a href="#v:basisFq" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:FiniteField" class="caption collapser" onclick="toggleSection('i:FiniteField')">Instances</p><div id="section.i:FiniteField" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:FiniteField:FiniteField:1" class="instance expander" onclick="toggleSection('i:ic:FiniteField:FiniteField:1')"></span> <a href="Math-Algebra-Field-Base.html#t:FiniteField">FiniteField</a> <a href="Math-Projects-MiniquaternionGeometry.html#t:J9">J9</a></span> <a href="src/Math-Algebra-Field-Base.html#line-131" class="link">Source</a> <a href="#t:FiniteField" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:FiniteField:FiniteField:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:eltsFq">eltsFq</a> :: <a href="Math-Projects-MiniquaternionGeometry.html#t:J9">J9</a> -> [<a href="Math-Projects-MiniquaternionGeometry.html#t:J9">J9</a>] <a href="src/Math-Algebra-Field-Base.html#eltsFq" class="link">Source</a> <a href="#v:eltsFq" class="selflink">#</a></p><p class="src"><a href="#v:basisFq">basisFq</a> :: <a href="Math-Projects-MiniquaternionGeometry.html#t:J9">J9</a> -> [<a href="Math-Projects-MiniquaternionGeometry.html#t:J9">J9</a>] <a href="src/Math-Algebra-Field-Base.html#basisFq" class="link">Source</a> <a href="#v:basisFq" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:FiniteField:FiniteField:2" class="instance expander" onclick="toggleSection('i:ic:FiniteField:FiniteField:2')"></span> <a href="Math-Algebra-Field-Base.html#t:FiniteField">FiniteField</a> <a href="Math-Projects-MiniquaternionGeometry.html#t:F9">F9</a></span> <a href="src/Math-Algebra-Field-Base.html#line-65" class="link">Source</a> <a href="#t:FiniteField" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:FiniteField:FiniteField:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:eltsFq">eltsFq</a> :: <a href="Math-Projects-MiniquaternionGeometry.html#t:F9">F9</a> -> [<a href="Math-Projects-MiniquaternionGeometry.html#t:F9">F9</a>] <a href="src/Math-Algebra-Field-Base.html#eltsFq" class="link">Source</a> <a href="#v:eltsFq" class="selflink">#</a></p><p class="src"><a href="#v:basisFq">basisFq</a> :: <a href="Math-Projects-MiniquaternionGeometry.html#t:F9">F9</a> -> [<a href="Math-Projects-MiniquaternionGeometry.html#t:F9">F9</a>] <a href="src/Math-Algebra-Field-Base.html#basisFq" class="link">Source</a> <a href="#v:basisFq" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:FiniteField:FiniteField:3" class="instance expander" onclick="toggleSection('i:ic:FiniteField:FiniteField:3')"></span> <a href="Math-Common-IntegerAsType.html#t:IntegerAsType">IntegerAsType</a> p => <a href="Math-Algebra-Field-Base.html#t:FiniteField">FiniteField</a> (<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p)</span> <a href="src/Math-Algebra-Field-Base.html#line-63" class="link">Source</a> <a href="#t:FiniteField" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:FiniteField:FiniteField:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:eltsFq">eltsFq</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p -> [<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p] <a href="src/Math-Algebra-Field-Base.html#eltsFq" class="link">Source</a> <a href="#v:eltsFq" class="selflink">#</a></p><p class="src"><a href="#v:basisFq">basisFq</a> :: <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p -> [<a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> p] <a href="src/Math-Algebra-Field-Base.html#basisFq" class="link">Source</a> <a href="#v:basisFq" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:FiniteField:FiniteField:4" class="instance expander" onclick="toggleSection('i:ic:FiniteField:FiniteField:4')"></span> (<a href="Math-Algebra-Field-Base.html#t:FiniteField">FiniteField</a> k, <a href="Math-Algebra-Field-Extension.html#t:PolynomialAsType">PolynomialAsType</a> k poly) => <a href="Math-Algebra-Field-Base.html#t:FiniteField">FiniteField</a> (<a href="Math-Algebra-Field-Extension.html#t:ExtensionField">ExtensionField</a> k poly)</span> <a href="src/Math-Algebra-Field-Base.html#line-152" class="link">Source</a> <a href="#t:FiniteField" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:FiniteField:FiniteField:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:eltsFq">eltsFq</a> :: <a href="Math-Algebra-Field-Extension.html#t:ExtensionField">ExtensionField</a> k poly -> [<a href="Math-Algebra-Field-Extension.html#t:ExtensionField">ExtensionField</a> k poly] <a href="src/Math-Algebra-Field-Base.html#eltsFq" class="link">Source</a> <a href="#v:eltsFq" class="selflink">#</a></p><p class="src"><a href="#v:basisFq">basisFq</a> :: <a href="Math-Algebra-Field-Extension.html#t:ExtensionField">ExtensionField</a> k poly -> [<a href="Math-Algebra-Field-Extension.html#t:ExtensionField">ExtensionField</a> k poly] <a href="src/Math-Algebra-Field-Base.html#basisFq" class="link">Source</a> <a href="#v:basisFq" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:primitiveElt" class="def">primitiveElt</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a) => [a] -> a <a href="src/Math-Algebra-Field-Base.html#primitiveElt" class="link">Source</a> <a href="#v:primitiveElt" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:powers" class="def">powers</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Eq.html#t:Eq">Eq</a> a) => a -> [a] <a href="src/Math-Algebra-Field-Base.html#powers" class="link">Source</a> <a href="#v:powers" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:char" class="def">char</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Foldable.html#t:Foldable">Foldable</a> t => t a -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> <a href="src/Math-Algebra-Field-Base.html#char" class="link">Source</a> <a href="#v:char" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F2" class="def">F2</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T2">T2</a> <a href="src/Math-Algebra-Field-Base.html#F2" class="link">Source</a> <a href="#t:F2" class="selflink">#</a></p><div class="doc"><p>F2 is a type for the finite field with 2 elements</p></div></div><div class="top"><p class="src"><a id="v:f2" class="def">f2</a> :: [<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>] <a href="src/Math-Algebra-Field-Base.html#f2" class="link">Source</a> <a href="#v:f2" class="selflink">#</a></p><div class="doc"><p>f2 lists the elements of F2</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F3" class="def">F3</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T3">T3</a> <a href="src/Math-Algebra-Field-Base.html#F3" class="link">Source</a> <a href="#t:F3" class="selflink">#</a></p><div class="doc"><p>F3 is a type for the finite field with 3 elements</p></div></div><div class="top"><p class="src"><a id="v:f3" class="def">f3</a> :: [<a href="Math-Algebra-Field-Base.html#t:F3">F3</a>] <a href="src/Math-Algebra-Field-Base.html#f3" class="link">Source</a> <a href="#v:f3" class="selflink">#</a></p><div class="doc"><p>f3 lists the elements of F3</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F5" class="def">F5</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T5">T5</a> <a href="src/Math-Algebra-Field-Base.html#F5" class="link">Source</a> <a href="#t:F5" class="selflink">#</a></p><div class="doc"><p>F5 is a type for the finite field with 5 elements</p></div></div><div class="top"><p class="src"><a id="v:f5" class="def">f5</a> :: [<a href="Math-Algebra-Field-Base.html#t:F5">F5</a>] <a href="src/Math-Algebra-Field-Base.html#f5" class="link">Source</a> <a href="#v:f5" class="selflink">#</a></p><div class="doc"><p>f5 lists the elements of F5</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F7" class="def">F7</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T7">T7</a> <a href="src/Math-Algebra-Field-Base.html#F7" class="link">Source</a> <a href="#t:F7" class="selflink">#</a></p><div class="doc"><p>F7 is a type for the finite field with 7 elements</p></div></div><div class="top"><p class="src"><a id="v:f7" class="def">f7</a> :: [<a href="Math-Algebra-Field-Base.html#t:F7">F7</a>] <a href="src/Math-Algebra-Field-Base.html#f7" class="link">Source</a> <a href="#v:f7" class="selflink">#</a></p><div class="doc"><p>f7 lists the elements of F7</p></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F11" class="def">F11</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T11">T11</a> <a href="src/Math-Algebra-Field-Base.html#F11" class="link">Source</a> <a href="#t:F11" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f11" class="def">f11</a> :: [<a href="Math-Algebra-Field-Base.html#t:F11">F11</a>] <a href="src/Math-Algebra-Field-Base.html#f11" class="link">Source</a> <a href="#v:f11" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F13" class="def">F13</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T13">T13</a> <a href="src/Math-Algebra-Field-Base.html#F13" class="link">Source</a> <a href="#t:F13" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f13" class="def">f13</a> :: [<a href="Math-Algebra-Field-Base.html#t:F13">F13</a>] <a href="src/Math-Algebra-Field-Base.html#f13" class="link">Source</a> <a href="#v:f13" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F17" class="def">F17</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T17">T17</a> <a href="src/Math-Algebra-Field-Base.html#F17" class="link">Source</a> <a href="#t:F17" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f17" class="def">f17</a> :: [<a href="Math-Algebra-Field-Base.html#t:F17">F17</a>] <a href="src/Math-Algebra-Field-Base.html#f17" class="link">Source</a> <a href="#v:f17" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F19" class="def">F19</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T19">T19</a> <a href="src/Math-Algebra-Field-Base.html#F19" class="link">Source</a> <a href="#t:F19" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f19" class="def">f19</a> :: [<a href="Math-Algebra-Field-Base.html#t:F19">F19</a>] <a href="src/Math-Algebra-Field-Base.html#f19" class="link">Source</a> <a href="#v:f19" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F23" class="def">F23</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T23">T23</a> <a href="src/Math-Algebra-Field-Base.html#F23" class="link">Source</a> <a href="#t:F23" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f23" class="def">f23</a> :: [<a href="Math-Algebra-Field-Base.html#t:F23">F23</a>] <a href="src/Math-Algebra-Field-Base.html#f23" class="link">Source</a> <a href="#v:f23" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F29" class="def">F29</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T29">T29</a> <a href="src/Math-Algebra-Field-Base.html#F29" class="link">Source</a> <a href="#t:F29" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f29" class="def">f29</a> :: [<a href="Math-Algebra-Field-Base.html#t:F29">F29</a>] <a href="src/Math-Algebra-Field-Base.html#f29" class="link">Source</a> <a href="#v:f29" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F31" class="def">F31</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T31">T31</a> <a href="src/Math-Algebra-Field-Base.html#F31" class="link">Source</a> <a href="#t:F31" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f31" class="def">f31</a> :: [<a href="Math-Algebra-Field-Base.html#t:F31">F31</a>] <a href="src/Math-Algebra-Field-Base.html#f31" class="link">Source</a> <a href="#v:f31" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F37" class="def">F37</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T37">T37</a> <a href="src/Math-Algebra-Field-Base.html#F37" class="link">Source</a> <a href="#t:F37" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f37" class="def">f37</a> :: [<a href="Math-Algebra-Field-Base.html#t:F37">F37</a>] <a href="src/Math-Algebra-Field-Base.html#f37" class="link">Source</a> <a href="#v:f37" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F41" class="def">F41</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T41">T41</a> <a href="src/Math-Algebra-Field-Base.html#F41" class="link">Source</a> <a href="#t:F41" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f41" class="def">f41</a> :: [<a href="Math-Algebra-Field-Base.html#t:F41">F41</a>] <a href="src/Math-Algebra-Field-Base.html#f41" class="link">Source</a> <a href="#v:f41" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F43" class="def">F43</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T43">T43</a> <a href="src/Math-Algebra-Field-Base.html#F43" class="link">Source</a> <a href="#t:F43" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f43" class="def">f43</a> :: [<a href="Math-Algebra-Field-Base.html#t:F43">F43</a>] <a href="src/Math-Algebra-Field-Base.html#f43" class="link">Source</a> <a href="#v:f43" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F47" class="def">F47</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T47">T47</a> <a href="src/Math-Algebra-Field-Base.html#F47" class="link">Source</a> <a href="#t:F47" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f47" class="def">f47</a> :: [<a href="Math-Algebra-Field-Base.html#t:F47">F47</a>] <a href="src/Math-Algebra-Field-Base.html#f47" class="link">Source</a> <a href="#v:f47" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F53" class="def">F53</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T53">T53</a> <a href="src/Math-Algebra-Field-Base.html#F53" class="link">Source</a> <a href="#t:F53" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f53" class="def">f53</a> :: [<a href="Math-Algebra-Field-Base.html#t:F53">F53</a>] <a href="src/Math-Algebra-Field-Base.html#f53" class="link">Source</a> <a href="#v:f53" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F59" class="def">F59</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T59">T59</a> <a href="src/Math-Algebra-Field-Base.html#F59" class="link">Source</a> <a href="#t:F59" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f59" class="def">f59</a> :: [<a href="Math-Algebra-Field-Base.html#t:F59">F59</a>] <a href="src/Math-Algebra-Field-Base.html#f59" class="link">Source</a> <a href="#v:f59" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F61" class="def">F61</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T61">T61</a> <a href="src/Math-Algebra-Field-Base.html#F61" class="link">Source</a> <a href="#t:F61" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f61" class="def">f61</a> :: [<a href="Math-Algebra-Field-Base.html#t:F61">F61</a>] <a href="src/Math-Algebra-Field-Base.html#f61" class="link">Source</a> <a href="#v:f61" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F67" class="def">F67</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T67">T67</a> <a href="src/Math-Algebra-Field-Base.html#F67" class="link">Source</a> <a href="#t:F67" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f67" class="def">f67</a> :: [<a href="Math-Algebra-Field-Base.html#t:F67">F67</a>] <a href="src/Math-Algebra-Field-Base.html#f67" class="link">Source</a> <a href="#v:f67" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F71" class="def">F71</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T71">T71</a> <a href="src/Math-Algebra-Field-Base.html#F71" class="link">Source</a> <a href="#t:F71" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f71" class="def">f71</a> :: [<a href="Math-Algebra-Field-Base.html#t:F71">F71</a>] <a href="src/Math-Algebra-Field-Base.html#f71" class="link">Source</a> <a href="#v:f71" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F73" class="def">F73</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T73">T73</a> <a href="src/Math-Algebra-Field-Base.html#F73" class="link">Source</a> <a href="#t:F73" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f73" class="def">f73</a> :: [<a href="Math-Algebra-Field-Base.html#t:F73">F73</a>] <a href="src/Math-Algebra-Field-Base.html#f73" class="link">Source</a> <a href="#v:f73" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F79" class="def">F79</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T79">T79</a> <a href="src/Math-Algebra-Field-Base.html#F79" class="link">Source</a> <a href="#t:F79" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f79" class="def">f79</a> :: [<a href="Math-Algebra-Field-Base.html#t:F79">F79</a>] <a href="src/Math-Algebra-Field-Base.html#f79" class="link">Source</a> <a href="#v:f79" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F83" class="def">F83</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T83">T83</a> <a href="src/Math-Algebra-Field-Base.html#F83" class="link">Source</a> <a href="#t:F83" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f83" class="def">f83</a> :: [<a href="Math-Algebra-Field-Base.html#t:F83">F83</a>] <a href="src/Math-Algebra-Field-Base.html#f83" class="link">Source</a> <a href="#v:f83" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F89" class="def">F89</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T89">T89</a> <a href="src/Math-Algebra-Field-Base.html#F89" class="link">Source</a> <a href="#t:F89" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f89" class="def">f89</a> :: [<a href="Math-Algebra-Field-Base.html#t:F89">F89</a>] <a href="src/Math-Algebra-Field-Base.html#f89" class="link">Source</a> <a href="#v:f89" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:F97" class="def">F97</a> = <a href="Math-Algebra-Field-Base.html#t:Fp">Fp</a> <a href="Math-Common-IntegerAsType.html#t:T97">T97</a> <a href="src/Math-Algebra-Field-Base.html#F97" class="link">Source</a> <a href="#t:F97" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:f97" class="def">f97</a> :: [<a href="Math-Algebra-Field-Base.html#t:F97">F97</a>] <a href="src/Math-Algebra-Field-Base.html#f97" class="link">Source</a> <a href="#v:f97" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
|