On Nov 26, 8:18 am, Christian Stump <christian.st...@gmail.com> wrote: > I agree that I could add this, though the term "gen" or "gens" is a little > stretched in this context.
That will REALLY help discoverability, since that's what anyone with a little sage experience expects to work. > In which sense do exp( 2 pi i / n ) for all n > generate the UCF ? They certainly do generate it as an algebra over QQ, but > this is far from minimal I don't think minimality of the generators used to present an object was ever claimed. If you specify a group by generators and relations, they are often not a minimal set. I think the Zumbroich basis is less obvious, since that is not conveniently accessed by an integer. Hence, giving primitive roots back is probably the least surprising. The fact that they don't generate UCF "freely" is going to be an issue for specifying homomorphisms from UCF, but since UCF is not finitely generated, that's tricky anyway. > - Concerning the startup time, I would appreciate if someone could check > how much the generation of the UCF influences the startup time. It's a matter of death by a thousand cuts. Adding MORE stuff is not going to help startup time. If you import it lazily impact should be minimal (plus, UCF won't be affecting the coercion infrastructure until it actually gets used). How difficult is it to ensure that multiple cyclotomic fields can be created? They are all isomorphic, of course, but not canonically so, so you might as well allow for multiple ones. The "UniqueParent" means they have to have a distinguishing property upon creation, which is usually a "name=.." argument for the generator(s), determining a the print name (which you can let default to "E" if you so desire). -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
