AlgebraicJulia / AlgebraicJulia/CombinatorialSpaces.jl

Add SimplexTree for enforcing a DeltaSet to be a Complex

オープン
#92 コメント 1 件 リアクション 0 件 担当者 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 を短くまとめたダイジェスト。