Never mind. Apparently, my .patch files didn't download correctly. After
grabbing new versions, this *is* fixed in #8335 for me.
--
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, sen
The patches apply just fine on my Ubuntu system, but I'm still getting the
same results
N=matrix(QQ,[[1,1],[0,1]])
T=matrix(GF(7),[[1,1],[0,1]])
L=N*T
L,L.parent()
([0 0]
[0 0], Full MatrixSpace of 2 by 2 dense matrices over Ring of integers
modulo 1)
Just to be clear I applied the three "appl
hmm. I just tried this again on my desktop (OSX 10.8) with sage 5.8. Here
the patches fail to apply on a clean clone. for the psuedo-conway patch I
get:
failed to synchronize metadata for "sage/rings/finite_rings/constructor.py"
If I forge on regardless with the other two, then I get the same
On Wednesday, April 10, 2013 5:49:20 PM UTC+2, Nils Bruin wrote:
>
> On Apr 10, 2:19 am, Jean-Pierre Flori wrote:
> > I've just built 5.8 + #8335 and this is indeed fixed, are you sure you
> > rebuilt the Sage library after applying the patches?
>
> Yes, I see. That patch changes the unique "
On Apr 10, 2:19 am, Jean-Pierre Flori wrote:
> I've just built 5.8 + #8335 and this is indeed fixed, are you sure you
> rebuilt the Sage library after applying the patches?
Yes, I see. That patch changes the unique "rank = 7" to "rank = 4.5"
in the relevant file, so that should do the trick. Did
I've just built 5.8 + #8335 and this is indeed fixed, are you sure you
rebuilt the Sage library after applying the patches?
--
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
On Wednesday, April 10, 2013 10:28:51 AM UTC+2, Nils Bruin wrote:
>
> The problem may be this:
>
> sage: S=Rationals()
> sage: R=GF(7)
> sage: from sage.categories.pushout import *
> sage: pushout(R,S)
> Ring of integers modulo 1
> sage: R_tower = construction_tower(R)
> sage: S_tower = co
The problem may be this:
sage: S=Rationals()
sage: R=GF(7)
sage: from sage.categories.pushout import *
sage: pushout(R,S)
Ring of integers modulo 1
sage: R_tower = construction_tower(R)
sage: S_tower = construction_tower(S)
sage: R_tower
[(None, Finite Field of size 7), (QuotientFunctor, Integer R
I've dealt with similar nice things at #8335 indeed.
IIRC, at some point I had to enable coercion into ZZ(1) to make thing work,
but then I thought this was really pointless and got similar doctests
failure concerning matrix multiplication, so I forbid somewhere in the
corecion model to quotient
Nope. With the three patches in #8335, I'm still getting the same behavior
on sage 5.8. Could you double check me on that?
If there isn't anywhere else that this is fixed in, I can open a separate
bug.
On Tuesday, April 9, 2013 5:54:55 PM UTC-4, David Roe wrote:
>
> I think this issue is addres
This may help:
sage:
sage.matrix.action.MatrixMatrixAction(N.parent(),T.parent()).codomain()
Full MatrixSpace of 2 by 2 dense matrices over Ring of integers modulo
1
sage: A=matrix(GF(25,'a'),[[1,1],[0,3]])
sage:
sage.matrix.action.MatrixMatrixAction(N.parent(),A.parent()).codomain()
sage: G=N.par
I think this issue is addressed at #8335, which I haven't had time to
review
David
On Tue, Apr 9, 2013 at 3:52 PM, Travis Scrimshaw wrote:
> Hey,
>I'm pretty sure that's a bug since there is no coercion map between QQ
> and GF(7) ( which is different than calling GF(7)(1/5) ). Here's so
Hey,
I'm pretty sure that's a bug since there is no coercion map between QQ
and GF(7) ( which is different than calling GF(7)(1/5) ). Here's some of
the other tests I tried:
sage: T=matrix(GF(7),[[1,1],[0,3]])
sage: (N*T).parent()
Full MatrixSpace of 2 by 2 dense matrices over Ring of integer
13 matches
Mail list logo
