Matrix sharps, matrix flats, subdivision, and link (#59)

* Implement 3D simplicial sets

* Return tet edges and test tet cube volume

* Add manifold-like test for delta sets

* Add tetrahedra cube from literature

* Add Letniowski mesh test

* Rename nonfaces to nonboundaries and simplify

* Add stub for triangles accessor using axioms

* Clean tests, todos, and triangles return types

* Add subdivision migrs, flat matrix, star, and link

* Dispatch on DVF multiplication to auto-reinterpret

* Remove redundant re-indexing of triangle centers

* Implement sharp matrix and Desbrun sharp

* Condense sharp tests

* Reorganize and test 1D data-mig subdivision

* Fix factorial in wedge product with 0-forms

* Implement LLS DD Sharp

* Test the primal-dual wedge against analytic results

* Resolve signedness left/right-hand rule confusion in tests

* Move musical chaining and pd wedge to src

* Implement and test the barycentric bilinearly interpolated wedge primal-0 dual-1

* Test the primal-dual 01 wedge product against non-constant analytic solution

* Add primal-0 dual-1 wedge and test symmetry

* Put repeated test helper functions in src

* Test dualdual01 wedge and implement interior product and lie

* Use inner product helpers in lie definition

* Add Statistics to test Project

* Define dual laplacian and dual vector laplacian

* Address test meshes docstrings and names

Project.toml

@@ -9,6 +9,7 @@ ACSets = "227ef7b5-1206-438b-ac65-934d6da304b8"
 Artifacts = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
 BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"
 Catlab = "134e5e36-593f-5add-ad60-77f754baafbe"
+DataMigrations = "0c4ad18d-0c49-4bc2-90d5-5bca8f00d6ae"
 FileIO = "5789e2e9-d7fb-5bc7-8068-2c6fae9b9549"
 GeometryBasics = "5c1252a2-5f33-56bf-86c9-59e7332b4326"
 JSON = "682c06a0-de6a-54ab-a142-c8b1cf79cde6"