Hi, On 17 October 2013 21:32, Joachim Durchholz <[email protected]> wrote: > Am 17.10.2013 21:16, schrieb Mateusz Paprocki: > >> Hi, >> >> On 17 October 2013 21:09, Joachim Durchholz <[email protected]> wrote: >>> >>> Just a heads-up for whoever is working on heurisch: >>> >>> I'm getting a test failure that depends on the random seed (and possibly >>> on >>> the timeout). >>> This happens on latest master. >> >> >> Can you try https://github.com/mattpap/sympy/tree/improve-heurisch? > > > Not sure whether I can - I noticed this in my work in progress, I'd have to > somehow merge that in, yet keep it separate enough that I can undo the > merge. > My git-fu isn't *that* good that I'd feel comfortable with that. > > Can you try with the random seeds I provided? > > I got these failures with --slow and a generous --timeout, somewhere around > 30-50% of test runs, so it should be readibly reproducible.
I tried it with this setup and it works for me. I'm pretty sure that I noticed this behavior a few months ago and fixed it in that branch. Basically now heurisch() doesn't depend on permutations and just does the right thing (finally and hopefully (I didn't miss anything this time)). This branch is a work in progress, but there is just one test failure (in test_integrals), so it could be merged soon. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" 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/sympy. > For more options, visit https://groups.google.com/groups/opt_out. Mateusz -- You received this message because you are subscribed to the Google Groups "sympy" 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/sympy. For more options, visit https://groups.google.com/groups/opt_out.
