Skip to content

Commit

Permalink
start cartanType for crg
Browse files Browse the repository at this point in the history
  • Loading branch information
jmichel7 committed Dec 4, 2024
1 parent 61f3d38 commit 5691d75
Show file tree
Hide file tree
Showing 35 changed files with 361 additions and 351 deletions.
24 changes: 3 additions & 21 deletions contr/brbase.jl
Original file line number Diff line number Diff line change
Expand Up @@ -108,25 +108,7 @@ function BaseBruhat(W)
end
end

function CoxGroups.bruhatless(W,x,y)
if x==one(W) return true end
d=length(W,y)-length(W,x)
if haskey(W,:bruhatincidence)
println("hello")
if d<0 return false end
iy=W.bruhatincidence[inclusiongens(W).^y]
ix=W.bruhatincidence[inclusiongens(W).^x]
return iy==iy.|ix
end
while d>0
i=firstleftdescent(W,y)
s=W(i)
if isleftdescent(W,x,i)
if x==s return true end
x=s*x
else d-=1
end
y=s*y
end
return x==y
function CoxGroups.bruhatless(W::CoxeterGroup,x,y)
iy=W.bruhatincidence[inclusiongens(W).^y]
iy==iy.|W.bruhatincidence[inclusiongens(W).^x]
end
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.

30 changes: 15 additions & 15 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&lt;6
1 5&lt;5
2 6&lt;2&lt;∅
3 5&lt;3&lt;∅</code></pre></div><a class="docs-sourcelink" target="_blank" href="https://github.com/jmichel7/Chevie.jl/blob/4894dbf6d2151b6f4658ece448879520f233b30d/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/61f3d38bc0309bbf66837edc240026f9a85bd299/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/4894dbf6d2151b6f4658ece448879520f233b30d/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="Friday 29 November 2024 18:56">Friday 29 November 2024</span>. Using Julia version 1.11.1.</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/61f3d38bc0309bbf66837edc240026f9a85bd299/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="Wednesday 4 December 2024 18:00">Wednesday 4 December 2024</span>. Using Julia version 1.11.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="Friday 29 November 2024 18:56">Friday 29 November 2024</span>. Using Julia version 1.11.1.</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="Wednesday 4 December 2024 18:00">Wednesday 4 December 2024</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
Loading

0 comments on commit 5691d75

Please sign in to comment.