Then it will be much simpler to adapt. Could you update the specification of the function in the FLINT documentation then?
Vincent 2015-01-27 16:51 UTC+01:00, Bill Hart <[email protected]>: > I remember the problem now. > > resultant(R(2), R(2)) = 1 > > since it is an empty product. > > But there is no Z-linear combination of R(2) and R(2) which gives 1. So the > > input has to be disallowed. > > It's only a problem for constant polynomial inputs that are not coprime (as > > elements of Z) though. For higher degrees there are powers of the contents > that the polynomials can be multiplied by that will work. > > On Tuesday, 27 January 2015 16:28:46 UTC+1, Bill Hart wrote: >> >> For the time being I'm just going to modify Nemo. It would probably be >> inefficient to do anything else. >> >> On Tuesday, 27 January 2015 16:22:39 UTC+1, vdelecroix wrote: >>> >>> Hi Bill, >>> >>> 2015-01-27 16:16 UTC+01:00, Bill Hart <[email protected]>: >>> > This turns out not to be a bug. >>> > >>> > The documentation requires that the inputs be primitive, which in the >>> > example given, they aren't. The function does work if passed the >>> > polynomials R(1) and R(1). >>> >>> I see. Thanks I will update the trac ticket and the way we use the >>> function. >>> >>> > However, this bug also exists in Nemo. So thanks for pointing it out. I >>> > >>> can >>> > >>> > fix that, at least. >>> >>> Do you mean that you will change the specification of the FLINT >>> function or that you will only modify Nemo ? >>> >>> Vincent >>> >> > > -- > 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. > -- 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.
