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:
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.
