PyPI - passagemath-categories - Versions diffs - 10.6.32__cp314-cp314t-musllinux_1_2_aarch64.whl - Mend

passagemath-categories 10.6.32__cp314-cp314t-musllinux_1_2_aarch64.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (719) hide show

passagemath_categories-10.6.32.dist-info/METADATA +156 -0
passagemath_categories-10.6.32.dist-info/RECORD +719 -0
passagemath_categories-10.6.32.dist-info/WHEEL +5 -0
passagemath_categories-10.6.32.dist-info/top_level.txt +2 -0
passagemath_categories.libs/libgcc_s-2d945d6c.so.1 +0 -0
passagemath_categories.libs/libgmp-28992bcb.so.10.5.0 +0 -0
passagemath_categories.libs/libstdc++-85f2cd6d.so.6.0.33 +0 -0
sage/all__sagemath_categories.py +28 -0
sage/arith/all.py +38 -0
sage/arith/constants.pxd +27 -0
sage/arith/functions.cpython-314t-aarch64-linux-musl.so +0 -0
sage/arith/functions.pxd +4 -0
sage/arith/functions.pyx +221 -0
sage/arith/misc.py +6552 -0
sage/arith/multi_modular.cpython-314t-aarch64-linux-musl.so +0 -0
sage/arith/multi_modular.pxd +39 -0
sage/arith/multi_modular.pyx +994 -0
sage/arith/rational_reconstruction.cpython-314t-aarch64-linux-musl.so +0 -0
sage/arith/rational_reconstruction.pxd +4 -0
sage/arith/rational_reconstruction.pyx +115 -0
sage/arith/srange.cpython-314t-aarch64-linux-musl.so +0 -0
sage/arith/srange.pyx +571 -0
sage/calculus/all__sagemath_categories.py +2 -0
sage/calculus/functional.py +481 -0
sage/calculus/functions.py +151 -0
sage/categories/additive_groups.py +73 -0
sage/categories/additive_magmas.py +1044 -0
sage/categories/additive_monoids.py +114 -0
sage/categories/additive_semigroups.py +184 -0
sage/categories/affine_weyl_groups.py +238 -0
sage/categories/algebra_ideals.py +95 -0
sage/categories/algebra_modules.py +96 -0
sage/categories/algebras.py +349 -0
sage/categories/algebras_with_basis.py +377 -0
sage/categories/all.py +160 -0
sage/categories/aperiodic_semigroups.py +29 -0
sage/categories/associative_algebras.py +47 -0
sage/categories/bialgebras.py +101 -0
sage/categories/bialgebras_with_basis.py +414 -0
sage/categories/bimodules.py +206 -0
sage/categories/chain_complexes.py +268 -0
sage/categories/classical_crystals.py +480 -0
sage/categories/coalgebras.py +405 -0
sage/categories/coalgebras_with_basis.py +232 -0
sage/categories/coercion_methods.cpython-314t-aarch64-linux-musl.so +0 -0
sage/categories/coercion_methods.pyx +52 -0
sage/categories/commutative_additive_groups.py +104 -0
sage/categories/commutative_additive_monoids.py +45 -0
sage/categories/commutative_additive_semigroups.py +48 -0
sage/categories/commutative_algebra_ideals.py +87 -0
sage/categories/commutative_algebras.py +94 -0
sage/categories/commutative_ring_ideals.py +58 -0
sage/categories/commutative_rings.py +736 -0
sage/categories/complete_discrete_valuation.py +293 -0
sage/categories/complex_reflection_groups.py +145 -0
sage/categories/complex_reflection_or_generalized_coxeter_groups.py +1249 -0
sage/categories/coxeter_group_algebras.py +186 -0
sage/categories/coxeter_groups.py +3402 -0
sage/categories/crystals.py +2628 -0
sage/categories/cw_complexes.py +216 -0
sage/categories/dedekind_domains.py +137 -0
sage/categories/discrete_valuation.py +325 -0
sage/categories/distributive_magmas_and_additive_magmas.py +100 -0
sage/categories/division_rings.py +114 -0
sage/categories/domains.py +95 -0
sage/categories/drinfeld_modules.py +789 -0
sage/categories/dual.py +42 -0
sage/categories/enumerated_sets.py +1146 -0
sage/categories/euclidean_domains.py +271 -0
sage/categories/examples/algebras_with_basis.py +102 -0
sage/categories/examples/all.py +1 -0
sage/categories/examples/commutative_additive_monoids.py +130 -0
sage/categories/examples/commutative_additive_semigroups.py +199 -0
sage/categories/examples/coxeter_groups.py +8 -0
sage/categories/examples/crystals.py +236 -0
sage/categories/examples/cw_complexes.py +163 -0
sage/categories/examples/facade_sets.py +187 -0
sage/categories/examples/filtered_algebras_with_basis.py +204 -0
sage/categories/examples/filtered_modules_with_basis.py +154 -0
sage/categories/examples/finite_coxeter_groups.py +252 -0
sage/categories/examples/finite_dimensional_algebras_with_basis.py +148 -0
sage/categories/examples/finite_dimensional_lie_algebras_with_basis.py +495 -0
sage/categories/examples/finite_enumerated_sets.py +208 -0
sage/categories/examples/finite_monoids.py +150 -0
sage/categories/examples/finite_semigroups.py +190 -0
sage/categories/examples/finite_weyl_groups.py +191 -0
sage/categories/examples/graded_connected_hopf_algebras_with_basis.py +152 -0
sage/categories/examples/graded_modules_with_basis.py +168 -0
sage/categories/examples/graphs.py +122 -0
sage/categories/examples/hopf_algebras_with_basis.py +145 -0
sage/categories/examples/infinite_enumerated_sets.py +190 -0
sage/categories/examples/lie_algebras.py +352 -0
sage/categories/examples/lie_algebras_with_basis.py +196 -0
sage/categories/examples/magmas.py +162 -0
sage/categories/examples/manifolds.py +94 -0
sage/categories/examples/monoids.py +144 -0
sage/categories/examples/posets.py +178 -0
sage/categories/examples/semigroups.py +580 -0
sage/categories/examples/semigroups_cython.cpython-314t-aarch64-linux-musl.so +0 -0
sage/categories/examples/semigroups_cython.pyx +221 -0
sage/categories/examples/semirings.py +249 -0
sage/categories/examples/sets_cat.py +706 -0
sage/categories/examples/sets_with_grading.py +101 -0
sage/categories/examples/with_realizations.py +542 -0
sage/categories/fields.py +991 -0
sage/categories/filtered_algebras.py +63 -0
sage/categories/filtered_algebras_with_basis.py +548 -0
sage/categories/filtered_hopf_algebras_with_basis.py +138 -0
sage/categories/filtered_modules.py +210 -0
sage/categories/filtered_modules_with_basis.py +1209 -0
sage/categories/finite_complex_reflection_groups.py +1506 -0
sage/categories/finite_coxeter_groups.py +1138 -0
sage/categories/finite_crystals.py +103 -0
sage/categories/finite_dimensional_algebras_with_basis.py +1860 -0
sage/categories/finite_dimensional_bialgebras_with_basis.py +33 -0
sage/categories/finite_dimensional_coalgebras_with_basis.py +33 -0
sage/categories/finite_dimensional_graded_lie_algebras_with_basis.py +231 -0
sage/categories/finite_dimensional_hopf_algebras_with_basis.py +38 -0
sage/categories/finite_dimensional_lie_algebras_with_basis.py +2774 -0
sage/categories/finite_dimensional_modules_with_basis.py +1407 -0
sage/categories/finite_dimensional_nilpotent_lie_algebras_with_basis.py +167 -0
sage/categories/finite_dimensional_semisimple_algebras_with_basis.py +270 -0
sage/categories/finite_enumerated_sets.py +769 -0
sage/categories/finite_fields.py +252 -0
sage/categories/finite_groups.py +256 -0
sage/categories/finite_lattice_posets.py +242 -0
sage/categories/finite_monoids.py +316 -0
sage/categories/finite_permutation_groups.py +339 -0
sage/categories/finite_posets.py +1994 -0
sage/categories/finite_semigroups.py +136 -0
sage/categories/finite_sets.py +93 -0
sage/categories/finite_weyl_groups.py +39 -0
sage/categories/finitely_generated_lambda_bracket_algebras.py +112 -0
sage/categories/finitely_generated_lie_conformal_algebras.py +114 -0
sage/categories/finitely_generated_magmas.py +57 -0
sage/categories/finitely_generated_semigroups.py +214 -0
sage/categories/function_fields.py +76 -0
sage/categories/g_sets.py +77 -0
sage/categories/gcd_domains.py +65 -0
sage/categories/generalized_coxeter_groups.py +94 -0
sage/categories/graded_algebras.py +85 -0
sage/categories/graded_algebras_with_basis.py +258 -0
sage/categories/graded_bialgebras.py +32 -0
sage/categories/graded_bialgebras_with_basis.py +32 -0
sage/categories/graded_coalgebras.py +65 -0
sage/categories/graded_coalgebras_with_basis.py +51 -0
sage/categories/graded_hopf_algebras.py +41 -0
sage/categories/graded_hopf_algebras_with_basis.py +169 -0
sage/categories/graded_lie_algebras.py +91 -0
sage/categories/graded_lie_algebras_with_basis.py +44 -0
sage/categories/graded_lie_conformal_algebras.py +74 -0
sage/categories/graded_modules.py +133 -0
sage/categories/graded_modules_with_basis.py +329 -0
sage/categories/graphs.py +138 -0
sage/categories/group_algebras.py +430 -0
sage/categories/groupoid.py +94 -0
sage/categories/groups.py +667 -0
sage/categories/h_trivial_semigroups.py +64 -0
sage/categories/hecke_modules.py +185 -0
sage/categories/highest_weight_crystals.py +980 -0
sage/categories/hopf_algebras.py +219 -0
sage/categories/hopf_algebras_with_basis.py +309 -0
sage/categories/infinite_enumerated_sets.py +115 -0
sage/categories/integral_domains.py +203 -0
sage/categories/j_trivial_semigroups.py +29 -0
sage/categories/kac_moody_algebras.py +82 -0
sage/categories/kahler_algebras.py +203 -0
sage/categories/l_trivial_semigroups.py +63 -0
sage/categories/lambda_bracket_algebras.py +280 -0
sage/categories/lambda_bracket_algebras_with_basis.py +107 -0
sage/categories/lattice_posets.py +89 -0
sage/categories/left_modules.py +49 -0
sage/categories/lie_algebras.py +1070 -0
sage/categories/lie_algebras_with_basis.py +261 -0
sage/categories/lie_conformal_algebras.py +350 -0
sage/categories/lie_conformal_algebras_with_basis.py +147 -0
sage/categories/lie_groups.py +73 -0
sage/categories/loop_crystals.py +1290 -0
sage/categories/magmas.py +1189 -0
sage/categories/magmas_and_additive_magmas.py +149 -0
sage/categories/magmatic_algebras.py +365 -0
sage/categories/manifolds.py +352 -0
sage/categories/matrix_algebras.py +40 -0
sage/categories/metric_spaces.py +387 -0
sage/categories/modular_abelian_varieties.py +78 -0
sage/categories/modules.py +989 -0
sage/categories/modules_with_basis.py +2794 -0
sage/categories/monoid_algebras.py +38 -0
sage/categories/monoids.py +739 -0
sage/categories/noetherian_rings.py +87 -0
sage/categories/number_fields.py +242 -0
sage/categories/ore_modules.py +189 -0
sage/categories/partially_ordered_monoids.py +49 -0
sage/categories/permutation_groups.py +63 -0
sage/categories/pointed_sets.py +42 -0
sage/categories/polyhedra.py +74 -0
sage/categories/poor_man_map.py +270 -0
sage/categories/posets.py +722 -0
sage/categories/principal_ideal_domains.py +270 -0
sage/categories/quantum_group_representations.py +543 -0
sage/categories/quotient_fields.py +728 -0
sage/categories/r_trivial_semigroups.py +45 -0
sage/categories/regular_crystals.py +898 -0
sage/categories/regular_supercrystals.py +170 -0
sage/categories/right_modules.py +49 -0
sage/categories/ring_ideals.py +74 -0
sage/categories/rings.py +1904 -0
sage/categories/rngs.py +175 -0
sage/categories/schemes.py +393 -0
sage/categories/semigroups.py +1060 -0
sage/categories/semirings.py +71 -0
sage/categories/semisimple_algebras.py +114 -0
sage/categories/sets_with_grading.py +235 -0
sage/categories/shephard_groups.py +43 -0
sage/categories/signed_tensor.py +120 -0
sage/categories/simplicial_complexes.py +134 -0
sage/categories/simplicial_sets.py +1206 -0
sage/categories/super_algebras.py +149 -0
sage/categories/super_algebras_with_basis.py +144 -0
sage/categories/super_hopf_algebras_with_basis.py +126 -0
sage/categories/super_lie_conformal_algebras.py +193 -0
sage/categories/super_modules.py +229 -0
sage/categories/super_modules_with_basis.py +193 -0
sage/categories/supercommutative_algebras.py +99 -0
sage/categories/supercrystals.py +406 -0
sage/categories/tensor.py +110 -0
sage/categories/topological_spaces.py +170 -0
sage/categories/triangular_kac_moody_algebras.py +439 -0
sage/categories/tutorial.py +58 -0
sage/categories/unique_factorization_domains.py +318 -0
sage/categories/unital_algebras.py +426 -0
sage/categories/vector_bundles.py +159 -0
sage/categories/vector_spaces.py +357 -0
sage/categories/weyl_groups.py +853 -0
sage/combinat/all__sagemath_categories.py +34 -0
sage/combinat/backtrack.py +180 -0
sage/combinat/combinat.py +2269 -0
sage/combinat/combinat_cython.cpython-314t-aarch64-linux-musl.so +0 -0
sage/combinat/combinat_cython.pxd +6 -0
sage/combinat/combinat_cython.pyx +390 -0
sage/combinat/combination.py +796 -0
sage/combinat/combinatorial_map.py +416 -0
sage/combinat/composition.py +2192 -0
sage/combinat/dlx.py +510 -0
sage/combinat/integer_lists/__init__.py +7 -0
sage/combinat/integer_lists/base.cpython-314t-aarch64-linux-musl.so +0 -0
sage/combinat/integer_lists/base.pxd +16 -0
sage/combinat/integer_lists/base.pyx +713 -0
sage/combinat/integer_lists/invlex.cpython-314t-aarch64-linux-musl.so +0 -0
sage/combinat/integer_lists/invlex.pxd +4 -0
sage/combinat/integer_lists/invlex.pyx +1650 -0
sage/combinat/integer_lists/lists.py +328 -0
sage/combinat/integer_lists/nn.py +48 -0
sage/combinat/integer_vector.py +1818 -0
sage/combinat/integer_vector_weighted.py +413 -0
sage/combinat/matrices/all__sagemath_categories.py +5 -0
sage/combinat/matrices/dancing_links.cpython-314t-aarch64-linux-musl.so +0 -0
sage/combinat/matrices/dancing_links.pyx +1159 -0
sage/combinat/matrices/dancing_links_c.h +380 -0
sage/combinat/matrices/dlxcpp.py +136 -0
sage/combinat/partition.py +10070 -0
sage/combinat/partitions.cpython-314t-aarch64-linux-musl.so +0 -0
sage/combinat/partitions.pyx +743 -0
sage/combinat/permutation.py +10168 -0
sage/combinat/permutation_cython.cpython-314t-aarch64-linux-musl.so +0 -0
sage/combinat/permutation_cython.pxd +11 -0
sage/combinat/permutation_cython.pyx +407 -0
sage/combinat/q_analogues.py +1090 -0
sage/combinat/ranker.py +268 -0
sage/combinat/subset.py +1561 -0
sage/combinat/subsets_hereditary.py +202 -0
sage/combinat/subsets_pairwise.py +184 -0
sage/combinat/tools.py +63 -0
sage/combinat/tuple.py +348 -0
sage/data_structures/all.py +2 -0
sage/data_structures/all__sagemath_categories.py +2 -0
sage/data_structures/binary_matrix.pxd +138 -0
sage/data_structures/binary_search.cpython-314t-aarch64-linux-musl.so +0 -0
sage/data_structures/binary_search.pxd +3 -0
sage/data_structures/binary_search.pyx +66 -0
sage/data_structures/bitset.cpython-314t-aarch64-linux-musl.so +0 -0
sage/data_structures/bitset.pxd +40 -0
sage/data_structures/bitset.pyx +2385 -0
sage/data_structures/bitset_base.cpython-314t-aarch64-linux-musl.so +0 -0
sage/data_structures/bitset_base.pxd +926 -0
sage/data_structures/bitset_base.pyx +117 -0
sage/data_structures/bitset_intrinsics.h +487 -0
sage/data_structures/blas_dict.cpython-314t-aarch64-linux-musl.so +0 -0
sage/data_structures/blas_dict.pxd +12 -0
sage/data_structures/blas_dict.pyx +469 -0
sage/data_structures/list_of_pairs.cpython-314t-aarch64-linux-musl.so +0 -0
sage/data_structures/list_of_pairs.pxd +16 -0
sage/data_structures/list_of_pairs.pyx +122 -0
sage/data_structures/mutable_poset.py +3312 -0
sage/data_structures/pairing_heap.cpython-314t-aarch64-linux-musl.so +0 -0
sage/data_structures/pairing_heap.h +346 -0
sage/data_structures/pairing_heap.pxd +88 -0
sage/data_structures/pairing_heap.pyx +1464 -0
sage/data_structures/sparse_bitset.pxd +62 -0
sage/data_structures/stream.py +5070 -0
sage/databases/all__sagemath_categories.py +7 -0
sage/databases/sql_db.py +2236 -0
sage/ext/all__sagemath_categories.py +3 -0
sage/ext/fast_callable.cpython-314t-aarch64-linux-musl.so +0 -0
sage/ext/fast_callable.pxd +4 -0
sage/ext/fast_callable.pyx +2746 -0
sage/ext/fast_eval.cpython-314t-aarch64-linux-musl.so +0 -0
sage/ext/fast_eval.pxd +1 -0
sage/ext/fast_eval.pyx +102 -0
sage/ext/interpreters/__init__.py +1 -0
sage/ext/interpreters/all__sagemath_categories.py +2 -0
sage/ext/interpreters/wrapper_el.cpython-314t-aarch64-linux-musl.so +0 -0
sage/ext/interpreters/wrapper_el.pxd +18 -0
sage/ext/interpreters/wrapper_el.pyx +148 -0
sage/ext/interpreters/wrapper_py.cpython-314t-aarch64-linux-musl.so +0 -0
sage/ext/interpreters/wrapper_py.pxd +17 -0
sage/ext/interpreters/wrapper_py.pyx +133 -0
sage/functions/airy.py +937 -0
sage/functions/all.py +97 -0
sage/functions/bessel.py +2102 -0
sage/functions/error.py +784 -0
sage/functions/exp_integral.py +1529 -0
sage/functions/gamma.py +1087 -0
sage/functions/generalized.py +672 -0
sage/functions/hyperbolic.py +747 -0
sage/functions/hypergeometric.py +1156 -0
sage/functions/jacobi.py +1705 -0
sage/functions/log.py +1402 -0
sage/functions/min_max.py +338 -0
sage/functions/orthogonal_polys.py +3106 -0
sage/functions/other.py +2303 -0
sage/functions/piecewise.py +1505 -0
sage/functions/prime_pi.cpython-314t-aarch64-linux-musl.so +0 -0
sage/functions/prime_pi.pyx +262 -0
sage/functions/special.py +1212 -0
sage/functions/spike_function.py +278 -0
sage/functions/transcendental.py +690 -0
sage/functions/trig.py +1062 -0
sage/functions/wigner.py +726 -0
sage/geometry/abc.cpython-314t-aarch64-linux-musl.so +0 -0
sage/geometry/abc.pyx +82 -0
sage/geometry/all__sagemath_categories.py +1 -0
sage/groups/all__sagemath_categories.py +11 -0
sage/groups/generic.py +1733 -0
sage/groups/groups_catalog.py +113 -0
sage/groups/perm_gps/all__sagemath_categories.py +1 -0
sage/groups/perm_gps/partn_ref/all.py +1 -0
sage/groups/perm_gps/partn_ref/all__sagemath_categories.py +1 -0
sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.cpython-314t-aarch64-linux-musl.so +0 -0
sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pxd +52 -0
sage/groups/perm_gps/partn_ref/automorphism_group_canonical_label.pyx +906 -0
sage/groups/perm_gps/partn_ref/canonical_augmentation.cpython-314t-aarch64-linux-musl.so +0 -0
sage/groups/perm_gps/partn_ref/canonical_augmentation.pxd +85 -0
sage/groups/perm_gps/partn_ref/canonical_augmentation.pyx +534 -0
sage/groups/perm_gps/partn_ref/data_structures.cpython-314t-aarch64-linux-musl.so +0 -0
sage/groups/perm_gps/partn_ref/data_structures.pxd +576 -0
sage/groups/perm_gps/partn_ref/data_structures.pyx +1792 -0
sage/groups/perm_gps/partn_ref/double_coset.cpython-314t-aarch64-linux-musl.so +0 -0
sage/groups/perm_gps/partn_ref/double_coset.pxd +45 -0
sage/groups/perm_gps/partn_ref/double_coset.pyx +739 -0
sage/groups/perm_gps/partn_ref/refinement_lists.cpython-314t-aarch64-linux-musl.so +0 -0
sage/groups/perm_gps/partn_ref/refinement_lists.pxd +18 -0
sage/groups/perm_gps/partn_ref/refinement_lists.pyx +82 -0
sage/groups/perm_gps/partn_ref/refinement_python.cpython-314t-aarch64-linux-musl.so +0 -0
sage/groups/perm_gps/partn_ref/refinement_python.pxd +16 -0
sage/groups/perm_gps/partn_ref/refinement_python.pyx +564 -0
sage/groups/perm_gps/partn_ref/refinement_sets.cpython-314t-aarch64-linux-musl.so +0 -0
sage/groups/perm_gps/partn_ref/refinement_sets.pxd +60 -0
sage/groups/perm_gps/partn_ref/refinement_sets.pyx +858 -0
sage/interfaces/abc.py +140 -0
sage/interfaces/all.py +58 -0
sage/interfaces/all__sagemath_categories.py +1 -0
sage/interfaces/expect.py +1643 -0
sage/interfaces/interface.py +1682 -0
sage/interfaces/process.cpython-314t-aarch64-linux-musl.so +0 -0
sage/interfaces/process.pxd +5 -0
sage/interfaces/process.pyx +288 -0
sage/interfaces/quit.py +167 -0
sage/interfaces/sage0.py +604 -0
sage/interfaces/sagespawn.cpython-314t-aarch64-linux-musl.so +0 -0
sage/interfaces/sagespawn.pyx +308 -0
sage/interfaces/tab_completion.py +101 -0
sage/misc/all__sagemath_categories.py +78 -0
sage/misc/allocator.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/allocator.pxd +6 -0
sage/misc/allocator.pyx +47 -0
sage/misc/binary_tree.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/binary_tree.pxd +29 -0
sage/misc/binary_tree.pyx +537 -0
sage/misc/callable_dict.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/callable_dict.pyx +89 -0
sage/misc/citation.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/citation.pyx +159 -0
sage/misc/converting_dict.py +293 -0
sage/misc/defaults.py +129 -0
sage/misc/derivative.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/derivative.pyx +223 -0
sage/misc/functional.py +2005 -0
sage/misc/html.py +589 -0
sage/misc/latex.py +2673 -0
sage/misc/latex_macros.py +236 -0
sage/misc/latex_standalone.py +1833 -0
sage/misc/map_threaded.py +38 -0
sage/misc/mathml.py +76 -0
sage/misc/method_decorator.py +88 -0
sage/misc/mrange.py +755 -0
sage/misc/multireplace.py +41 -0
sage/misc/object_multiplexer.py +92 -0
sage/misc/parser.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/parser.pyx +1107 -0
sage/misc/random_testing.py +264 -0
sage/misc/rest_index_of_methods.py +377 -0
sage/misc/search.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/search.pxd +2 -0
sage/misc/search.pyx +68 -0
sage/misc/stopgap.cpython-314t-aarch64-linux-musl.so +0 -0
sage/misc/stopgap.pyx +95 -0
sage/misc/table.py +853 -0
sage/monoids/all__sagemath_categories.py +1 -0
sage/monoids/indexed_free_monoid.py +1071 -0
sage/monoids/monoid.py +82 -0
sage/numerical/all__sagemath_categories.py +1 -0
sage/numerical/backends/all__sagemath_categories.py +1 -0
sage/numerical/backends/generic_backend.cpython-314t-aarch64-linux-musl.so +0 -0
sage/numerical/backends/generic_backend.pxd +61 -0
sage/numerical/backends/generic_backend.pyx +1893 -0
sage/numerical/backends/generic_sdp_backend.cpython-314t-aarch64-linux-musl.so +0 -0
sage/numerical/backends/generic_sdp_backend.pxd +38 -0
sage/numerical/backends/generic_sdp_backend.pyx +755 -0
sage/parallel/all.py +6 -0
sage/parallel/decorate.py +575 -0
sage/parallel/map_reduce.py +1997 -0
sage/parallel/multiprocessing_sage.py +76 -0
sage/parallel/ncpus.py +35 -0
sage/parallel/parallelism.py +364 -0
sage/parallel/reference.py +47 -0
sage/parallel/use_fork.py +333 -0
sage/rings/abc.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/abc.pxd +31 -0
sage/rings/abc.pyx +526 -0
sage/rings/algebraic_closure_finite_field.py +1154 -0
sage/rings/all__sagemath_categories.py +91 -0
sage/rings/big_oh.py +227 -0
sage/rings/continued_fraction.py +2754 -0
sage/rings/continued_fraction_gosper.py +220 -0
sage/rings/factorint.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/factorint.pyx +295 -0
sage/rings/fast_arith.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/fast_arith.pxd +21 -0
sage/rings/fast_arith.pyx +535 -0
sage/rings/finite_rings/all__sagemath_categories.py +9 -0
sage/rings/finite_rings/conway_polynomials.py +542 -0
sage/rings/finite_rings/element_base.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/finite_rings/element_base.pxd +12 -0
sage/rings/finite_rings/element_base.pyx +1176 -0
sage/rings/finite_rings/finite_field_base.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/finite_rings/finite_field_base.pxd +7 -0
sage/rings/finite_rings/finite_field_base.pyx +2171 -0
sage/rings/finite_rings/finite_field_constructor.py +827 -0
sage/rings/finite_rings/finite_field_prime_modn.py +372 -0
sage/rings/finite_rings/galois_group.py +154 -0
sage/rings/finite_rings/hom_finite_field.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/finite_rings/hom_finite_field.pxd +23 -0
sage/rings/finite_rings/hom_finite_field.pyx +856 -0
sage/rings/finite_rings/hom_prime_finite_field.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/finite_rings/hom_prime_finite_field.pxd +15 -0
sage/rings/finite_rings/hom_prime_finite_field.pyx +164 -0
sage/rings/finite_rings/homset.py +357 -0
sage/rings/finite_rings/integer_mod.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/finite_rings/integer_mod.pxd +56 -0
sage/rings/finite_rings/integer_mod.pyx +4586 -0
sage/rings/finite_rings/integer_mod_limits.h +11 -0
sage/rings/finite_rings/integer_mod_ring.py +2044 -0
sage/rings/finite_rings/residue_field.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/finite_rings/residue_field.pxd +30 -0
sage/rings/finite_rings/residue_field.pyx +1811 -0
sage/rings/finite_rings/stdint.pxd +19 -0
sage/rings/fraction_field.py +1452 -0
sage/rings/fraction_field_element.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/fraction_field_element.pyx +1357 -0
sage/rings/function_field/all.py +7 -0
sage/rings/function_field/all__sagemath_categories.py +2 -0
sage/rings/function_field/constructor.py +218 -0
sage/rings/function_field/element.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/function_field/element.pxd +11 -0
sage/rings/function_field/element.pyx +1008 -0
sage/rings/function_field/element_rational.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/function_field/element_rational.pyx +513 -0
sage/rings/function_field/extensions.py +230 -0
sage/rings/function_field/function_field.py +1468 -0
sage/rings/function_field/function_field_rational.py +1005 -0
sage/rings/function_field/ideal.py +1155 -0
sage/rings/function_field/ideal_rational.py +629 -0
sage/rings/function_field/jacobian_base.py +826 -0
sage/rings/function_field/jacobian_hess.py +1053 -0
sage/rings/function_field/jacobian_khuri_makdisi.py +1027 -0
sage/rings/function_field/maps.py +1039 -0
sage/rings/function_field/order.py +281 -0
sage/rings/function_field/order_basis.py +586 -0
sage/rings/function_field/order_rational.py +576 -0
sage/rings/function_field/place.py +426 -0
sage/rings/function_field/place_rational.py +181 -0
sage/rings/generic.py +320 -0
sage/rings/homset.py +332 -0
sage/rings/ideal.py +1885 -0
sage/rings/ideal_monoid.py +215 -0
sage/rings/infinity.py +1890 -0
sage/rings/integer.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/integer.pxd +45 -0
sage/rings/integer.pyx +7874 -0
sage/rings/integer_ring.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/integer_ring.pxd +8 -0
sage/rings/integer_ring.pyx +1693 -0
sage/rings/laurent_series_ring.py +931 -0
sage/rings/laurent_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/laurent_series_ring_element.pxd +11 -0
sage/rings/laurent_series_ring_element.pyx +1927 -0
sage/rings/lazy_series.py +7815 -0
sage/rings/lazy_series_ring.py +4356 -0
sage/rings/localization.py +1043 -0
sage/rings/morphism.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/morphism.pxd +39 -0
sage/rings/morphism.pyx +3299 -0
sage/rings/multi_power_series_ring.py +1145 -0
sage/rings/multi_power_series_ring_element.py +2184 -0
sage/rings/noncommutative_ideals.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/noncommutative_ideals.pyx +423 -0
sage/rings/number_field/all__sagemath_categories.py +1 -0
sage/rings/number_field/number_field_base.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/number_field/number_field_base.pxd +8 -0
sage/rings/number_field/number_field_base.pyx +507 -0
sage/rings/number_field/number_field_element_base.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/number_field/number_field_element_base.pxd +6 -0
sage/rings/number_field/number_field_element_base.pyx +36 -0
sage/rings/number_field/number_field_ideal.py +3550 -0
sage/rings/padics/all__sagemath_categories.py +4 -0
sage/rings/padics/local_generic.py +1670 -0
sage/rings/padics/local_generic_element.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/padics/local_generic_element.pxd +5 -0
sage/rings/padics/local_generic_element.pyx +1017 -0
sage/rings/padics/misc.py +256 -0
sage/rings/padics/padic_generic.py +1911 -0
sage/rings/padics/pow_computer.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/padics/pow_computer.pxd +38 -0
sage/rings/padics/pow_computer.pyx +671 -0
sage/rings/padics/precision_error.py +24 -0
sage/rings/polynomial/all__sagemath_categories.py +25 -0
sage/rings/polynomial/commutative_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/commutative_polynomial.pxd +6 -0
sage/rings/polynomial/commutative_polynomial.pyx +24 -0
sage/rings/polynomial/cyclotomic.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/cyclotomic.pyx +404 -0
sage/rings/polynomial/flatten.py +711 -0
sage/rings/polynomial/ideal.py +102 -0
sage/rings/polynomial/infinite_polynomial_element.py +1768 -0
sage/rings/polynomial/infinite_polynomial_ring.py +1653 -0
sage/rings/polynomial/laurent_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/laurent_polynomial.pxd +18 -0
sage/rings/polynomial/laurent_polynomial.pyx +2190 -0
sage/rings/polynomial/laurent_polynomial_ideal.py +590 -0
sage/rings/polynomial/laurent_polynomial_ring.py +832 -0
sage/rings/polynomial/laurent_polynomial_ring_base.py +708 -0
sage/rings/polynomial/multi_polynomial.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/multi_polynomial.pxd +12 -0
sage/rings/polynomial/multi_polynomial.pyx +3082 -0
sage/rings/polynomial/multi_polynomial_element.py +2570 -0
sage/rings/polynomial/multi_polynomial_ideal.py +5771 -0
sage/rings/polynomial/multi_polynomial_ring.py +947 -0
sage/rings/polynomial/multi_polynomial_ring_base.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/multi_polynomial_ring_base.pxd +15 -0
sage/rings/polynomial/multi_polynomial_ring_base.pyx +1855 -0
sage/rings/polynomial/multi_polynomial_sequence.py +2204 -0
sage/rings/polynomial/polydict.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/polydict.pxd +45 -0
sage/rings/polynomial/polydict.pyx +2701 -0
sage/rings/polynomial/polynomial_compiled.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/polynomial_compiled.pxd +59 -0
sage/rings/polynomial/polynomial_compiled.pyx +509 -0
sage/rings/polynomial/polynomial_element.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/polynomial_element.pxd +64 -0
sage/rings/polynomial/polynomial_element.pyx +13255 -0
sage/rings/polynomial/polynomial_element_generic.py +1637 -0
sage/rings/polynomial/polynomial_fateman.py +97 -0
sage/rings/polynomial/polynomial_quotient_ring.py +2465 -0
sage/rings/polynomial/polynomial_quotient_ring_element.py +779 -0
sage/rings/polynomial/polynomial_ring.py +3784 -0
sage/rings/polynomial/polynomial_ring_constructor.py +1051 -0
sage/rings/polynomial/polynomial_ring_homomorphism.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/polynomial_ring_homomorphism.pxd +5 -0
sage/rings/polynomial/polynomial_ring_homomorphism.pyx +121 -0
sage/rings/polynomial/polynomial_singular_interface.py +549 -0
sage/rings/polynomial/symmetric_ideal.py +989 -0
sage/rings/polynomial/symmetric_reduction.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/polynomial/symmetric_reduction.pxd +8 -0
sage/rings/polynomial/symmetric_reduction.pyx +669 -0
sage/rings/polynomial/term_order.py +2279 -0
sage/rings/polynomial/toy_buchberger.py +449 -0
sage/rings/polynomial/toy_d_basis.py +387 -0
sage/rings/polynomial/toy_variety.py +362 -0
sage/rings/power_series_mpoly.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/power_series_mpoly.pxd +9 -0
sage/rings/power_series_mpoly.pyx +161 -0
sage/rings/power_series_poly.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/power_series_poly.pxd +10 -0
sage/rings/power_series_poly.pyx +1317 -0
sage/rings/power_series_ring.py +1441 -0
sage/rings/power_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/power_series_ring_element.pxd +12 -0
sage/rings/power_series_ring_element.pyx +3028 -0
sage/rings/puiseux_series_ring.py +487 -0
sage/rings/puiseux_series_ring_element.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/puiseux_series_ring_element.pxd +7 -0
sage/rings/puiseux_series_ring_element.pyx +1055 -0
sage/rings/qqbar_decorators.py +167 -0
sage/rings/quotient_ring.py +1598 -0
sage/rings/quotient_ring_element.py +979 -0
sage/rings/rational.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/rational.pxd +20 -0
sage/rings/rational.pyx +4284 -0
sage/rings/rational_field.py +1730 -0
sage/rings/real_double.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/real_double.pxd +16 -0
sage/rings/real_double.pyx +2218 -0
sage/rings/real_lazy.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/real_lazy.pxd +30 -0
sage/rings/real_lazy.pyx +1773 -0
sage/rings/ring.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/ring.pxd +30 -0
sage/rings/ring.pyx +850 -0
sage/rings/semirings/all.py +3 -0
sage/rings/semirings/non_negative_integer_semiring.py +107 -0
sage/rings/semirings/tropical_mpolynomial.py +972 -0
sage/rings/semirings/tropical_polynomial.py +997 -0
sage/rings/semirings/tropical_semiring.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/semirings/tropical_semiring.pyx +676 -0
sage/rings/semirings/tropical_variety.py +1701 -0
sage/rings/sum_of_squares.cpython-314t-aarch64-linux-musl.so +0 -0
sage/rings/sum_of_squares.pxd +3 -0
sage/rings/sum_of_squares.pyx +336 -0
sage/rings/tests.py +504 -0
sage/schemes/affine/affine_homset.py +508 -0
sage/schemes/affine/affine_morphism.py +1574 -0
sage/schemes/affine/affine_point.py +460 -0
sage/schemes/affine/affine_rational_point.py +308 -0
sage/schemes/affine/affine_space.py +1264 -0
sage/schemes/affine/affine_subscheme.py +592 -0
sage/schemes/affine/all.py +25 -0
sage/schemes/all__sagemath_categories.py +5 -0
sage/schemes/generic/algebraic_scheme.py +2092 -0
sage/schemes/generic/all.py +5 -0
sage/schemes/generic/ambient_space.py +400 -0
sage/schemes/generic/divisor.py +465 -0
sage/schemes/generic/divisor_group.py +313 -0
sage/schemes/generic/glue.py +84 -0
sage/schemes/generic/homset.py +820 -0
sage/schemes/generic/hypersurface.py +234 -0
sage/schemes/generic/morphism.py +2107 -0
sage/schemes/generic/point.py +237 -0
sage/schemes/generic/scheme.py +1190 -0
sage/schemes/generic/spec.py +199 -0
sage/schemes/product_projective/all.py +6 -0
sage/schemes/product_projective/homset.py +236 -0
sage/schemes/product_projective/morphism.py +517 -0
sage/schemes/product_projective/point.py +568 -0
sage/schemes/product_projective/rational_point.py +550 -0
sage/schemes/product_projective/space.py +1301 -0
sage/schemes/product_projective/subscheme.py +466 -0
sage/schemes/projective/all.py +24 -0
sage/schemes/projective/proj_bdd_height.py +453 -0
sage/schemes/projective/projective_homset.py +718 -0
sage/schemes/projective/projective_morphism.py +2792 -0
sage/schemes/projective/projective_point.py +1484 -0
sage/schemes/projective/projective_rational_point.py +569 -0
sage/schemes/projective/projective_space.py +2571 -0
sage/schemes/projective/projective_subscheme.py +1574 -0
sage/sets/all.py +17 -0
sage/sets/cartesian_product.py +376 -0
sage/sets/condition_set.py +525 -0
sage/sets/disjoint_set.cpython-314t-aarch64-linux-musl.so +0 -0
sage/sets/disjoint_set.pxd +36 -0
sage/sets/disjoint_set.pyx +998 -0
sage/sets/disjoint_union_enumerated_sets.py +625 -0
sage/sets/family.cpython-314t-aarch64-linux-musl.so +0 -0
sage/sets/family.pxd +12 -0
sage/sets/family.pyx +1556 -0
sage/sets/finite_enumerated_set.py +406 -0
sage/sets/finite_set_map_cy.cpython-314t-aarch64-linux-musl.so +0 -0
sage/sets/finite_set_map_cy.pxd +34 -0
sage/sets/finite_set_map_cy.pyx +708 -0
sage/sets/finite_set_maps.py +591 -0
sage/sets/image_set.py +448 -0
sage/sets/integer_range.py +829 -0
sage/sets/non_negative_integers.py +241 -0
sage/sets/positive_integers.py +93 -0
sage/sets/primes.py +188 -0
sage/sets/real_set.py +2760 -0
sage/sets/recursively_enumerated_set.cpython-314t-aarch64-linux-musl.so +0 -0
sage/sets/recursively_enumerated_set.pxd +31 -0
sage/sets/recursively_enumerated_set.pyx +2082 -0
sage/sets/set.py +2083 -0
sage/sets/set_from_iterator.py +1021 -0
sage/sets/totally_ordered_finite_set.py +329 -0
sage/symbolic/all__sagemath_categories.py +1 -0
sage/symbolic/function.cpython-314t-aarch64-linux-musl.so +0 -0
sage/symbolic/function.pxd +29 -0
sage/symbolic/function.pyx +1488 -0
sage/symbolic/symbols.py +56 -0
sage/tests/all__sagemath_categories.py +1 -0
sage/tests/cython.cpython-314t-aarch64-linux-musl.so +0 -0
sage/tests/cython.pyx +37 -0
sage/tests/stl_vector.cpython-314t-aarch64-linux-musl.so +0 -0
sage/tests/stl_vector.pyx +171 -0
sage/typeset/all.py +6 -0
sage/typeset/ascii_art.py +295 -0
sage/typeset/character_art.py +789 -0
sage/typeset/character_art_factory.py +572 -0
sage/typeset/symbols.py +334 -0
sage/typeset/unicode_art.py +183 -0
sage/typeset/unicode_characters.py +101 -0

