Questions tagged [topology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer
53 views

KnotTheory` Passing PD Encoding of a Knot Diagram to Kh

I have a bunch of knot diagrams I would like to use the Kh function in KnotTheory to compute the Khovanov homology for. Almost ...
gdd's user avatar
  • 133
1 vote
1 answer
152 views

Persistent homology and Mathematica

I have a cloud of roughly 200 points in the plane. I would like to use Mathematica to draw the barcode corresponding to the corresponding persistent homology. There is a resource function ...
Preem's user avatar
  • 193
2 votes
0 answers
44 views

How to make an efficient SimplyConnectedQ (check for abscence of holes)?

I would like to find an efficient way to detect whether a region has a hole regardless of how many it has. This question (Separate boundaries of multiply connected region) shows some methods but it ...
userrandrand's user avatar
  • 5,637
3 votes
1 answer
235 views

Generating a non-convex polyhedron from polygons and normals

I am working on developing "directional offset" module, which requires pretty tricky mesh generation: offset values vary in different directions. Suppose I have list of points and polygons, ...
Anton's user avatar
  • 333
7 votes
0 answers
251 views

Animating a Sphere Eversion (Turning a sphere inside out)

I'm interested in animating a sphere eversion like the one shown in the following gif. The full video is here: https://www.youtube.com/watch?v=OI-To1eUtuU Normally, I would offer my own code as a ...
B flat's user avatar
  • 5,377
8 votes
2 answers
251 views

MorphologicalEulerNumber misbehaving in 3D?

Context I would like to compute the MorphologicalEulerNumber of 3D GaussianRandomField as a function of height above a given threshold. Attempt I proceed as follows:...
chris's user avatar
  • 22.5k
7 votes
1 answer
177 views

Running Mathematica in 'SpouseMode'

In this previous question I looked into a deprecated capability of Mathematica from Version 2. Mathematica command that allows it to read my intentions Thanks to all for your answers. I note that ...
MikeY's user avatar
  • 7,113
2 votes
1 answer
373 views

How can I reduce the error estimate of numerical integration in Mathematica?

Before introducing the integral I want to go through some definitions. Define triangles $T_1$ and $T_2$ by the points $\{a,b,c\}$ and $\{d,e,f\}$ respectively. Define $$D(u,v,x,y) = sign(\det (y-u,y-v,...
Pedro Morales's user avatar
2 votes
1 answer
208 views

How can I create this graph in Mathematica?

I'm interested in illustrating a hyperbolic plane for a report I'm writing. Here's the metric that I'm using: $$ds^2=dr^2+\sqrt{\lvert k\rvert}^{-1}\sinh\left(r\sqrt{\lvert k\rvert}\right)\left( d\...
Quark Soup's user avatar
  • 1,550
0 votes
0 answers
68 views

How can Mathematica be used to compute distance from a metric?

I have a metric: $$g_{\mu\nu}=\begin{bmatrix}-c & 0 & 0 & 0\\0 & a(t) & 0 & 0\\0 & 0 & a(t)\space r & 0\\0 & 0 & 0 & a(t)\space r\space \sinθ\end{...
Quark Soup's user avatar
  • 1,550
3 votes
1 answer
110 views

Euler Characteristic of MengerMesh

When I ask Mathematica to give me the Euler characteristic of MengerMesh[1, 3], it returns 16. It seems to me the 1-step Menger sponge has genus 5 and should ...
Ruben's user avatar
  • 121
1 vote
0 answers
90 views

Persistence diagram

Is there an easy way to get a persistence diagram of given planar points? For example the following points: ...
tst's user avatar
  • 953
1 vote
0 answers
58 views

Plot on fundamental square of a torus [duplicate]

I have line on the 2d plane, given by say f(t). I want to plot it in the torus by plotting Mod[f(t),2\[Pi]]. However, there are some sharp horizontal and vertical ...
Himalaya Senapati's user avatar
7 votes
1 answer
174 views

Finding radius when the hole is born and dead (persistence diagrams)

I have a list of vertices: ...
Dat Pham Hoang's user avatar
6 votes
1 answer
130 views

Interfacing with an external computational homology program called CHomP

I have an external program called CHomP. I am trying to send a command to CHomP via RunThrough, and read the output string. It ...
apg's user avatar
  • 1,937
1 vote
2 answers
744 views

Check if two graphs have same shape

How can I check if two graphs have same shape or not? By shape I mean the two graphs are equivalent under a set of "name" replacements, like: ...
ZisIsNotZis's user avatar
2 votes
1 answer
246 views

Making 3D graphics showing sphere eversions

Were these pictures made by Mathematica or MATLAB? And how could I make ones like them?
Minghui Ouyang's user avatar
3 votes
1 answer
187 views

Computing the topological genus from a parametric function

Recall that the topological genus of a surface (or Euler characteristic) is (in essence) the number of its "holes." Thus the genus of a baseball is 0 while the genus of a donut or handled coffee cup ...
David G. Stork's user avatar
2 votes
0 answers
101 views

Built-in functions for Homotopy group

Does Mathematica have built-in functions for Homotopy group, for example for computing $$\pi_n(S^m)=?$$ or more generally $n$-th homotopy group, $$\pi_n(X)=?$$ for some $X$. (I search, but I could ...
wonderich's user avatar
  • 853
3 votes
0 answers
390 views

Help to finish a Sperner lemma application

This is the code for the celebrated Sperner's Lemma in two dimensions --- which is equivalent to Brouwer Fixed Point theorem. Incidentally, it's my first program without any help --- until I ask this ...
cyrille.piatecki's user avatar
0 votes
0 answers
59 views

Compactness and Connectedness of sets

Can we check Compactness/Connectedness of sets in $R^{2}$ using some mathematica code ? If Yes , Can anyone tell how ?
User9523's user avatar
  • 123
2 votes
1 answer
2k views

Plotting open balls for the given metric spaces [closed]

We're given a metric space (R,d) defined as follows: $$d(x,y) = |x-y|$$ We need to draw a open ball for this metric space with centre and radius of our choice. Open ball definition: For a fixed $x$ ...
User9523's user avatar
  • 123
6 votes
2 answers
977 views

Small World network on a square grid

My aim is to generate a 2D Small World network on a square grid. i.e. 20x20. With a probability of 5%, one node rewires from an adjacent node to a random node of the grid, allowing some long distance ...
ResidentStiefel's user avatar
4 votes
2 answers
702 views

Visualization of Homotopy equivalence between "heart curve" and zero

It is well-known that a "heart" is topologically equivalent to a "zero". where $$(x^2+y^2-1)^3=x^2y^3$$ is the heart equation; and $$\frac{x^2}{2}+\frac{y^2}{3}=1$$ is the equation of the zero shape (...
vito's user avatar
  • 8,848
6 votes
2 answers
1k views

ParametricPlot3D of Boy's surface

I'm trying to visualize Boy's surface using Bryant's parametrization, as per the MathWorld article. However, I'm not sure I understand the parametrization, and I don't know how to implement it when ...
étale-cohomology's user avatar
2 votes
1 answer
2k views

Package for symbolic computation of christoffel symbols and parallel transports in Riemannian geometry, given the metric

I've no knowledge in mathematica (but I do in matlab), but I'd really appreciate if someone could mention what is/are the best and easy to learn mathematica package(s) for symbolic and numerical (both,...
Mathmath's user avatar
  • 121
0 votes
1 answer
222 views

Stitch edge of disk to edge of square in 3D space (with deformations) [closed]

Topologically each point on the edge of a square can be mapped uniquelly (including the corners?) to a point on the edge of a circle. It seems it might be possible to deform in 3D space the square ...
Meh's user avatar
  • 1,637
3 votes
3 answers
382 views

I have a 2D space and I want to make it into a torus to replicate a paper

Suppose we have a 2D grid, divided by cells, and that we assign people to each cell. Each person has 4 neighbors, one in the cell above, another in the cell below, and neighbors in the cells to the ...
Goose's user avatar
  • 119
6 votes
0 answers
422 views

Are there any built-in or third-party packages for general topology or algebraic topology in Mathematica?

I am learning general topology (wiki) and algebraic topology (wiki). Are there any built-in or third-party packages for general topology or algebraic topology in Mathematica? Through googling, I ...
hengxin's user avatar
  • 840
5 votes
2 answers
1k views

Finding minimal distance between two surfaces

This code will display two parametric surfaces: ...
Adrian's user avatar
  • 411
6 votes
1 answer
630 views

Connect neighbouring points as list of segments in 2 D

Context I am interested in connecting neighboring points in 2/3D as list of segments. I am guessing this is something within the reach of graph theory, which is well implemented in mathematica. ...
chris's user avatar
  • 22.5k
13 votes
1 answer
759 views

Morphological Filtering in 3D to produce skeletons

Context As a follow up of this question and that answer, I would like to identify the special lines separating 3D watersheds. These are useful in the context of astronomy to identify the ...
chris's user avatar
  • 22.5k
72 votes
3 answers
4k views

Homotopy Visualization

I noticed that both the lower cased 'i' and the Apple logo  are topologically equivalent to the disjoint union of two closed discs. I'd like to animate a homotopy from the left to the right, can ...
tlehman's user avatar
  • 2,114
34 votes
1 answer
1k views

Proving the hairy ball theorem using xAct

I would like to formally prove the hairy ball theorem in Mathematica, initially just for $S^2$, and then see about generalizing. An approach I thought about to use the xAct package to define $S^2$ ...
Daniel Mahler's user avatar
18 votes
2 answers
3k views

Morphing a "sheet of paper" into a torus

How can I visualize the standard topological "rubber-sheet" construction of a torus, that is, morphing a square into a torus? How can I start or are there any examples in the Mathematica ...
holistic's user avatar
  • 2,945
13 votes
1 answer
818 views

Has anyone implemented cohomology for complex manifolds?

I'm investigating the cohomology of complex manifolds, and need to construct chain complexes, Mayer-Vietoris sequences etc. I use Mathematica for numerically tracing manifolds with geodesics, but ...
Robert Walgate's user avatar
7 votes
3 answers
4k views

Plotting the open ball for the post office metric space

The post office metric space, $P$ has the distance function defined as follows: $$ d_P (\mathbf{x},\mathbf{y}) := \begin{cases} 0 & \mathbf{x} = \mathbf{y}\\ \Vert \mathbf{x}\Vert_2+\Vert \...
John's user avatar
  • 71
15 votes
1 answer
909 views

Generating a topological space diagram for an n-element set

Over on StackOverflow I asked a similar question for the n=3 case, but the answer given doesn't easily generalize. How can I make a diagram such as this: But for a general n-element space instead?
tlehman's user avatar
  • 2,114