Grayson Jorgenson wrote: > Hi, > > I also think the new answer is likely still correct. The output in the > example is truncated to save space: > C.resolution_of_singularities(extend=True) returns a tuple with the > other elements giving maps between the patches and back to the original > curve. If those maps make sense and the curves defining the patches are > smooth the new output should be okay. > > Since the other resolution_of_singularities examples were not affected > maybe the change reflects some modification to the number field > functionality. The broken example is the only one that tests extending > the base field of the curve which needs things like the number field > embeddings and composite_field functions..
I looked at that (the full result) yesterday, here's now a diff of the full output (all three components): https://trac.sagemath.org/ticket/17254#comment:433 (AFAICS, just changed signs.) -leif > I was trying to test what happened, but ran into trouble building > #17254. I have a copy of sage at 7.4 beta1 and merged this ticket into a > test branch and ran make, but the build failed with errors complaining > about not being able to find the tarball for singular 4 at various > mirrors. Are there any extra steps needed to build this? I'm currently > trying again after make distclean; if that works I can investigate tomorrow. > > On Wednesday, September 7, 2016 at 5:16:04 PM UTC-4, Travis Scrimshaw wrote: > > Just posting with the code formatting to make it a bit more clear. > Old answer: > > | > sage:set_verbose(-1) > sage:K.<a>=QuadraticField(3) > sage:A.<x,y>=AffineSpace(K,2) > sage:C =A.curve(x^4+2*x^2+a*y^3+1) > sage:C.resolution_of_singularities( > extend=True)[0]# long time (2 seconds) > (AffinePlaneCurveover NumberFieldina0 withdefining polynomial y^4 > -4*y^2+16definedby > 24*x^2*ss1^3+24*ss1^3+(a0^3-8*a0), > AffinePlaneCurveover NumberFieldina0 withdefining polynomial y^4 > -4*y^2+16definedby > 24*s1^2*ss0 +(a0^3-8*a0)*ss0^2+(6*a0^3)*s1, > AffinePlaneCurveover NumberFieldina0 withdefining polynomial y^4 > -4*y^2+16definedby > 8*y^2*s0^4+(-4*a0^3)*y*s0^3-32*s0^2+(a0^3-8*a0)*y) > | > > The new answer: > > | > (AffinePlaneCurveover NumberFieldina0 withdefining polynomial y^4 > -4*y^2+16definedby > 24*x^2*ss1^3+24*ss1^3+(a0^3-8*a0), > AffinePlaneCurveover NumberFieldina0 withdefining polynomial y^4 > -4*y^2+16definedby > 24*s1^2*ss0 +(a0^3-8*a0)*ss0^2+(-6*a0^3)*s1, > ---------------------------------------^ > AffinePlaneCurveover NumberFieldina0 withdefining polynomial y^4 > -4*y^2+16definedby > 8*y^2*s0^4+(4*a0^3)*y*s0^3-32*s0^2+(a0^3-8*a0)*y) > ---------------^ > | -- 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.
