#19462: LinearCode.is_projective
-------------------------+-------------------------------------------------
Reporter: | Owner:
ncohen | Status: needs_review
Type: | Milestone: sage-6.10
enhancement | Resolution:
Priority: major | Merged in:
Component: | Reviewers:
coding theory | Work issues:
Keywords: | Commit:
Authors: | 4a8d9701a24ab0437ff4e8fbf517bb47443ef425
Nathann Cohen | Stopgaps:
Report Upstream: N/A |
Branch: |
public/19462 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by ncohen):
> And I was just mentioning it to make some advertisement. But nobody
cares.
Try to advertise it to people who you think should care. I review patches
in less than three years, but on the other hand my field is graph theory.
I forgot all I ever knew about rings.
About this ticket: it seems that some part of the code 'assumes' that the
ring is a field indeed:
{{{
sage: LinearCode(matrix.ones(IntegerModRing(6),5))
...
NotImplementedError: Echelon form not implemented over 'Ring of integers
modulo 6'.
}}}
Though that is apparently because the 'rank' function is only implemented
on fields. This notion exists on rings too, doesn't it? Though I expect
that the definition would be pretty nasty `:-/`
'on the paper', however:
{{{
sage: LinearCode(matrix.ones(IntegerModRing(3),5))
Linear code of length 5, dimension 1 over Ring of integers modulo 3
}}}
That's cheating, however, for
{{{
sage: IntegerModRing(3).is_field()
True
}}}
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/19462#comment:14>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
