> It was fun to read that the day after reading that M-ma gets some
> small integer determinants wrong!
>
Of course, and now what?
Does Sage a better job? # (attention, I'm needling and trolling):
Sage even fails to compute minimal associated primes of the unit ideal
correctly:
R.<x,y> = QQ[x,y];
I = Ideal(R(1));
I.minimal_associated_primes()
#[Ideal (1) of Multivariate Polynomial Ring in x, y over Rational Field]
Sage did make progress in improving the QA in comparison to others.
Still, in my opinion Sage has to to improve the culture of QA even more,
increase
the sensivity to missed special cases
and maybe spread this quality assurance culture among the other groups ,
e.g. to those who develop packages which are used by Sage.
Jakob
Am Freitag, 24. Oktober 2014 18:21:43 UTC+2 schrieb John Cremona:
>
> To quote from a posting today to the nmbrthry mailing list:
>
> "Here I report my related discovery concerning zeta(3) involving the
> harmonic numbers
>
> H(n) = Sum_{k=1}^n 1/k (n = 1,2,3,...).
>
> On October 22, 2014 I found that
>
> zeta(3) = Sum_{k>0} (3*H(k)-1/k)/(k^2*binom(2k,k))
> . (1)
>
> Via the Mathematica command
>
>
> FullSimplify[Sum[(3*HarmonicNumber[k]-1/k)/(k^2*Binomial[2k,k]),{k,1,Infinity}]],
>
>
>
> Mathematica 9 could yield the desired result zeta(3) half an hour later.
> So, (1) does have a proof."
>
> It was fun to read that the day after reading that M-ma gets some
> small integer determinants wrong!
>
> John
>
> On 24 October 2014 17:16, Jori Mantysalo <jori.ma...@uta.fi <javascript:>>
> wrote:
> > On Fri, 24 Oct 2014, Jakob Kroeker wrote:
> >
> >> Does Sage warn somehow the user if a user calls a function which is
> >> *known* to be buggy?
> >
> >
> > Sometimes, but for example
> >
> > On Fri, 24 Oct 2014, Jean-Pierre Flori wrote:
> >
> >> We're stuck at http://trac.sagemath.org/ticket/17184.
> >> I've also posted on Singular forum:
> >
> >
> > I know that Singular versions 3.x has a heisenbug, it stucks sometimes
> when
> > factoring multivariate polynomials over rationals. There is no warning
> > message.
> >
> > (But of course user do not get wrong answer, if there is no answer at
> all.)
> >
> > --
> > Jori Mäntysalo
> >
> >
> > --
> > 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+...@googlegroups.com <javascript:>.
> > To post to this group, send email to sage-...@googlegroups.com
> <javascript:>.
> > 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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
