On Thursday, November 17, 2016 at 9:19:45 PM UTC, Han Frederic wrote: > > But it looks that the normalisation was in sage singular interface: > The interred_libsingular function of > multi_polynomial_ideal_libsingular.pyx > > ends in sage 7.4beta5 like this: > > # divide head by coefficients > if r.ringtype == 0: > for j from 0 <= j < IDELEMS(result): > p = result.m[j] > if p: > n = p_GetCoeff(p,r) > n = r.cf.nInvers(n) > result.m[j] = pp_Mult_nn(p, n, r) > p_Delete(&p,r) > n_Delete(&n,r) > > id_Delete(&i,r) > > res = > sorted(singular_ideal_to_sage_sequence(result,r,I.ring()),reverse=True) > > id_Delete(&result,r) > return res > > but in 7.5beta2 it is: > # divide head by > coefficients > if r.cf.type == n_unknown: >
git show 5b8343be Hopefully Jeroen (in cc) can explain this change. > > for j from 0 <= j < > IDELEMS(result): > p = > result.m[j] > if > p: > n = > p_GetCoeff(p,r) > n = r.cf.cfInvers(n,r.cf) > > > result.m[j] = pp_Mult_nn(p, n, > r) > > p_Delete(&p,r) > > > n_Delete(&n,r) > > > > > > id_Delete(&i,r) > > > > > > res = > sorted(singular_ideal_to_sage_sequence(result,r,I.ring()),reverse=True) > > > > > > > id_Delete(&result,r) > > > return > res > > > > > > > > -- 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.
