Sounds good to me. See http://trac.sagemath.org/ticket/17366.
John On Tuesday, November 18, 2014 10:42:15 AM UTC-8, Volker Braun wrote: > > Yes, DWIM and convert the argument to the ring if it is not already there. > > > > On Tuesday, November 18, 2014 6:24:12 PM UTC, John H Palmieri wrote: >> >> From #17205: >> >> sage: x, y = ZZ['x','y'].gens() >> sage: GF(1091)['x','y'].random_element().degree(x) >> 2 >> sage: GF(3037000453)['x','y'].random_element().degree(x) >> ... >> TypeError: x must be one of the generators of the parent. >> >> I don't think the behavior should be different the polynomial rings over >> GF(1091) and GF(3037000453), but I don't know what the right behavior >> should be. Should x (which is one of the generators of ZZ[x,y]) be >> automatically coerced to an element of GF(p)[x,y] when we call >> elt.degree(x)? >> >> -- >> John >> >> -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
