Edge paths - Githubissues

siddhartha-gadgil / Superficial

Curves and other structures on surfaces (topology)

MIT License

3 stars 13 forks source link

Closed siddhartha-gadgil closed 4 years ago

siddhartha-gadgil commented 4 years ago

This is needed even before starting #9.
It is best to allow degenerate geodesics.
This will mean having an initial vertex and a vector/list as fields for defining, with a require statement verifying that this is a path, and deducing terminal vertex.
May also want to check that it is in a given 2-complex.

Chinmaya-Kausik commented 4 years ago

What all is left under this issue?

siddhartha-gadgil commented 4 years ago

Nothing.