>
> "Can We Trust Computer Algebra Systems?"
>
If anyone bothers of my opinion: no.
Jakob
Am Freitag, 24. Oktober 2014 18:45:39 UTC+2 schrieb Jakob Kroeker:
>
>
> 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 <[email protected]> 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 [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.
