Changes between Version 16 and Version 25 of Ticket #6452


Ignore:
Timestamp:
10/04/15 01:38:50 (4 years ago)
Author:
vdelecroix
Comment:

New commits:

​708863fTrac 6452: free module over ZZ/nZZ and submodules

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #6452

    • Property Status changed from needs_work to needs_review
    • Property Authors changed from to Vincent Delecroix
    • Property Component changed from coding theory to linear algebra
    • Property Summary changed from Codes over rings to Submodules of (ZZ/nZZ)^r
    • Property Branch changed from public/6452 to u/vdelecroix/6452
    • Property Commit changed from 1177056cb4942b0ce938a30537357bcb07f1bf19 to 708863f5754603bbed1abe786e7f718ce1e1c782

  • Ticket #6452 – Description

    v16 v25  
    1 This module constructs codes over the finite rings `ZZ/mZZ`, that is, submodules of `FreeModule(IntegerModRing(m), n)`.
    2 
    3 The main authors are Cesar Agustin Garcia-Vazquez (who was an undergrad in Mexico when he wrote this) and Carlos A. Lopez-Andrade (his advisor).
    4 
    5 ----
    6 
    7 Comments from the original ticket description by by David Joyner:
    8 
    9 I made some changes to make it more consistent with `LinearCode`. (It still has some hidden differences - the basic problem being that `FreeModule` has no submodule or span method analogous that of `VectorSpace`.)
    10 
    11 It is in Cython, which I confess I don't really understand well. My role is simply to take Cesar's code (which he emailed to me), tweek it a bit, and create a patch. He has explicitly agreed to distributing it under GPLv2+.
     1This 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.