Simplicial complexes: correct the documentation

[jhpalmieri]

The documentation for simplicial complexes is outdated: it should say that the vertex set is determined automatically from the facets (as their union).

Component: algebraic topology

Keywords: simplicial complex

Author: John Palmieri

Branch/Commit: 6ae1ee3

Reviewer: Darij Grinberg

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

[jhpalmieri]

Branch: u/jhpalmieri/simplicial-docs

[jhpalmieri]

Commit: 15ee788

[jhpalmieri]

New commits:

15ee788

trac 27211: in a simplicial complex, the vertex set is determined

[darijgr]

comment:3

+   automatically: `V` is defined to be the union of the sets `K`. So

->

+   automatically: `V` is defined to be the union of the sets in `K`. So

===

+simplicial complex, specify its *facets*: the maximal subsets (with
+respect to inclusion) of the vertex set. Each facet can be specifed as

->

+simplicial complex, specify its *facets*: the maximal subsets (with
+respect to inclusion) of the vertex set that belong to `K`. Each facet can be specifed as

===
Other than this, LGTM if the doc compiles (I don't have Sage installed, so I can't check) and if your claim about maximal_faces being a number is true (is there a doctest?).

[jhpalmieri]

comment:4

Lines 980-981:

            sage: SimplicialComplex([2])
            Simplicial complex with vertex set (0, 1, 2) and facets {(0, 1, 2)}

[darijgr]

comment:5

Ah, perfect.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

6ae1ee3

trac 27211: in a simplicial complex, the vertex set is determined

[sagetrac-git]

Changed commit from 15ee788 to 6ae1ee3

[jhpalmieri]

comment:7

I made the other changes, too.

[darijgr]

Reviewer: Darij Grinberg

[darijgr]

comment:8

LGTM, thanks!

[darijgr]

Changed keywords from none to simplicial complex

[vbraun]

Changed branch from u/jhpalmieri/simplicial-docs to 6ae1ee3