def runtests():
global quick
global modules
global verbose
global windows
result = doctest_modules(modules, verbose=verbose)
if not quick:
print()
# No idea why we mess and set snappy.database.Manifold
# to SnapPy.Manifold above... But to make ptolemy work,
# temporarily setting it to what it should be.
original_db_manifold = snappy.database.Manifold
snappy.database.Manifold = snappy.Manifold
snappy.ptolemy.test.main(verbose=verbose, doctest=False)
snappy.database.Manifold = original_db_manifold
print()
spherogram.links.test.run()
print('\nAll doctests:\n %s failures out of %s tests.' % result)
if cyopengl_works() and root_is_fake():
root = tk_root()
if root:
if windows:
print('Close the root window to finish.')
else:
print('The windows will close in a few seconds.\n'
'Specify -w or --windows to avoid this.')
root.after(7000, root.destroy)
root.mainloop()
return result.failed
def graphics_failures(verbose):
if cyopengl_works():
print("Testing graphics ...")
import snappy.CyOpenGL
result = doctest_modules([snappy.CyOpenGL], verbose=verbose).failed
snappy.Manifold('m004').dirichlet_domain().view().test()
snappy.Manifold('m125').cusp_neighborhood().view().test()
if use_modernopengl:
snappy.Manifold('m004').inside_view().test()
snappy.Manifold('4_1').browse().test()
snappy.ManifoldHP('m004').dirichlet_domain().view().test()
snappy.ManifoldHP('m125').cusp_neighborhood().view().test()
if use_modernopengl:
snappy.ManifoldHP('m004').inside_view().test()
if root_is_fake():
root = tk_root()
if root:
if windows:
print('Close the root window to finish.')
else:
print('The windows will close in a few seconds.\n'
'Specify -w or --windows to avoid this.')
root.after(7000, root.destroy)
root.mainloop()
else:
print("***Warning***: CyOpenGL not installed, so not tested")
result = 0
return result
def result(verbose):
globs = {'Manifold': Manifold}
original = verify.CertifiedShapesEngine
verify.CertifiedShapesEngine = engine
r = doctest_modules([module], extraglobs=globs, verbose=verbose)
verify.CertifiedShapesEngine = original
return r
def runtests():
global quick
global modules
global verbose
result = doctest_modules(modules, verbose=verbose)
if not quick:
print()
snappy.ptolemy.test.main(verbose=verbose, doctest=False)
print()
spherogram.links.test.run()
print('\nAll doctests:\n %s failures out of %s tests.' % result)
return result.failed
def run_doctests(verbose=False, print_info=True):
globs = {'Manifold': Manifold}
return doctest_modules([
generate_test_with_shapes_engine(verify.krawczyk_shapes_engine,
verify.KrawczykShapesEngine),
generate_test_with_shapes_engine(
verify.interval_newton_shapes_engine,
verify.IntervalNewtonShapesEngine), verify.cuspCrossSection,
generate_test_with_shapes_engine(verify.verifyHyperbolicity,
verify.KrawczykShapesEngine),
generate_test_with_shapes_engine(verify.verifyHyperbolicity,
verify.IntervalNewtonShapesEngine),
verify.verifyCanonical, verify.verifyVolume, verify.squareExtensions,
verify.realAlgebra
],
extraglobs=globs,
verbose=verbose,
print_info=print_info)
def runtests():
global quick
global modules
global verbose
global windows
result = doctest_modules(modules, verbose=verbose)
if not quick:
print()
# No idea why we mess and set snappy.database.Manifold
# to SnapPy.Manifold above... But to make ptolemy work,
# temporarily setting it to what it should be.
original_db_manifold = snappy.database.Manifold
snappy.database.Manifold = snappy.Manifold
snappy.ptolemy.test.main(verbose=verbose, doctest=False)
snappy.database.Manifold = original_db_manifold
print()
spherogram.links.test.run()
print('\nAll doctests:\n %s failures out of %s tests.' % result)
return result.failed + graphics_failures(verbose=verbose)
def run_doctests(verbose=False, print_info=True):
globs = {'Manifold': Manifold}
return doctest_modules([
generate_test_with_shapes_engine(verify.krawczyk_shapes_engine,
verify.KrawczykShapesEngine),
generate_test_with_shapes_engine(
verify.interval_newton_shapes_engine,
verify.IntervalNewtonShapesEngine), verify.cuspCrossSection,
generate_test_with_shapes_engine(verify.verifyHyperbolicity,
verify.KrawczykShapesEngine),
generate_test_with_shapes_engine(verify.verifyHyperbolicity,
verify.IntervalNewtonShapesEngine),
verify.verifyCanonical, verify.interval_tree, volume, cusp_areas,
cusp_shapes, upper_halfspace.ideal_point, upper_halfspace.finite_point,
upper_halfspace.extended_matrix, verify.maximal_cusp_area_matrix,
verify.maximal_cusp_area_matrix.cusp_tiling_engine,
verify.maximal_cusp_area_matrix.cusp_translate_engine,
verify.squareExtensions, verify.realAlgebra
],
extraglobs=globs,
verbose=verbose,
print_info=print_info)
def snappy_doctester(verbose):
original_accuracy = snappy.number.Number._accuracy_for_testing
snappy.number.Number._accuracy_for_testing = None
ans = doctest_modules([snappy], verbose)
snappy.number.Number._accuracy_for_testing = original_accuracy
return ans
def snappy_doctester(verbose):
use_sage_field_conversion()
ans = doctest_modules([snappy], verbose)
use_snappy_field_conversion()
return ans
def _doctest():
doctest_modules([
sys.modules[__name__], veriClosed.computeVerifiedHyperbolicStructure,
branchedDoubleCover
])
def raytracing_data_doctester(verbose):
use_sage_field_conversion()
ans = doctest_modules([snappy.raytracing.ideal_trig_raytracing_data],
verbose)
use_snappy_field_conversion()
return ans
def raytracing_data_doctester(verbose):
ans = doctest_modules([snappy.raytracing.ideal_trig_raytracing_data],
verbose)
return ans
def run_doctests(verbose=False, print_info=True):
return doctest_modules(modules, verbose, print_info)
def cohomology_fractal_doctester(verbose):
ans = doctest_modules([snappy.raytracing.cohomology_fractal],
verbose)
return ans
def cohomology_fractal_doctester(verbose):
use_sage_field_conversion()
ans = doctest_modules([snappy.raytracing.cohomology_fractal],
verbose)
use_snappy_field_conversion()
return ans
return Presentation(ring.vars, t1+t2+r)
def character_variety_ideal(gens, rels=None):
"""
sage: M = Manifold('m004')
sage: I = character_variety_ideal(M.fundamental_group())
sage: I.dimension()
1
sage: len(I.radical().primary_decomposition())
2
"""
presentation = character_variety(gens, rels)
from sage.all import PolynomialRing, QQ
R = PolynomialRing(QQ, [repr(v) for v in presentation.gens])
return R.ideal([R(p) for p in presentation.rels])
def total_answer_length(I):
return sum([len(list(p)) for p in I.gens()])
if __name__ == "__main__":
from snappy.sage_helper import _within_sage, doctest_modules
import sys
current_module = sys.modules[__name__]
doctest_modules([current_module])
T = PolynomialRing(QQ, 'x')
p = T(S(p))
p = p / p.leading_coefficient()
ans = []
for q, e in p.factor():
K = NumberField(q, 'a')
def toK(f):
return K(T(S(f)))
denom = toK(rur[3])
rep = [toK(f) / denom for f in rur[4:]]
sub_dict = dict(zip(vars, rep))
assert all(g.subs(sub_dict) == 0 for g in ideal.gens())
ans.append((K, sub_dict, e))
return ans
def doctest_globals():
import snappy
return {'Manifold': snappy.Manifold}
if __name__ == '__main__':
from snappy.sage_helper import doctest_modules
import sys
current_module = sys.modules[__name__]
doctest_modules([current_module], extraglobs=doctest_globals())
def _doctest():
doctest_modules(
[sys.modules[__name__], vericlosed.computeVerifiedHyperbolicStructure])
