Skip to content

Commit

Permalink
Move direction forgetting around
Browse files Browse the repository at this point in the history
  • Loading branch information
lgoettgens committed Feb 14, 2024
1 parent 8050893 commit a187c4b
Showing 1 changed file with 9 additions and 21 deletions.
30 changes: 9 additions & 21 deletions src/DeformationBases/ArcDiagDeformBasis.jl
Original file line number Diff line number Diff line change
Expand Up @@ -401,10 +401,18 @@ function arcdiag_is_lower_pair_label_bad(::GL, labeled_diag::Vector{Int}, k::Int
return false
end

function arcdiag_to_deformationmap(
T::GL,
diag::ArcDiagramDirected,
sp::SmashProductLie{C},
W::LieAlgebraModule=exterior_power(base_module(sp), 2),
) where {C <: RingElem}
return arcdiag_to_deformationmap(T, arc_diagram(Undirected, diag), sp, W)
end

function arcdiag_to_deformationmap(
T::Union{SO, GL},
diag::ArcDiagram,
diag::ArcDiagramUndirected,
sp::SmashProductLie{C},
W::LieAlgebraModule=exterior_power(base_module(sp), 2),
) where {C <: RingElem}
Expand Down Expand Up @@ -448,26 +456,6 @@ function arcdiag_to_deformationmap(
end


function arcdiag_to_deformationmap_entry(
T::GL,
diag::ArcDiagramDirected,
W::LieAlgebraModule{C},
upper_labels::AbstractVector{Int},
sp_alg::FreeAssAlgebra{C},
iso_pair_to_L::Function,
max_label::Int,
) where {C <: RingElem}
return arcdiag_to_deformationmap_entry(
T,
arc_diagram(Undirected, diag),
W,
upper_labels,
sp_alg,
iso_pair_to_L,
max_label,
)
end

function arcdiag_to_deformationmap_entry(
T::Union{SO, GL},
diag::ArcDiagramUndirected,
Expand Down

0 comments on commit a187c4b

Please sign in to comment.