Split _test_elements_eq

[saraedum]

Currently _test_elements_eq tests for reflexivity, symmetry, and transitivity. However, transitivity does not hold in padic rings. This tickets splits _test_elements_eq into these three subtests, so they that we can override the transitivity test for padic implementations.

---

Apply:

• attachment: trac_14287-rebased.patch

Depends on #14284
Depends on #14278

CC: @roed314

Component: categories

Author: Julian Rueth, Travis Scrimshaw

Reviewer: David Roe

Merged: sage-5.10.beta0

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

[saraedum]

Dependencies: #12484

[saraedum]

Changed dependencies from #12484 to #14284

[saraedum]

Description changed:

--- 
+++ 
@@ -1 +1,7 @@
 Currently ``_test_elements_eq`` tests for reflexivity, symmetry, and transitivity. However, transitivity does not hold in padic rings. This tickets splits ``_test_elements_eq`` into these three subtests, so they that we can override the transitivity test for padic implementations.
+
+---
+
+Apply
+1. [attachment: trac_14287.patch](https://github.com/sagemath/sage/files/ticket14287/trac_14287.patch.gz)
+2. [attachment: 14287_review.patch](https://github.com/sagemath/sage/files/ticket14287/14287_review.patch.gz)

[saraedum]

comment:4

apply trac_14287.patch 14287_review_58rc0.patch

[saraedum]

Description changed:

--- 
+++ 
@@ -4,4 +4,5 @@
 
 Apply
 1. [attachment: trac_14287.patch](https://github.com/sagemath/sage/files/ticket14287/trac_14287.patch.gz)
-2. [attachment: 14287_review.patch](https://github.com/sagemath/sage/files/ticket14287/14287_review.patch.gz)
+2. [attachment: 14287_review_58rc0.patch](https://github.com/sagemath/sage/files/ticket14287/14287_review_58rc0.patch.gz) (if you're working with 5.8.rc0)
+3. [attachment: 14287_review.patch](https://github.com/sagemath/sage/files/ticket14287/14287_review.patch.gz) (if you're working with a newer version of sage)

[saraedum]

comment:6

apply trac_14287.patch 14287_review_58rc0.patch

[saraedum]

comment:7

apply trac_14287.patch 14287_review.patch

[saraedum]

Description changed:

--- 
+++ 
@@ -4,5 +4,4 @@
 
 Apply
 1. [attachment: trac_14287.patch](https://github.com/sagemath/sage/files/ticket14287/trac_14287.patch.gz)
-2. [attachment: 14287_review_58rc0.patch](https://github.com/sagemath/sage/files/ticket14287/14287_review_58rc0.patch.gz) (if you're working with 5.8.rc0)
-3. [attachment: 14287_review.patch](https://github.com/sagemath/sage/files/ticket14287/14287_review.patch.gz) (if you're working with a newer version of sage)
+2. [attachment: 14287_review.patch](https://github.com/sagemath/sage/files/ticket14287/14287_review.patch.gz)

[roed314]

comment:9

Tests pass; looks good.