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. > > But before doing so, you would need to show that in common scenarios it produces a benefit. It has three significant draw-backs: - you'd slow down the creation of matrix groups in general, because you're requiring the system to first go and look if there already is an object like it. - because the object you get *may* be shared with other code, you're at the mercy of that other code to not mutate it. (and you have to behave yourself too) - it would likely introduce memory leaks (because it's the CachedRepresentation part of UniqueRepresentation that makes these leaks likely).
-- 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.
