[sage-devel] Re: Quaternion Algebra on Q(i) and Cocompact/Uniform Lattices in SL2(Z[i])

2009-07-10 Thread Leonard Foret
Thanks John! On Jul 10, 4:04 am, John Cremona wrote: > I forwarded the whole thread to sage-nt (which I see you have joined, > Lenny) and changed the title there, > > John > > 2009/7/10 Leonard Foret : > > > > > Is possible to change the name of this discussion?  I made a mistake, > > the lattic

[sage-devel] Re: Quaternion Algebra on Q(i) and Cocompact/Uniform Lattices in SL2(Z[i])

2009-07-10 Thread John Cremona
I forwarded the whole thread to sage-nt (which I see you have joined, Lenny) and changed the title there, John 2009/7/10 Leonard Foret : > > Is possible to change the name of this discussion? I made a mistake, > the lattice is in SL(2, CC) and not SL(2, Z[i]). > > Lenny > > On Jul 9, 8:02 pm, L

[sage-devel] Re: Quaternion Algebra on Q(i) and Cocompact/Uniform Lattices in SL2(Z[i])

2009-07-09 Thread Leonard Foret
Is possible to change the name of this discussion? I made a mistake, the lattice is in SL(2, CC) and not SL(2, Z[i]). Lenny On Jul 9, 8:02 pm, Leonard Foret wrote: > Excellent, will do.  That was my original idea, but I was thrown off a > bit by the request for membership.  Anyway, the request

[sage-devel] Re: Quaternion Algebra on Q(i) and Cocompact/Uniform Lattices in SL2(Z[i])

2009-07-09 Thread Leonard Foret
Excellent, will do. That was my original idea, but I was thrown off a bit by the request for membership. Anyway, the request went through so I'll re-post this there. Thanks, Lenny On Jul 9, 4:24 am, John Cremona wrote: > It's clear what your algebra is:  over the base field K=Q(i) it's the >

[sage-devel] Re: Quaternion Algebra on Q(i) and Cocompact/Uniform Lattices in SL2(Z[i])

2009-07-09 Thread John Cremona
It's clear what your algebra is: over the base field K=Q(i) it's the quaternion algebra with parameters 2,5. I think that sage-nt would be a better forum for this than sage-devel. Ask to join (at http://groups.google.co.uk/group/sage-nt). John 2009/7/9 Leonard Foret : > > The problem is about

[sage-devel] Re: Quaternion Algebra on Q(i) and Cocompact/Uniform Lattices in SL2(Z[i])

2009-07-08 Thread Leonard Foret
The problem is about finding co-compact lattices in SL(2, C) by using quaternion algebras. The example we are working out now is based on the Quaternion algebra over Q(i) defined by the quadratic extension Q(i)[X]/(X^2 - 2) and additional (non-commutative) relation s^2 = 5. We need the algebra

[sage-devel] Re: Quaternion Algebra on Q(i) and Cocompact/Uniform Lattices in SL2(Z[i])

2009-07-07 Thread William Stein
On Sat, Jul 4, 2009 at 8:39 PM, Leonard Foret wrote: > > Hello all, > > This is my first time in sage-devel.  I have a project with a > professor til the end of August to construct cocompact/uniform > lattices on SL2(Z[i]) basically by quaternion algebras. What is a "lattice on SL2(Z[i])"? >  I