/usr/share/doc/libghc-maths-doc/html/Math-Combinatorics-StronglyRegularGraph.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 5 6 | <!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.Combinatorics.StronglyRegularGraph</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-Combinatorics-StronglyRegularGraph.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Math-Combinatorics-StronglyRegularGraph.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.Combinatorics.StronglyRegularGraph</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>A module defining various strongly regular graphs, including the Clebsch, Hoffman-Singleton, Higman-Sims, and McLaughlin graphs.</p><p>A strongly regular graph with parameters (n,k,lambda,mu) is a (simple) graph with n vertices,
in which the number of common neighbours of x and y is k, lambda or mu according as whether
x and y are equal, adjacent, or non-adjacent. (In particular, it is a k-regular graph.)</p><p>Strongly regular graphs are highly symmetric, and have large automorphism groups.</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a id="v:srgParams" class="def">srgParams</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t => <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> t -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</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="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>) <a href="src/Math-Combinatorics-StronglyRegularGraph.html#srgParams" class="link">Source</a> <a href="#v:srgParams" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:isSRG" class="def">isSRG</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t => <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> t -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</a> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#isSRG" class="link">Source</a> <a href="#v:isSRG" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:t-39-" class="def">t'</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/Prelude.html#t:Num">Num</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => a -> <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> t <a href="src/Math-Combinatorics-StronglyRegularGraph.html#t%27" class="link">Source</a> <a href="#v:t-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:t" class="def">t</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</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 href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => a -> <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> [a] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#t" class="link">Source</a> <a href="#v:t" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:l2-39-" class="def">l2'</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/Prelude.html#t:Num">Num</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> a, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => a -> <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> t <a href="src/Math-Combinatorics-StronglyRegularGraph.html#l2%27" class="link">Source</a> <a href="#v:l2-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:l2" class="def">l2</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Enum">Enum</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 href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a) => a -> <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> (a, a) <a href="src/Math-Combinatorics-StronglyRegularGraph.html#l2" class="link">Source</a> <a href="#v:l2" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:paleyGraph" class="def">paleyGraph</a> :: (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Num">Num</a> t, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t) => [t] -> <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> t <a href="src/Math-Combinatorics-StronglyRegularGraph.html#paleyGraph" class="link">Source</a> <a href="#v:paleyGraph" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:clebsch-39-" class="def">clebsch'</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#clebsch%27" class="link">Source</a> <a href="#v:clebsch-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:clebsch" class="def">clebsch</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#clebsch" class="link">Source</a> <a href="#v:clebsch" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:clebsch2" class="def">clebsch2</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#clebsch2" class="link">Source</a> <a href="#v:clebsch2" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:triples" class="def">triples</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-Combinatorics-StronglyRegularGraph.html#triples" class="link">Source</a> <a href="#v:triples" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:heptads" class="def">heptads</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-Combinatorics-StronglyRegularGraph.html#heptads" class="link">Source</a> <a href="#v:heptads" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:-43--94-" class="def">(+^)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => [[a]] -> <a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</a> a -> [[a]] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#%2B%5E" class="link">Source</a> <a href="#v:-43--94-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:-43--94--94-" class="def">(+^^)</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> a => [[a]] -> [<a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</a> a] -> [[[a]]] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#%2B%5E%5E" class="link">Source</a> <a href="#v:-43--94--94-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:hoffmanSingleton-39-" class="def">hoffmanSingleton'</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#hoffmanSingleton%27" class="link">Source</a> <a href="#v:hoffmanSingleton-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:hoffmanSingleton" class="def">hoffmanSingleton</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> [[<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</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-Combinatorics-StronglyRegularGraph.html#hoffmanSingleton" class="link">Source</a> <a href="#v:hoffmanSingleton" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:inducedA7" class="def">inducedA7</a> :: <a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</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-Group-PermutationGroup.html#t:Permutation">Permutation</a> (<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Either.html#t:Either">Either</a> [[<a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Prelude.html#t:Integer">Integer</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-Combinatorics-StronglyRegularGraph.html#inducedA7" class="link">Source</a> <a href="#v:inducedA7" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:hsA7" class="def">hsA7</a> :: [<a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</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-Combinatorics-StronglyRegularGraph.html#hsA7" class="link">Source</a> <a href="#v:hsA7" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:gewirtz-39-" class="def">gewirtz'</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#gewirtz%27" class="link">Source</a> <a href="#v:gewirtz-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:gewirtz" class="def">gewirtz</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#gewirtz" class="link">Source</a> <a href="#v:gewirtz" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:DesignVertex" class="def">DesignVertex</a> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#DesignVertex" class="link">Source</a> <a href="#t:DesignVertex" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:C" class="def">C</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a id="v:P" class="def">P</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><tr><td class="src"><a id="v:B" class="def">B</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:DesignVertex" class="caption collapser" onclick="toggleSection('i:DesignVertex')">Instances</p><div id="section.i:DesignVertex" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:DesignVertex:Eq:1" class="instance expander" onclick="toggleSection('i:id:DesignVertex: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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a></span> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#line-162" class="link">Source</a> <a href="#t:DesignVertex" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:DesignVertex: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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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:DesignVertex:Ord:2" class="instance expander" onclick="toggleSection('i:id:DesignVertex:Ord:2')"></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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a></span> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#line-162" class="link">Source</a> <a href="#t:DesignVertex" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:DesignVertex:Ord:2" 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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> -> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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:DesignVertex:Show:3" class="instance expander" onclick="toggleSection('i:id:DesignVertex:Show:3')"></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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a></span> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#line-162" class="link">Source</a> <a href="#t:DesignVertex" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:DesignVertex:Show:3" 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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</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></table></div></div></div><div class="top"><p class="src"><a id="v:higmanSimsGraph-39-" class="def">higmanSimsGraph'</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#higmanSimsGraph%27" class="link">Source</a> <a href="#v:higmanSimsGraph-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:higmanSimsGraph" class="def">higmanSimsGraph</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#higmanSimsGraph" class="link">Source</a> <a href="#v:higmanSimsGraph" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:inducedM22" class="def">inducedM22</a> :: <a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</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-Group-PermutationGroup.html#t:Permutation">Permutation</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#inducedM22" class="link">Source</a> <a href="#v:inducedM22" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:higmanSimsM22" class="def">higmanSimsM22</a> :: [<a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</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-Combinatorics-StronglyRegularGraph.html#higmanSimsM22" class="link">Source</a> <a href="#v:higmanSimsM22" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:_HS2" class="def">_HS2</a> :: [<a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a>] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#_HS2" class="link">Source</a> <a href="#v:_HS2" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:_HS" class="def">_HS</a> :: [<a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a>] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#_HS" class="link">Source</a> <a href="#v:_HS" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:sp2" class="def">sp2</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-Combinatorics-Graph.html#t:Graph">Graph</a> [<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#sp2" class="link">Source</a> <a href="#v:sp2" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:sp" class="def">sp</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-Combinatorics-Graph.html#t:Graph">Graph</a> [<a href="Math-Algebra-Field-Base.html#t:F2">F2</a>] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#sp" class="link">Source</a> <a href="#v:sp" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:switch" class="def">switch</a> :: <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Ord.html#t:Ord">Ord</a> t => <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> t -> [t] -> <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> t <a href="src/Math-Combinatorics-StronglyRegularGraph.html#switch" class="link">Source</a> <a href="#v:switch" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:schlafli-39-" class="def">schlafli'</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#schlafli%27" class="link">Source</a> <a href="#v:schlafli-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:schlafli" class="def">schlafli</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#schlafli" class="link">Source</a> <a href="#v:schlafli" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:mcLaughlin-39-" class="def">mcLaughlin'</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</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-Combinatorics-StronglyRegularGraph.html#mcLaughlin%27" class="link">Source</a> <a href="#v:mcLaughlin-39-" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:mcLaughlin" class="def">mcLaughlin</a> :: <a href="Math-Combinatorics-Graph.html#t:Graph">Graph</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a> <a href="src/Math-Combinatorics-StronglyRegularGraph.html#mcLaughlin" class="link">Source</a> <a href="#v:mcLaughlin" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:_McL2" class="def">_McL2</a> :: [<a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a>] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#_McL2" class="link">Source</a> <a href="#v:_McL2" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:_McL" class="def">_McL</a> :: [<a href="Math-Algebra-Group-PermutationGroup.html#t:Permutation">Permutation</a> <a href="Math-Combinatorics-StronglyRegularGraph.html#t:DesignVertex">DesignVertex</a>] <a href="src/Math-Combinatorics-StronglyRegularGraph.html#_McL" class="link">Source</a> <a href="#v:_McL" 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>
|