DVF and homology of h-regular finite topological spaces

jcuevas-rozo commented 4 years ago

This is a continuation of the work started in tickets #30400, #30447. It is expected to add methods about computing homology groups of h-regular spaces. Also, the computation of homologically admissible Morse matchings (or Discrete Vector Fields, DVF) will be implemented allowing to apply the Discrete Morse Theory for finite spaces described in (1) and (2).

Depends on #30447

CC: @jhpalmieri

Component: algebraic topology

Keywords: Finite topological spaces, Discrete Morse theory

Author: Julián Cuevas-Rozo

Branch/Commit: u/gh-jcuevas-rozo/add_finite_topological_spaces @ 3c2e0d4

Issue created by migration from https://trac.sagemath.org/ticket/30862

jcuevas-rozo commented 4 years ago

Branch: u/gh-jcuevas-rozo/add_finite_topological_spaces

jcuevas-rozo commented 4 years ago

Last 10 new commits:

`1cbdd3f`	`Documentation added`
`e51800d`	`Failures in tests repaired`
`7b77787`	`Failure tests repaired`
`124dc44`	`Repairing failures shown in comment 10 from jhpalmieri`
`6efd9ed`	`Reparing failures shown in comments 14 and 15 ticket 30400`
`38c2e84`	`dict_to_matrix function removed`
`f7ea792`	`Merge branch 'master' of git://github.com/sagemath/sage into t/30400/add_finite_topological_spaces`
`db381f2`	`Order complex and barycentric subdivision added`
`538a6ab`	`beat points and weak points added`
`3bbc6e2`	`Fixing tests`

jcuevas-rozo commented 4 years ago

Commit: 3bbc6e2

jcuevas-rozo commented 4 years ago

Changed dependencies from #30447 to #30447, #29879

jcuevas-rozo commented 4 years ago

Changed dependencies from #30447, #29879 to #30447

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 3bbc6e2 to 6fc8b08

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`5dfbe89`	`Merge branch 'u/gh-jcuevas-rozo/add_finite_topological_spaces' of git://trac.sagemath.org/sage into t/30862/dvf_and_homology_of_h_regular_finite_topological_spaces`
`d860bee`	`hregular homology added (missing documentation)`
`6fc8b08`	`kenzo.py restored and some methods added to finite_topological_spaces.py`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

a6face5 Non-ascii character deleted

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from 6fc8b08 to a6face5

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Changed commit from a6face5 to 8a123d6

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 4 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

8a123d6 Fixing 'blocks' warnings

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Changed commit from 8a123d6 to a06a949

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

a06a949 Style suggestions added

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Changed commit from a06a949 to 481bef5

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

481bef5 two pyflakes errors fixed

mkoeppe commented 3 years ago

comment:10

Sage development has entered the release candidate phase for 9.3. Setting a new milestone for this ticket based on a cursory review of ticket status, priority, and last modification date.

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

103698c .elements() changed by .topogenous_sorting()

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Changed commit from 481bef5 to 103698c

mkoeppe commented 3 years ago

comment:12

Setting a new milestone for this ticket based on a cursory review.

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Changed commit from 103698c to d266e72

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

`0491dd2`	`Merge branch 't/31925/f641bbb597fbf58103ed8c84867bab207a10ffde' into t/30400/add_finite_topological_spaces`
`d266e72`	`finite spaces moved to topology folder`

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Changed commit from d266e72 to 3c2e0d4

7ed8c4ca-6d56-4ae9-953a-41e42b4ed313 commented 3 years ago

Branch pushed to git repo; I updated commit sha1. New commits:

3c2e0d4 references updated

mkoeppe commented 2 years ago

comment:15

Stalled in needs_review or needs_info; likely won't make it into Sage 9.5.

sagemath / sage

DVF and homology of h-regular finite topological spaces #30862