signature_function/notebooks/lemma.ipynb

import path
import logging
from contextlib import redirect_stdout
# logging.basicConfig(level=logging.INFO)
import gaknot

Lemma

gaknot.prove_lemma()

Details to file

with open('very_detailed_calculations.txt', 'w') as f:
    with redirect_stdout(f):
        gaknot.prove_lemma(details=True)

Calculations to file

with open('calculations.txt', 'w') as f:
    with redirect_stdout(f):
        gaknot.prove_lemma(details=False)