Deprecate is_FiniteField etc., make sage.rings.finite_rings a namespace package

[mkoeppe]

Part of meta-ticket #32414.

Deprecating is_FiniteField, is_PrimeFiniteField, and is_FiniteFieldElement is done for uniformity but is not needed to support modularization. #32432 shows that sage.rings.finite_rings.finite_field_base (which defines the ABC FiniteField) can be imported without pulling in implementation classes.

sage.rings.finite_rings must become a namespace package because element implementations depend on various libraries.

CC: @dimpase @kwankyu @fchapoton @tscrim

Component: refactoring

Author: Matthias Koeppe

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

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1,4 @@
 Part of meta-ticket #32414.
+
+This is done for uniformity but is not needed to support modularization. #32432 shows that `finite_field_base` (which defines `is_FiniteField`) can be imported without pulling in implementation classes.
+

[mkoeppe]

Changed dependencies from #32612 to none

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,4 +1,5 @@
 Part of meta-ticket #32414.
 
-This is done for uniformity but is not needed to support modularization. #32432 shows that `finite_field_base` (which defines `is_FiniteField`) can be imported without pulling in implementation classes.
+Deprecating `is_FiniteField` is done for uniformity but is not needed to support modularization. #32432 shows that `sage.finitefinite_field_base` (which defines the ABC `FiniteField`) can be imported without pulling in implementation classes.
 
+`sage.rings.finite_rings` must become a namespace package because element implementations depend on various libraries.

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,5 +1,5 @@
 Part of meta-ticket #32414.
 
-Deprecating `is_FiniteField` is done for uniformity but is not needed to support modularization. #32432 shows that `sage.finitefinite_field_base` (which defines the ABC `FiniteField`) can be imported without pulling in implementation classes.
+Deprecating `is_FiniteField` is done for uniformity but is not needed to support modularization. #32432 shows that `sage.rings.finite_rings.finite_field_base` (which defines the ABC `FiniteField`) can be imported without pulling in implementation classes.
 
 `sage.rings.finite_rings` must become a namespace package because element implementations depend on various libraries.

[mkoeppe]

Branch: u/mkoeppe/add_sage_rings_abc_finitefield__deprecate_is_finitefield

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,5 +1,5 @@
 Part of meta-ticket #32414.
 
-Deprecating `is_FiniteField` is done for uniformity but is not needed to support modularization. #32432 shows that `sage.rings.finite_rings.finite_field_base` (which defines the ABC `FiniteField`) can be imported without pulling in implementation classes.
+Deprecating `is_FiniteField` and `is_PrimeFiniteField` is done for uniformity but is not needed to support modularization. #32432 shows that `sage.rings.finite_rings.finite_field_base` (which defines the ABC `FiniteField`) can be imported without pulling in implementation classes.
 
 `sage.rings.finite_rings` must become a namespace package because element implementations depend on various libraries.

[mkoeppe]

Commit: 8af57c4

[mkoeppe]

New commits:

8af57c4

sage.rings.finite_rings: Deprecate is_FiniteField, is_PrimeFiniteField

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,5 +1,5 @@
 Part of meta-ticket #32414.
 
-Deprecating `is_FiniteField` and `is_PrimeFiniteField` is done for uniformity but is not needed to support modularization. #32432 shows that `sage.rings.finite_rings.finite_field_base` (which defines the ABC `FiniteField`) can be imported without pulling in implementation classes.
+Deprecating `is_FiniteField`, `is_PrimeFiniteField`, and `is_FiniteFieldElement` is done for uniformity but is not needed to support modularization. #32432 shows that `sage.rings.finite_rings.finite_field_base` (which defines the ABC `FiniteField`) can be imported without pulling in implementation classes.
 
 `sage.rings.finite_rings` must become a namespace package because element implementations depend on various libraries.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

98b433c	sage.rings.finite_rings: Make it a namespace package
6323775	src/sage/rings/finite_rings/finite_field_constructor.py: Restore re-export of is_FiniteField
473e9d4	src/sage/rings/finite_rings/hom_finite_field.pyx: Import ABC as FiniteField_base
b82fb1e	sage.rings.finite_rings: Deprecate is_FiniteFieldElent

[sagetrac-git]

Changed commit from 8af57c4 to b82fb1e

[sagetrac-git]

Changed commit from b82fb1e to 106b22e

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

106b22e

Fixups

[sagetrac-git]

Changed commit from 106b22e to de5cfad