for testing and deploying your application
for finding and fixing issues
for empowering human code reviews
from unittest import TestCase
from .helper import verify_conversion
class TermTest(TestCase):
def test_term(self):
verify_conversion(
self,
r"""
Definition #
: This is the definition
""",
[**Definition 1**]{#definition:1 .pandoc-numbering-text .definition .definition-1}
)
def test_term_title(self):
Definition (This is the title) #
[]{#definition:this-is-the-title}[**Definition 1** *(This is the title)*]{#definition:1 .pandoc-numbering-text .definition .definition-1}
def test_term_issues_13(self):
# See https://github.com/chdemko/pandoc-numbering/issues/13
"""
Assumption #big
: Big assumption
Lemma #
: A random lemma
Now we derive a result which uses [Assumption #](#assumption:big).
: Under [Assumption #](#assumption:big), we have ...
[]{#assumption:1}[**Assumption 1**]{#assumption:big .pandoc-numbering-text .assumption .assumption-1 .assumption-big}
[**Lemma 1**]{#lemma:1 .pandoc-numbering-text .lemma .lemma-1}
[**Lemma 2**]{#lemma:2 .pandoc-numbering-text .lemma .lemma-2}
Now we derive a result which uses [Assumption 1](#assumption:big).
[**Lemma 3**]{#lemma:3 .pandoc-numbering-text .lemma .lemma-3}
: Under [Assumption 1](#assumption:big), we have ...