#18624: Implement the lift theorem for linear matroids
-------------------------------------+-------------------------------------
Reporter: Rudi | Owner: Rudi
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.8
Component: matroid theory | Resolution:
Keywords: | Merged in:
Authors: Rudi Pendavingh | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/Rudi/implement_the_lift_theorem_for_linear_matroids|
109e5bb6c9968291a2677f3b4c12a50f1cadfa25
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by Rudi):
Hi Stefan,
To my mind, this patch makes it *less* likely that people will need to
compute over fields of fractions. They can now use some finite field to
compute with for most of the time, and lift the representation afterwards.
The lifting merely gives you different perspectives on the same algebraic
object (the way I set up this method it can also be used to e.g. directly
get different representations over GF(5) out of one finite-field matrix
which encodes a hydra-k representation.)
But if you want to see #15296 fixed urgently, I promise you a fast review
when you are done :). But seriously, I have a method in mind that will not
compromise the efficiency for fields that do not need equivalence testing,
but that needs certain trickery to work. I know how to do it in c++, not
sure about python/cython. Perhaps you could assist me with that. I'm
taking that discussion to #15296.
I will finish this patch first. Hope you can do the review!
Rudi
--
Ticket URL: <http://trac.sagemath.org/ticket/18624#comment:7>
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.
