Sorry for replying late. modhpsol uses a randomized algorithm, trying to reconstruct the solution by generating sufficiently many solutions modulo a prime number. However, under certain circumstances, this does not work well - mostly, if the input contains very many zeros. In this case, there are very many "fake" solutions, which only work modulo a prime or modulo a few primes, but is no solution of the original input.
Thus, this output may seve as a warning. It may make sense to display it only when debug == true, I don't know. Best wishes, Martin On Thursday, 9 December 2021 at 19:20:07 UTC+1 [email protected] wrote: > While running some of my buggy code using the Guess package, I got > spammed by many messages like so: > > number of primes > 100 > number of primes > 100 > number of primes > 100 > number of primes > 100 > ... > > A little searching through the Fricas code base seems to indicate the > ModularHermitePade package as the culprit: in modhpsol.spad at line > 1320 there's a logical branch that prints the messages: > > https://github.com/fricas/fricas/blob/master/src/algebra/modhpsol.spad#L1320 > > It seems to me like the messages are a mere status report, so maybe > they aren't important enough to warrant spamming, maybe the lines > 1320-1322 should just be removed? Not that I understand their purpose. > > On the other hand, it's pretty strange how the messages seem to happen > nondeterministically: I've run the same guess calls with the same > parameters multiple times, but only now did I get any "number of > primes" message. > > Thanks, > Neven > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/ffcfd91b-2693-44bb-a893-90b4d3131d67n%40googlegroups.com.
