Submodules of (ZZ/nZZ)^r

[wdjoyner]

This ticket add some support to submodules of (ZZ/mZZ)^r (e.g. containment, iteration). There is no new algorithm, we just use the code available for submodules of ZZ^r and the Schmidt normal form of integer matrix.

Follow up: #19345

CC: cesarnda@gmail.com @sagetrac-dlucas @johanrosenkilde

Component: linear algebra

Author: Vincent Delecroix

Branch/Commit: public/ticket/6452 @ c93a30a

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

[wdjoyner]

applies to 4.1.alpha1

[wdjoyner]

comment:1

Attachment: trac_6452-codes-over-rings.patch.gz

This applies to 4.1.alpha1. This passed sage -testall except for

The following tests failed:                                                                             


        sage -t  "devel/sage/doc/fr/tutorial/programming.rst"
        sage -t  "devel/sage/sage/misc/darwin_utilities.pyx" 
Total time for all tests: 6017.1 seconds                     

Neither of these failures seem related to this ticket.

[aghitza]

comment:2

The patch doesn't contain the crucial file ring_code.pyx. Maybe you forgot to add this file to the hg repository?

[wdjoyner]

Attachment: trac_6452-ring-codes.patch.gz

ignore the previous patch; this applies to 4.1.2.rc2

[wdjoyner]

comment:3

This latest patch fixes some problems prointed out in private emails from Dan Gordon.