Coercion to fraction field is injective

[saraedum]

Currently this coercion is not detected as being injective:

sage: R=ZpFM(3)
sage: K=R.fraction_field()
sage: K.coerce_map_from(R).is_injective()
NotImplementedError

Depends on #23510

Component: padics

Author: Julian Rüth

Branch/Commit: a4d9ad6

Reviewer: David Roe

Issue created by migration from https://trac.sagemath.org/ticket/23965

[saraedum]

Branch: u/saraedum/coercion_to_fraction_field_is_injective

[saraedum]

Commit: 55b33e4

[saraedum]

New commits:

55b33e4

Coercions to the fraction field are injective

[saraedum]

Author: Julian Rüth

[saraedum]

Dependencies: #23510

[roed314]

Changed branch from u/saraedum/coercion_to_fraction_field_is_injective to u/roed/coercion_to_fraction_field_is_injective

[roed314]

Changed commit from 55b33e4 to a4d9ad6

[roed314]

comment:7

I merged in #23510 and added a try/except block around the call to fraction_field(), since this can raise a TypeError. If you're happy with this change, positive review once tests pass.

---

Last 10 new commits:

cb882fd	Update add_bigoh to account for fixed-mod having a fraction field
a826978	Fix _tester_add_bigoh
883e6b5	Fix doctest in local_generic_element.pyx
52cbd2a	Merge branch 'u/roed/fixed_mod_frac_field' of git://trac.sagemath.org/sage into t/23510/fixed_mod_frac_field
bc59ffa	Merge branch 't/14825/polynomial_representation_of_a_padic_number' into t/23510/fixed_mod_frac_field
3292259	Merge branch 'u/saraedum/fixed_mod_frac_field' of git://trac.sagemath.org/sage into t/23510/fixed_mod_frac_field
dad02c7	Merge branch 'u/saraedum/fixed_mod_frac_field' of git://trac.sagemath.org/sage into t/23510/fixed_mod_frac_field
189ac2b	Add _test_fraction_field to the coercion tutorial
df62c48	Merge branch 'u/roed/fixed_mod_frac_field' of git://trac.sagemath.org/sage into t/23965/fracfield_coercion_injective
a4d9ad6	Catch exceptions raised by attempting to find fraction field

[saraedum]

Reviewer: David Roe

[saraedum]

Work Issues: doctests pass ⇒ positive review

[roed314]

Changed work issues from doctests pass ⇒ positive review to none

[roed314]

comment:9

Tests pass.

[vbraun]

Changed branch from u/roed/coercion_to_fraction_field_is_injective to a4d9ad6