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])