AlgebraicJulia / AlgebraicJulia/CombinatorialSpaces.jl

Add SimplexTree for enforcing a DeltaSet to be a Complex

未關閉
#92 1 則留言 0 個 reaction 已指派 1 人 已被 @olynch 認領 在 GitHub 檢視
enhancement
主要語言
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 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。