# HG changeset patch
# User Benjamin Antieau <antieau@math.uic.edu>
# Date 1245197500 25200
# Node ID 31c359ab9bdcc70fefe9ce41fdfafc9489a7537e
# Parent f070a86fd72856af46c1bc6c771c040355909c90
Fix doctests for trac #6309 and update to use facets().
diff -r f070a86fd728 -r 31c359ab9bdc sage/homology/chain_complex_homspace.py
a
|
b
|
|
24 | 24 | sage: x = i.associated_chain_complex_morphism(augmented=True) |
25 | 25 | sage: x |
26 | 26 | Chain complex morphism from Chain complex with at most 4 nonzero terms over Integer Ring to Chain complex with at most 4 nonzero terms over Integer Ring |
27 | | sage: x._mat |
28 | | x._mathematica_ x._mathematica_init_ x._matrix_dictionary |
29 | | sage: x._matrix_dictionary |
30 | | |
31 | | {-1: [1], |
32 | | 0: [1 0 0 0 0 0 0 0 0] |
33 | | [0 1 0 0 0 0 0 0 0] |
34 | | [0 0 1 0 0 0 0 0 0] |
35 | | [0 0 0 1 0 0 0 0 0] |
36 | | [0 0 0 0 1 0 0 0 0] |
37 | | [0 0 0 0 0 1 0 0 0] |
38 | | [0 0 0 0 0 0 1 0 0] |
39 | | [0 0 0 0 0 0 0 1 0] |
40 | | [0 0 0 0 0 0 0 0 1], |
41 | | 1: [1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] |
42 | | [0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] |
43 | | [0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0] |
44 | | [0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0] |
45 | | [0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0] |
46 | | [0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0] |
47 | | [0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0] |
48 | | [0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0] |
49 | | [0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0] |
50 | | [0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0] |
51 | | [0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0] |
52 | | [0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0] |
53 | | [0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0] |
54 | | [0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0] |
55 | | [0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0] |
56 | | [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0] |
57 | | [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0] |
58 | | [0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1], |
59 | | 2: [1 0 0 0 0 0] |
60 | 27 | |
61 | 28 | sage: S = simplicial_complexes.Sphere(2) |
62 | 29 | sage: A = Hom(S,S) |
diff -r f070a86fd728 -r 31c359ab9bdc sage/homology/chain_complex_morphism.py
a
|
b
|
|
11 | 11 | EXAMPLES:: |
12 | 12 | |
13 | 13 | from sage.matrix.constructor import zero_matrix |
| 14 | sage: S = simplicial_complexes.Sphere(1) |
14 | 15 | sage: S |
15 | 16 | Simplicial complex with vertex set (0, 1, 2) and facets {(1, 2), (0, 2), (0, 1)} |
16 | 17 | sage: C = S.chain_complex() |
… |
… |
|
84 | 85 | EXAMPLES:: |
85 | 86 | |
86 | 87 | from sage.matrix.constructor import zero_matrix |
| 88 | sage: S = simplicial_complexes.Sphere(1) |
87 | 89 | sage: S |
88 | 90 | Simplicial complex with vertex set (0, 1, 2) and facets {(1, 2), (0, 2), (0, 1)} |
89 | 91 | sage: C = S.chain_complex() |
diff -r f070a86fd728 -r 31c359ab9bdc sage/homology/simplicial_complex_morphism.py
a
|
b
|
|
346 | 346 | Simplicial complex with vertex set (0, 1, 2, 3, 4, 5) and facets {(0, 1)} |
347 | 347 | |
348 | 348 | """ |
349 | | fa = [self(i) for i in self._domain.facets] |
| 349 | fa = [self(i) for i in self._domain.facets()] |
350 | 350 | return simplicial_complex.SimplicialComplex(set(self._vertex_dictionary.values()),fa,maximality_check=True) |
351 | 351 | |
352 | 352 | def is_surjective(self): |