AlgebraicJulia / AlgebraicJulia/CombinatorialSpaces.jl
Add SimplexTree for enforcing a DeltaSet to be a Complex
- 主要言語
- Julia
- スター
- 46
- フォーク
- 6
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
Based on our discussion today. Owen is going to implement the geometric maps in terms of the simplex tree data structure, which is just a Trie on the sorted vertices of the simplex.
```julia
struct SimplicialComplex{D}
delta_set::D
complexes::Trie{Int, Int}
end
```
Then GeometricMap is a morphism between SimplicialComplexes
```julia
struct GeometricPoint
simplex::Int
coords::Vector{Float64}
end
struct GeometricMap
dom::SimplicialComplex
codom::SimplicialComplex
values::Vector{GeometricPoint}
end
```
Then we also need the pullback maps
```julia
function pullback(f::GeometricMap, u::Form)::Form
dom(u) == codom(f) || error("Must pullback along the geometric map")
...
# return value is a form over the domain(f)
end
```
Source on Whitney Forms and Interpolation for the pullbacks: https://www.sciencedirect.com/science/article/pii/S0377042721001394?via%3Dihub
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。