Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Fix documentation formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
miguelmarco committed May 6, 2019
1 parent 7b65e36 commit 3d67c5e
Showing 1 changed file with 27 additions and 27 deletions.
54 changes: 27 additions & 27 deletions src/sage/algebras/commutative_dga.py
Expand Up @@ -2268,12 +2268,12 @@ def minimal_model(self, i=3, max_iterations=3):
INPUT:
- ``i`` -- integer (default: `3`); degree to which the result is
required to induce an isomorphism in cohomology, and the domain is
required to be minimal.
required to induce an isomorphism in cohomology, and the domain is
required to be minimal.
- ``max_iterations`` -- integer (default: `3`); the number of
iterations of the method at each degree. If the algorithm does not
finish in this many iterations at each degree, an error is raised.
iterations of the method at each degree. If the algorithm does not
finish in this many iterations at each degree, an error is raised.
OUTPUT:
Expand Down Expand Up @@ -2389,7 +2389,7 @@ def minimal_model(self, i=3, max_iterations=3):
be finitely generated, you can try to run it again with a higher
value for ``max_iterations``.
..SEEALSO::
.. SEEALSO::
:wikipedia:`Rational_homotopy_theory#Sullivan_algebras`
Expand Down Expand Up @@ -2540,31 +2540,31 @@ def cohomology_algebra(self, max_degree=3):
INPUT:
- ``max_degree`` -- integer (default: `3`); degree to which the result is required to
be isomorphic to self's cohomology.
be isomorphic to self's cohomology.
EXAMPLES::
sage: A.<e1,e2,e3,e4,e5,e6,e7> = GradedCommutativeAlgebra(QQ)
sage: d = A.differential({e1:-e1*e6,e2:-e2*e6,e3:-e3*e6,e4:-e5*e6,e5:e4*e6})
sage: B = A.cdg_algebra(d)
sage: M = B.cohomology_algebra()
sage: M
Commutative Differential Graded Algebra with generators ('x0', 'x1', 'x2') in degrees (1, 1, 2) over Rational Field with differential:
x0 --> 0
x1 --> 0
x2 --> 0
sage: M.cohomology(1)
Free module generated by {[x1], [x0]} over Rational Field
sage: B.cohomology(1)
Free module generated by {[e7], [e6]} over Rational Field
sage: M.cohomology(2)
Free module generated by {[x0*x1], [x2]} over Rational Field
sage: B.cohomology(2)
Free module generated by {[e6*e7], [e4*e5]} over Rational Field
sage: M.cohomology(3)
Free module generated by {[x1*x2], [x0*x2]} over Rational Field
sage: B.cohomology(3)
Free module generated by {[e4*e5*e7], [e4*e5*e6]} over Rational Field
sage: A.<e1,e2,e3,e4,e5,e6,e7> = GradedCommutativeAlgebra(QQ)
sage: d = A.differential({e1:-e1*e6,e2:-e2*e6,e3:-e3*e6,e4:-e5*e6,e5:e4*e6})
sage: B = A.cdg_algebra(d)
sage: M = B.cohomology_algebra()
sage: M
Commutative Differential Graded Algebra with generators ('x0', 'x1', 'x2') in degrees (1, 1, 2) over Rational Field with differential:
x0 --> 0
x1 --> 0
x2 --> 0
sage: M.cohomology(1)
Free module generated by {[x1], [x0]} over Rational Field
sage: B.cohomology(1)
Free module generated by {[e7], [e6]} over Rational Field
sage: M.cohomology(2)
Free module generated by {[x0*x1], [x2]} over Rational Field
sage: B.cohomology(2)
Free module generated by {[e6*e7], [e4*e5]} over Rational Field
sage: M.cohomology(3)
Free module generated by {[x1*x2], [x0*x2]} over Rational Field
sage: B.cohomology(3)
Free module generated by {[e4*e5*e7], [e4*e5*e6]} over Rational Field
"""
cohomgens = self.cohomology_generators(max_degree)
if not cohomgens:
Expand Down

0 comments on commit 3d67c5e

Please sign in to comment.