Skip to content

Commit

Permalink
more docs for Category
Browse files Browse the repository at this point in the history
  • Loading branch information
jmichel7 committed Apr 23, 2024
1 parent 9c43eaf commit c861813
Show file tree
Hide file tree
Showing 31 changed files with 387 additions and 290 deletions.
4 changes: 2 additions & 2 deletions docs/algebras.html

Large diffs are not rendered by default.

30 changes: 15 additions & 15 deletions docs/chars.html

Large diffs are not rendered by default.

24 changes: 12 additions & 12 deletions docs/cosets.html

Large diffs are not rendered by default.

48 changes: 24 additions & 24 deletions docs/coxgroups.html

Large diffs are not rendered by default.

4 changes: 2 additions & 2 deletions docs/ct.html
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
1 5<6
1 5<5
2 6<2<∅
3 5&lt;3&lt;∅</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/jmichel7/Chevie.jl/blob/5bd340101a23a5b11434fe8bcbb6280945cb2503/src/Gt.jl#L43-L69">source</a></section></article><article class="docstring"><header><a class="docstring-binding" id="Chevie.Gt.ClassTypes" href="#Chevie.Gt.ClassTypes"><code>Chevie.Gt.ClassTypes</code></a><span class="docstring-category">Type</span></header><section><div><p><code>ClassTypes(G[,p])</code></p><p><code>G</code> should be a root datum or a twisted root datum representing a finite reductive group <span>$𝐆 ^F$</span> and <code>p</code> should be a prime. The function returns the class types of <code>G</code> in characteristic <code>p</code> (in good characteristic if <code>p</code> is omitted). Two elements of <span>$𝐆 ^F$</span> have the same class type if their centralizers are conjugate. If <code>su</code> is the Jordan decomposition of an element <code>x</code>, the class type of <code>x</code> is determined by the class type of its semisimple part <code>s</code> and the unipotent class of <code>u</code> in <span>$C_𝐆 (s)$</span>.</p><p>The function <code>ClassTypes</code> is presently only implemented for simply connected groups, where <span>$C_𝐆 (s)$</span> is connected. This section is a bit experimental and may change in the future.</p><p><code>ClassTypes</code> returns a <code>struct</code> which contains a list of classtypes for semisimple elements, which are represented by <code>subspets</code> and contain additionnaly information on the unipotent classes of <span>$C_𝐆 (s)$</span>.</p><p>Let us give some examples:</p><pre><code class="language-julia-repl hljs">julia&gt; t=ClassTypes(rootdatum(:sl,3))
3 5&lt;3&lt;∅</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/jmichel7/Chevie.jl/blob/9c43eafc05b7277d3a3f517fdc1f6d2a47b07f8c/src/Gt.jl#L43-L69">source</a></section></article><article class="docstring"><header><a class="docstring-binding" id="Chevie.Gt.ClassTypes" href="#Chevie.Gt.ClassTypes"><code>Chevie.Gt.ClassTypes</code></a><span class="docstring-category">Type</span></header><section><div><p><code>ClassTypes(G[,p])</code></p><p><code>G</code> should be a root datum or a twisted root datum representing a finite reductive group <span>$𝐆 ^F$</span> and <code>p</code> should be a prime. The function returns the class types of <code>G</code> in characteristic <code>p</code> (in good characteristic if <code>p</code> is omitted). Two elements of <span>$𝐆 ^F$</span> have the same class type if their centralizers are conjugate. If <code>su</code> is the Jordan decomposition of an element <code>x</code>, the class type of <code>x</code> is determined by the class type of its semisimple part <code>s</code> and the unipotent class of <code>u</code> in <span>$C_𝐆 (s)$</span>.</p><p>The function <code>ClassTypes</code> is presently only implemented for simply connected groups, where <span>$C_𝐆 (s)$</span> is connected. This section is a bit experimental and may change in the future.</p><p><code>ClassTypes</code> returns a <code>struct</code> which contains a list of classtypes for semisimple elements, which are represented by <code>subspets</code> and contain additionnaly information on the unipotent classes of <span>$C_𝐆 (s)$</span>.</p><p>Let us give some examples:</p><pre><code class="language-julia-repl hljs">julia&gt; t=ClassTypes(rootdatum(:sl,3))
ClassTypes(A₂,good characteristic)
┌──────────┬─────────┐
│C_G(s) │ |C_G(s)|│
Expand Down Expand Up @@ -81,4 +81,4 @@
│G₂₍₂₎=Ã₁Φ₁│ (q-2)/2 qΦ₁²Φ₂│
│G₂₍₂₎=Ã₁Φ₂│ q/2 qΦ₁Φ₂²│
│G₂ │ 1 q⁶Φ₁²Φ₂²Φ₃Φ₆│
└──────────┴──────────────────────────┘</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/jmichel7/Chevie.jl/blob/5bd340101a23a5b11434fe8bcbb6280945cb2503/src/Gt.jl#L122-L244">source</a></section></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="uch.html">« Unipotent characters</a><a class="docs-footer-nextpage" href="eigen.html">Eigenspaces »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 0.27.25 on <span class="colophon-date" title="Tuesday 9 April 2024 10:17">Tuesday 9 April 2024</span>. Using Julia version 1.10.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
└──────────┴──────────────────────────┘</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/jmichel7/Chevie.jl/blob/9c43eafc05b7277d3a3f517fdc1f6d2a47b07f8c/src/Gt.jl#L122-L244">source</a></section></article></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="uch.html">« Unipotent characters</a><a class="docs-footer-nextpage" href="eigen.html">Eigenspaces »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 0.27.25 on <span class="colophon-date" title="Tuesday 23 April 2024 18:03">Tuesday 23 April 2024</span>. Using Julia version 1.10.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
2 changes: 1 addition & 1 deletion docs/dict.html
Original file line number Diff line number Diff line change
Expand Up @@ -394,4 +394,4 @@
W.simpleRoots simpleroots(W)
WeightInfo weightinfo
WGraph Wgraph
WGraphToRepresentation WGraphToRepresentation</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="gendec.html">« Decomposition Matrices</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 0.27.25 on <span class="colophon-date" title="Tuesday 9 April 2024 10:17">Tuesday 9 April 2024</span>. Using Julia version 1.10.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
WGraphToRepresentation WGraphToRepresentation</code></pre></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="gendec.html">« Decomposition Matrices</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 0.27.25 on <span class="colophon-date" title="Tuesday 23 April 2024 18:03">Tuesday 23 April 2024</span>. Using Julia version 1.10.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
Loading

0 comments on commit c861813

Please sign in to comment.