Removing sage/structure/element_verify.py?

[Jeroen Demeyer]

I bumped by chance on the file sage/structure/element_verify.py

This file:
1) is ophaned, i.e. nothing else in Sage depends on it
2) isn't mentioned in a single Trac ticket
3) hasn't seen any serious modifications since its creation in 2006
4) doesn't have any doctest

So my guess is that it isn't used for anything anymore and should be
removed. Any opinions?

[David Roe]

I agree that this file should be removed.  The verification that it's doing should be performed by TestSuite now.  We should ensure that all of the conditions checked in this file are still checked when running the TestSuite on ring elements, module elements, etc.
David

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To post to this group, send email to sage-...@googlegroups.com.
To unsubscribe from this group, send email to sage-devel+...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.

[kcrisman]

On Tuesday, September 25, 2012 3:59:59 PM UTC-4, David Roe wrote:

I agree that this file should be removed.  The verification that it's doing should be performed by TestSuite now.  We should ensure that all of the conditions checked in this file are still checked when running the TestSuite on ring elements, module elements, etc.
David

Note also that it still refers to sagex - a sure sign of something not in much use.