Re: [sage-devel] small MAX_MODULUS in modular matrix charpoly computation

2012-03-22 Thread William Stein
On Mon, Feb 6, 2012 at 12:21 PM, John Cremona john.crem...@gmail.com wrote: Thanks! Barinder has  genuine matrices A, B which give a representation of A_4 in 26 dimensions over Q(zeta_11), i.e. A^2=I and B^3 = I and some commutator relation holds.  I was surprised when he told me that

Re: [sage-devel] small MAX_MODULUS in modular matrix charpoly computation

2012-02-13 Thread William Stein
On Mon, Feb 6, 2012 at 6:49 AM, John Cremona john.crem...@gmail.com wrote: I was trying to find eigenspaces of a 26x26 matrix over Q(zeta_11) (for a modular forms application) and ran into: RuntimeError: we ran out of primes in multimodular charpoly algorithm which on investigation led me

[sage-devel] small MAX_MODULUS in modular matrix charpoly computation

2012-02-06 Thread John Cremona
I was trying to find eigenspaces of a 26x26 matrix over Q(zeta_11) (for a modular forms application) and ran into: RuntimeError: we ran out of primes in multimodular charpoly algorithm which on investigation led me to the following lines in sage/ext/multi_modular.pyx: # We use both integer and

Re: [sage-devel] small MAX_MODULUS in modular matrix charpoly computation

2012-02-06 Thread William Stein
On Mon, Feb 6, 2012 at 6:49 AM, John Cremona john.crem...@gmail.com wrote: I was trying to find eigenspaces of a 26x26 matrix over Q(zeta_11) (for a modular forms application) and ran into: Can you make your matrix available, e.g., as an sobj on sage.math (or somewhere) that I can download.

Re: [sage-devel] small MAX_MODULUS in modular matrix charpoly computation

2012-02-06 Thread John Cremona
Thanks! Barinder has genuine matrices A, B which give a representation of A_4 in 26 dimensions over Q(zeta_11), i.e. A^2=I and B^3 = I and some commutator relation holds. I was surprised when he told me that A.eigenspaces_right() had beeen running for 2 days (though it turned out that that A

Re: [sage-devel] small MAX_MODULUS in modular matrix charpoly computation

2012-02-06 Thread John Cremona
On 6 February 2012 17:21, John Cremona john.crem...@gmail.com wrote: Thanks! Barinder has  genuine matrices A, B which give a representation of A_4 in 26 dimensions over Q(zeta_11), i.e. A^2=I and B^3 = I and some commutator relation holds.  I was surprised when he told me that