Hi David, On Friday 04 Apr 2014 10:34:57 David Kohel wrote: > Dear all, > > First of all, in the context of modules there should be no confusion about > the terminology "lattice" (as opposed to a lattice poset in combinatorics). > There is little doubt that modules with bilinear pairings are ubiquitous in > mathematics, but precisely that poses problems with differing conventions > for the differing domains of mathematics. > > Before someone goes too far in reinventing the wheel, I should point out > that a datastructure for lattices already exists since 2007-2008. Around > this time (at a Sage days), I think I also looked into linking in some > lattice > reduction algorithms (LLL & BKZ), but they never migrated upstream to Sage.
I did look at those data structures (FreeQuadraticModule) and I did ask about it on [sage-devel] but got almost no response. Maybe no one reads [sage-devel] any more? https://groups.google.com/d/msg/sage-devel/AZH4XjjRHkE/-6a7QEIeYlEJ I asked about it because it seems no one seems to have touched those data structures in years and because I failed to interact with it the way I wanted. In my world I think of a lattice as given by a basis and my bases are over the integers. I failed to construct that. However, revisiting that, it seems I was an idiot and I merely need: sage: ZZn = FreeModule(ZZ, 10) sage: B = random_matrix(ZZ, 10, 10) # <- my basis sage: L = ZZn.submodule(B) I guess I could move my new class (specialising to ZZ) at http://trac.sagemath.org/ticket/15976 to fit into there and add a short-hand constructor? Cheers, Martin -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