sage/misc/html.py ADDED Viewed

@@ -0,0 +1,589 @@
+# sage_setup: distribution = sagemath-categories
+"""
+HTML Fragments
+This module defines a HTML fragment class, which holds a piece of
+HTML. This is primarily used in browser-based notebooks, though it
+might be useful for creating static pages as well.
+This module defines :class:`MathJax`, an object of which performs the task of
+producing an HTML representation of any object. The produced HTML is
+renderable in a browser-based notebook with the help of MathJax.
+"""
+# *****************************************************************************
+#       Copyright (C) 2008 William Stein <wstein@gmail.com>
+#
+#  Distributed under the terms of the GNU General Public License (GPL)
+#  as published by the Free Software Foundation; either version 2 of
+#  the License, or (at your option) any later version.
+#                  http://www.gnu.org/licenses/
+# *****************************************************************************
+import re
+from sage.misc.latex import latex
+from sage.structure.sage_object import SageObject
+macro_regex = re.compile(r'\\newcommand{(?P<name>\\[a-zA-Z]+)}(\[.+\])?{(?P<definition>.+)}')
+class HtmlFragment(str, SageObject):
+    r"""
+    A HTML fragment.
+    This is a piece of HTML, usually not a complete document.  For
+    example, just a ``<div>...</div>`` piece and not the entire
+    ``<html>...</html>``.
+    EXAMPLES::
+        sage: from sage.misc.html import HtmlFragment
+        sage: HtmlFragment('<b>test</b>')
+        <b>test</b>
+    .. automethod:: _rich_repr_
+    """
+    def _rich_repr_(self, display_manager, **kwds):
+        """
+        Rich Output Magic Method.
+        See :mod:`sage.repl.rich_output` for details.
+        EXAMPLES::
+            sage: from sage.repl.rich_output import get_display_manager
+            sage: dm = get_display_manager()
+            sage: h = sage.misc.html.HtmlFragment('<b>old</b>')
+            sage: h._rich_repr_(dm)  # the doctest backend does not support html
+            OutputPlainText container
+        """
+        OutputHtml = display_manager.types.OutputHtml
+        if OutputHtml in display_manager.supported_output():
+            return OutputHtml(self)
+        else:
+            return display_manager.types.OutputPlainText(self)
+def math_parse(s):
+    r"""
+    Transform the string ``s`` with TeX maths to an HTML string renderable by
+    MathJax.
+    INPUT:
+    - ``s`` -- string
+    OUTPUT: :class:`HtmlFragment`
+    Specifically this method does the following:
+    * Replace all ``\$text\$``\'s by ``\(text\)``
+    * Replace all ``\$\$text\$\$``\'s by ``\[text\]``
+    * Replace all ``\\\$``\'s by ``\$``\'s. Note that this has precedence over
+      the above two cases.
+    EXAMPLES::
+        sage: print(sage.misc.html.math_parse('This is $2+2$.'))
+        This is \(2+2\).
+        sage: print(sage.misc.html.math_parse('This is $$2+2$$.'))
+        This is \[2+2\].
+        sage: print(sage.misc.html.math_parse('This is \\[2+2\\].'))
+        This is \[2+2\].
+        sage: print(sage.misc.html.math_parse(r'\$2+2\$ is rendered to $2+2$.'))
+        <span>$</span>2+2<span>$</span> is rendered to \(2+2\).
+    """
+    # Below t always has the "parsed so far" version of s, and s is
+    # just the part of the original input s that hasn't been parsed.
+    t = ''
+    while True:
+        i = s.find('$')
+        if i == -1:
+            # No dollar signs -- definitely done.
+            return HtmlFragment(t + s)
+        elif i > 0 and s[i-1] == '\\':
+            # A dollar sign with a backslash right before it, so this is a
+            # normal dollar sign. If processEscapes is enabled in MathJax, "\$"
+            # will do the job. But as we do not assume that, we use the span
+            # tag safely.
+            t += s[:i-1] + '<span>$</span>'
+            s = s[i+1:]
+            continue
+        elif i+1 < len(s) and s[i+1] == '$':
+            # Found a math environment. Double dollar sign so display mode.
+            disp = True
+        else:
+            # Found math environment. Single dollar sign so default mode.
+            disp = False
+        # Now find the matching $ sign and form the html string.
+        if disp:
+            j = s[i+2:].find('$$')
+            if j == -1:
+                j = len(s)
+                s += '$$'
+            else:
+                j += i + 2
+            txt = s[i+2:j]
+        else:
+            j = s[i+2:].find('$')
+            if j == -1:
+                j = len(s)
+                s += '$'
+            else:
+                j += i + 2
+            txt = s[i+1:j]
+        if disp:
+            t += s[:i] + r'\[{0}\]'.format(' '.join(txt.splitlines()))
+        else:
+            t += s[:i] + r'\({0}\)'.format(' '.join(txt.splitlines()))
+        s = s[j+1:]
+        if disp:
+            s = s[1:]
+    return HtmlFragment(t)
+class MathJaxExpr:
+    """
+    An arbitrary MathJax expression that can be nicely concatenated.
+    EXAMPLES::
+        sage: from sage.misc.html import MathJaxExpr
+        sage: MathJaxExpr("a^{2}") + MathJaxExpr("x^{-1}")
+        a^{2}x^{-1}
+    """
+    def __init__(self, y):
+        """
+        Initialize a MathJax expression.
+        INPUT:
+        - ``y`` -- string
+        Note that no error checking is done on the type of ``y``.
+        EXAMPLES::
+            sage: from sage.misc.html import MathJaxExpr
+            sage: jax = MathJaxExpr(3); jax  # indirect doctest
+            3
+            sage: TestSuite(jax).run(skip ='_test_pickling')
+        """
+        self.__y = y
+    def __repr__(self):
+        """
+        Print representation.
+        EXAMPLES::
+            sage: from sage.misc.html import MathJaxExpr
+            sage: jax = MathJaxExpr('3')
+            sage: jax.__repr__()
+            '3'
+        """
+        return str(self.__y)
+    def __add__(self, y):
+        """
+        'Add' MathJaxExpr ``self`` to ``y``.  This concatenates them
+        (assuming that they're strings).
+        EXAMPLES::
+            sage: from sage.misc.html import MathJaxExpr
+            sage: j3 = MathJaxExpr('3')
+            sage: jx = MathJaxExpr('x')
+            sage: j3 + jx
+            3x
+        """
+        return MathJaxExpr(self.__y + y)
+    def __radd__(self, y):
+        """
+        'Add' MathJaxExpr ``y`` to ``self``.  This concatenates them
+        (assuming that they're strings).
+        EXAMPLES::
+            sage: from sage.misc.html import MathJaxExpr
+            sage: j3 = MathJaxExpr('3')
+            sage: jx = MathJaxExpr('x')
+            sage: j3.__radd__(jx)
+            x3
+        """
+        return MathJaxExpr(y + self.__y)
+class MathJax:
+    r"""
+    Render LaTeX input using MathJax.  This returns a :class:`MathJaxExpr`.
+    EXAMPLES::
+        sage: from sage.misc.html import MathJax
+        sage: MathJax()(3)
+        <html>\[3\]</html>
+        sage: MathJax()(ZZ)
+        <html>\[\newcommand{\Bold}[1]{\mathbf{#1}}\Bold{Z}\]</html>
+    """
+    def __call__(self, x, combine_all=False):
+        r"""
+        Render LaTeX input using MathJax.  This returns a :class:`MathJaxExpr`.
+        INPUT:
+        - ``x`` -- a Sage object
+        - ``combine_all`` -- boolean (default: ``False``); if ``combine_all``
+          is ``True`` and the input is a tuple, then it does not return a tuple
+          and instead returns a string with all the elements separated by
+          a single space
+        OUTPUT: :class:`MathJaxExpr`
+        EXAMPLES::
+            sage: from sage.misc.html import MathJax
+            sage: MathJax()(3)
+            <html>\[3\]</html>
+            sage: str(MathJax().eval(ZZ['x'], mode='display')) == str(MathJax()(ZZ['x']))
+            True
+        """
+        return self.eval(x, combine_all=combine_all)
+    def eval(self, x, globals=None, locals=None, mode='display', combine_all=False):
+        r"""
+        Render LaTeX input using MathJax.  This returns a :class:`MathJaxExpr`.
+        INPUT:
+        - ``x`` -- a Sage object
+        - ``globals`` -- a globals dictionary
+        - ``locals`` -- extra local variables used when
+          evaluating Sage code in ``x``
+        - ``mode`` -- string (default: ``'display'``);
+          ``'display'`` for displaymath, ``'inline'`` for inline
+          math, or ``'plain'`` for just the LaTeX code without the
+          surrounding html and script tags
+        - ``combine_all`` -- boolean (default: ``False``); if ``combine_all``
+          is ``True`` and the input is a tuple, then it does not return a tuple
+          and instead returns a string with all the elements separated by
+          a single space
+        OUTPUT: :class:`MathJaxExpr`
+        EXAMPLES::
+            sage: from sage.misc.html import MathJax
+            sage: MathJax().eval(3, mode='display')
+            <html>\[3\]</html>
+            sage: MathJax().eval(3, mode='inline')
+            <html>\(3\)</html>
+            sage: MathJax().eval(type(3), mode='inline')
+            <html>\(\verb|&lt;class|\verb| |\verb|'sage.rings.integer.Integer'>|\)</html>
+        TESTS:
+            sage: from sage.misc.html import MathJax
+            sage: MathJax().eval(IntegerModRing(6))
+            <html>\[\newcommand{\ZZ}{\Bold{Z}}\newcommand{\Bold}[1]{\mathbf{#1}}\ZZ/6\ZZ\]</html>
+        """
+        # Get a regular LaTeX representation of x
+        x = latex(x, combine_all=combine_all)
+        # The "\text{\texttt{...}}" blocks are reformed to be renderable by MathJax.
+        # These blocks are produced by str_function() defined in sage.misc.latex.
+        prefix = r"\text{\texttt{"
+        parts = x.split(prefix)
+        for i, part in enumerate(parts):
+            if i == 0:
+                continue    # Nothing to do with the head part
+            n = 1
+            for closing, c in enumerate(part):
+                if c == "{" and part[closing - 1] != "\\":
+                    n += 1
+                if c == "}" and part[closing - 1] != "\\":
+                    n -= 1
+                if n == -1:
+                    break
+            # part should end in "}}", so omit the last two characters
+            # from y
+            y = part[:closing-1]
+            for delimiter in r"""|"'`#%&,.:;?!@_~^+-/\=<>()[]{}0123456789E""":
+                if delimiter not in y:
+                    break
+            if delimiter == "E":
+                # y is too complicated
+                delimiter = "|"
+                y = "(complicated string)"
+            wrapper = r"\verb" + delimiter + "%s" + delimiter
+            y = y.replace("{ }", " ").replace("{-}", "-")
+            for c in r"#$%&\^_{}~":
+                char_wrapper = r"{\char`\%s}" % c
+                y = y.replace(char_wrapper, c)
+            subparts = []
+            nspaces = 0
+            for subpart in y.split(" "):
+                if subpart == "":
+                    nspaces += 1
+                    continue
+                if nspaces > 0:
+                    subparts.append(wrapper % (" " * nspaces))
+                nspaces = 1
+                subparts.append(wrapper % subpart)
+            subparts.append(part[closing + 1:])
+            parts[i] = "".join(subparts)
+        from sage.misc.latex_macros import sage_latex_macros
+        from sage.misc.latex import _Latex_prefs
+        latex_string = ''.join([_Latex_prefs._option['macros']] + parts)
+        # add a macro definition only if it appears in the latex string
+        macros_string = ''
+        latex_macros = sage_latex_macros()
+        test_string = latex_string
+        while test_string:
+            new_test_string = ''
+            for line in latex_macros:
+                m = macro_regex.match(line)
+                if m['name'] in test_string:
+                    macros_string += line
+                    new_test_string += '{' + m['definition'] + '}'
+            test_string = new_test_string
+        latex_string = macros_string + latex_string
+        mathjax_string = latex_string.replace('<', '&lt;')
+        if mode == 'display':
+            html = r'<html>\[{0}\]</html>'
+        elif mode == 'inline':
+            html = r'<html>\({0}\)</html>'
+        elif mode == 'display_left':
+            html = r'<html>\(\displaystyle {0}\)</html>'
+        elif mode == 'plain':
+            return mathjax_string
+        else:
+            raise ValueError("mode must be either 'display', 'inline', 'display_left' or 'plain'")
+        return MathJaxExpr(html.format(mathjax_string))
+class HTMLFragmentFactory(SageObject):
+    def _repr_(self):
+        """
+        Return string representation.
+        OUTPUT: string
+        EXAMPLES::
+            sage: html
+            Create HTML output (see html? for details)
+        """
+        return 'Create HTML output (see html? for details)'
+    def __call__(self, obj, concatenate=True, strict=False):
+        r"""
+        Construct a HTML fragment.
+        INPUT:
+        - ``obj`` -- anything. An object for which you want an HTML
+          representation
+        - ``concatenate`` -- if ``True``, combine HTML representations of
+          elements of the container ``obj``
+        - ``strict`` -- if ``True``, construct an HTML representation of
+          ``obj`` even if ``obj`` is a string
+        OUTPUT: :class:`HtmlFragment`
+        EXAMPLES::
+            sage: h = html('<hr>');  pretty_print(h)
+            <hr>
+            sage: type(h)
+            <class 'sage.misc.html.HtmlFragment'>
+            sage: html(1/2)
+            <html>\(\displaystyle \frac{1}{2}\)</html>
+            sage: html('<a href="http://sagemath.org">sagemath</a>')
+            <a href="http://sagemath.org">sagemath</a>
+            sage: html('<a href="http://sagemath.org">sagemath</a>', strict=True)
+            <html>\(\displaystyle \verb|&lt;a|\verb| |\verb|href="http://sagemath.org">sagemath&lt;/a>|\)</html>
+        Display preference ``align_latex`` affects rendering of LaTeX expressions::
+            sage: from sage.repl.rich_output.display_manager import get_display_manager
+            sage: dm = get_display_manager()
+            sage: dm.preferences.align_latex = 'left'
+            sage: html(1/2)
+            <html>\(\displaystyle \frac{1}{2}\)</html>
+            sage: dm.preferences.align_latex = 'center'
+            sage: html(1/2)
+            <html>\[\frac{1}{2}\]</html>
+            sage: dm.preferences.align_latex = None  # same with left
+            sage: html(1/2)
+            <html>\(\displaystyle \frac{1}{2}\)</html>
+        """
+        # string obj is interpreted as an HTML in not strict mode
+        if isinstance(obj, str) and not strict:
+            return HtmlFragment(math_parse(obj))
+        # prefer dedicated _html_() method
+        try:
+            result = obj._html_()
+            return HtmlFragment(result)
+        except AttributeError:
+            pass
+        from sage.repl.rich_output.display_manager import get_display_manager
+        dm = get_display_manager()
+        if dm.preferences.align_latex == 'center':
+            mode = 'display'
+        elif dm.preferences.align_latex == 'left':
+            mode = 'display_left'
+        else:
+            mode = 'display_left'
+        # otherwise convert latex to html
+        if concatenate:
+            if isinstance(obj, (tuple, list)):
+                obj = tuple(obj)
+            result = MathJax().eval(obj, mode=mode, combine_all=True)
+        else:
+            result = MathJax().eval(obj, mode=mode, combine_all=False)
+        return HtmlFragment(result)
+    def eval(self, s, locals=None):
+        r"""
+        Evaluate embedded <sage> tags.
+        INPUT:
+        - ``s`` -- string
+        - ``globals`` -- dictionary; the global variables when
+          evaluating ``s``. Default: the current global variables.
+        OUTPUT: :class:`HtmlFragment`
+        EXAMPLES::
+            sage: a = 123
+            sage: html.eval('<sage>a</sage>')
+            \(123\)
+            sage: html.eval('<sage>a</sage>', locals={'a': 456})
+            \(456\)
+        """
+        from sage.misc.sage_eval import sage_eval
+        if locals is None:
+            from sage.repl.user_globals import get_globals
+            locals = get_globals()
+        s = str(s)
+        s = math_parse(s)
+        t = ''
+        while s:
+            i = s.find('<sage>')
+            if i == -1:
+                t += s
+                break
+            j = s.find('</sage>')
+            if j == -1:
+                t += s
+                break
+            t += s[:i] + r'\({}\)'.format(latex(sage_eval(s[6+i:j], locals=locals)))
+            s = s[j+7:]
+        return HtmlFragment(t)
+    def iframe(self, url, height=400, width=800):
+        r"""
+        Generate an iframe HTML fragment.
+        INPUT:
+        - ``url`` -- string; a url, either with or without URI scheme
+          (defaults to "http"), or an absolute file path
+        - ``height`` -- the number of pixels for the page height
+          Defaults to 400
+        - ``width`` -- the number of pixels for the page width
+          Defaults to 800
+        OUTPUT: :class:`HtmlFragment`
+        EXAMPLES::
+            sage: pretty_print(html.iframe("sagemath.org"))
+            <iframe height="400" width="800"
+            src="http://sagemath.org"></iframe>
+            sage: pretty_print(html.iframe("http://sagemath.org",30,40))
+            <iframe height="30" width="40"
+            src="http://sagemath.org"></iframe>
+            sage: pretty_print(html.iframe("https://sagemath.org",30))
+            <iframe height="30" width="800"
+            src="https://sagemath.org"></iframe>
+            sage: pretty_print(html.iframe("/home/admin/0/data/filename"))
+            <iframe height="400" width="800"
+            src="file:///home/admin/0/data/filename"></iframe>
+            sage: pretty_print(html.iframe('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAA'
+            ....: 'AUAAAAFCAYAAACNbyblAAAAHElEQVQI12P4//8/w38GIAXDIBKE0DHxgljNBA'
+            ....: 'AO9TXL0Y4OHwAAAABJRU5ErkJggg=="'))
+            <iframe height="400" width="800"
+            src="http://data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAAFCAYAAACNbyblAAAAHElEQVQI12P4//8/w38GIAXDIBKE0DHxgljNBAAO9TXL0Y4OHwAAAABJRU5ErkJggg==""></iframe>
+        """
+        if url.startswith('/'):
+            url = 'file://{0}'.format(url)
+        elif '://' not in url:
+            url = 'http://{0}'.format(url)
+        return HtmlFragment('<iframe height="{0}" width="{1}" src="{2}"></iframe>'
+                            .format(height, width, url))
+html = HTMLFragmentFactory()
+html.__doc__ = HTMLFragmentFactory.__call__.__doc__
+def pretty_print_default(enable=True):
+    r"""
+    Enable or disable default pretty printing.
+    Pretty printing means rendering things in HTML and by MathJax so that a
+    browser-based frontend can render real math.
+    This function is pretty useless without the notebook, it should not
+    be in the global namespace.
+    INPUT:
+    - ``enable`` -- boolean (default: ``True``);  if ``True``, turn on
+      pretty printing. If ``False``, turn it off.
+    EXAMPLES::
+        sage: pretty_print_default(True)
+        sage: 'foo'  # the doctest backend does not support html
+        'foo'
+        sage: pretty_print_default(False)
+        sage: 'foo'
+        'foo'
+    """
+    from sage.repl.rich_output import get_display_manager
+    dm = get_display_manager()
+    dm.preferences.text = 'latex' if enable else None