[sage-devel] Re: Matrix groups are not uniquely represented, why?

2018-05-25 Thread Travis Scrimshaw
MatrixGroups are immutable and their comparison is by checking the generators (and not isomorphism), which are essentially the construction parameters (in reality, they are the corresponding GAP group). For permutation groups, the equality seems to be isomorphism. So there is no problem for Mat

[sage-devel] Re: Matrix groups are not uniquely represented, why?

2018-05-25 Thread Nils Bruin
On Friday, May 25, 2018 at 12:17:35 PM UTC-7, Simon King wrote: > > But they could still be CachedRepresentation. Then, if the same subgroup > is given by the same generators, it is identical, but if the same > subgroup is given by different generators, it is just equal but not > identical. >

[sage-devel] Re: Matrix groups are not uniquely represented, why?

2018-05-25 Thread Simon King
Hi! On 2018-05-25, Nils Bruin wrote: >> I don't see a reason off-hand why these should not be UniqueRepresentation >> subclasses. >> > > There is a very good reason why they should NOT'. Equality between > subgroups is not uniquely determined by the construction parameters. It's > part of the

Re: [sage-devel] Book Review of Stein book

2018-05-25 Thread John Cremona
On 25 May 2018 at 18:47, kcrisman wrote: > Less relevant, but still ... Also probably behind a paywall ... anyway, > this is a review of Barry Mazur and William Stein's book on the Riemann > Hypothesis by someone who knows something about writing good books about > analytic number theory and repr

Re: [sage-devel] Book Review of Stein book

2018-05-25 Thread William Stein
On Fri, May 25, 2018 at 10:47 AM, kcrisman wrote: > Less relevant, but still ... Also probably behind a paywall ... anyway, this > is a review of Barry Mazur and William Stein's book on the Riemann > Hypothesis by someone who knows something about writing good books about > analytic number theory

[sage-devel] Book Review of Stein book

2018-05-25 Thread kcrisman
Less relevant, but still ... Also probably behind a paywall ... anyway, this is a review of Barry Mazur and William Stein's book on the Riemann Hypothesis by someone who knows something about writing good books about analytic number theory and representation theory. No Sage in the review but s

[sage-devel] Re: Matrix groups are not uniquely represented, why?

2018-05-25 Thread Nils Bruin
On Friday, May 25, 2018 at 1:00:22 AM UTC-7, Travis Scrimshaw wrote: > > I believe the matrix and permutation groups are quite old code, so > UniqueRepresentation may not have been available at that time. The > permutation group code does need updating; in particular, it is still an > old-styl

Re: [sage-devel] Sage developer co-authors article on women's representation in subfields

2018-05-25 Thread Ursula Whitcher
On 5/25/2018 11:02 AM, kcrisman wrote: Unfortunately a paywall, but very interesting data and analysis relevant to mathematical software communities too - plus, Sage developer and co-author Ursula Whitcher of Math Reviews gives a shout-out to SageMath in the author bio :) https://link.springer

Re: [sage-devel] Sage developer co-authors article on women's representation in subfields

2018-05-25 Thread William Stein
On Fri, May 25, 2018 at 8:02 AM, kcrisman wrote: > Unfortunately a paywall, but very interesting data and analysis relevant to > mathematical software communities too - plus, Sage developer and co-author > Ursula Whitcher of Math Reviews gives a shout-out to SageMath in the author > bio :) > https

[sage-devel] Sage developer co-authors article on women's representation in subfields

2018-05-25 Thread kcrisman
Unfortunately a paywall, but very interesting data and analysis relevant to mathematical software communities too - plus, Sage developer and co-author Ursula Whitcher of Math Reviews gives a shout-out to SageMath in the author bio :) https://link.springer.com/article/10.1007%2Fs00283-017-9761-7

[sage-devel] Re: Matrix groups are not uniquely represented, why?

2018-05-25 Thread Travis Scrimshaw
I believe the matrix and permutation groups are quite old code, so UniqueRepresentation may not have been available at that time. The permutation group code does need updating; in particular, it is still an old-style parent: sage: S.__class__.__mro__ (, , , , , , , , , , , , ... (Si