Ask Your Question

Marco Streng's profile - activity

2013-06-03 10:34:18 +0200 answered a question Lifting matrices to $SL_2(\mathbb{Z})$

Actually, the question asks only for SL_2, while the trac ticket is more general (SL_m). The case of SL_2 is already in Sage (as long as N <= 2147483647). Try

sage: lift_to_sl2z?

or see lift_to_sl2z in the reference manual

2013-05-26 19:39:40 +0200 commented answer Computing maximal orders in relative extensions!topic/sage-devel/MpPqbjAqol4

2013-05-26 18:59:59 +0200 commented answer Computing maximal orders in relative extensions

As Nils already explained in his answer, the first line of the question's Magma code creates a better starting order (OO[sqrt(kappa12)]) than the third line of the question's Sage code (ZZ[sqrt(kappa12)]). But to start out in Sage with the same order that you start out with in Magma, you shouldn't have to use pari directly. In Sage, just use something like the following: OO = Qa12.maximal_order() bas = [L.structure()\[1\](b) for b in OO.basis()] subOrderK = L.order(bas + [alpha]) \# Instead of the last line, you can also do subOrderK = L.order(bas + [b*alpha for b in bas]) Unfortunately, for the field I tried this with, it hangs (I don't know your Qa12). And even Ctrl+C does not work. I'm reporting this as a bug.