Add new classify_elements() function to refine have_same_parent()

[jdemeyer]

The function have_same_parent(left, right) is useful and needed to support the coercion model. However, that function not only checks whether parent are equal, but also whether left and right are both Elements and whether they have the same type. This information is checked, but lost when have_same_parent returns.

Instead, let us have a function classify_elements(left, right) which does the same checks as have_same_parent() (so it should be equally efficient), but returns all information.

test.

CC: @defeo

Component: coercion

Author: Jeroen Demeyer

Branch/Commit: c41bc91

Reviewer: Travis Scrimshaw

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

[jdemeyer]

Branch: u/jdemeyer/add_new_classify_elements___function_to_refine_have_same_parent__

[jdemeyer]

New commits:

fb4b495

classify_elements() function to refine have_same_parent()

[jdemeyer]

Commit: fb4b495

[sagetrac-tmonteil]

comment:3

test.

[sagetrac-git]

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

bcbc08c

Minor fixes

[sagetrac-git]

Changed commit from fb4b495 to bcbc08c

[jdemeyer]

Reviewer: Travis Scrimshaw

[sagetrac-git]

Changed commit from bcbc08c to c41bc91

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. New commits:

c41bc91

Use octal also in helper functions

[vbraun]

Changed branch from u/jdemeyer/add_new_classify_elements___function_to_refine_have_same_parent__ to c41bc91