Timeline for magma generators for unit group/ sage totally positive
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 25 at 21:07 | comment | added | xion3582 | @NoamD.Elkies I asked about this in a recent question on which you commented. I'm wondering if you could elaborate on the requisite linear algebra to be done modulo 2 (perhaps as an answer to that question)? Ideally, I would love to implement this myself in Sage for the computation of a system of totally positive units. | |
| Apr 26, 2016 at 19:59 | vote | accept | Christine McMeekin | ||
| Apr 24, 2016 at 1:24 | answer | added | Geoff Bailey | timeline score: 2 | |
| Apr 20, 2016 at 21:26 | comment | added | Noam D. Elkies | (and anything that's in gp is automatically accessible by Sage even if there's no native Sage way to do it) | |
| Apr 20, 2016 at 20:01 | comment | added | Noam D. Elkies | In gp you could do K=bnfinit(x^3+x^2-2*x-1); U=K.fu; S=bnfsignunit(K) to get a vector U of fundamental units and a matrix S of their real embeddings' signs. Then it just takes a bit of linear algebra mod 2 (possibly using matsolvemod) to construct a basis of totally positive units. | |
| Apr 20, 2016 at 19:30 | comment | added | Stefan Kohl♦ | You can find information on how to compute groups of units of number fields in Magma in Section Unit Groups of Magma's handbook. | |
| Apr 20, 2016 at 19:28 | history | edited | Christine McMeekin | CC BY-SA 3.0 |
added 110 characters in body; edited title
|
| Apr 20, 2016 at 19:07 | history | asked | Christine McMeekin | CC BY-SA 3.0 |