Re: [sage-devel] Re: Some Magma help

2018-10-31 Thread Kannappan Sampath
Dear Simon:

Thank you for your email!

I think our definition of a lattice should be (!) identical over ZZ. But I
think that the techniques one needs to compute Hecke operators will involve
enumerating short vectors in lattices. (Moreover, the structure theory for
a finitely generated module over an arbitrary Dedekind domain, while
analogous, is presumably computationally involved.

In any case, I will be happy to take a look at the code once I am up to
speed with GIT and the trac server!

   Best,
   Kannappan


-
*Kannappan Sampath*
*Graduate Student*

Department of Mathematics | University of Michigan
EH Rm 3080 | kn...@umich.edu


On Wed, Oct 31, 2018 at 11:03 AM Simon Brandhorst 
wrote:

> Dear Kannappan,
>
> what is your definition of a lattice? I am working on some functionality
> for quadratic forms/lattices just search for QuadraticForm or
> IntegralLattice. However these work only over ZZ.
> I have some code queued up to compute spinor genera, genus
> representatives, maximal overlattices. Your help in reviewing these tickets
> would be very much welcome.
>
> Best
> Simon
>
> --
> 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 https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: Some Magma help

2018-10-31 Thread Simon Brandhorst
Dear Kannappan,

what is your definition of a lattice? I am working on some functionality 
for quadratic forms/lattices just search for QuadraticForm or 
IntegralLattice. However these work only over ZZ.
I have some code queued up to compute spinor genera, genus representatives, 
maximal overlattices. Your help in reviewing these tickets would be very 
much welcome.

Best
Simon

-- 
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.