Le jeudi 17 novembre 2016 22:40:12 UTC+1, Dima Pasechnik a écrit :
>
>
> git show 5b8343be
>
>
Thank you for the link. For the moment I have summarized the problem in
#21884, let's see jeroen thinks if it worth a new trac.
best regards
Frederic
> Hopefully Jeroen (in cc) can explain this cha
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 coefficient
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 =
On Thursday, November 17, 2016 at 6:34:46 PM UTC, Han Frederic wrote:
>
> With singular 4 on sage I have now:
>
> sage: P. = PolynomialRing(QQ,3, order='lex')
> sage: toto=ideal([7*a - 420*c^3 + 158*c^2 + 8*c - 7, 7*b + 210*c^3 -
> 79*c^2 + 3*c, 84*c^4 - 40*c^3 + c^2 + c])
> sage: toto.interredu
