Re: [fricas-devel] interpret output of the guessing package

2022-08-28 Thread Waldek Hebisch
On Wed, Aug 24, 2022 at 09:42:54AM +0200, Ralf Hemmecke wrote: > > A recurrence for the primes is of course a dream, but why does guess gives > me something for > > guess([2,3,5,7,11,13]) > > and > > guess([2,3,5,7,11,13,17,19]) > > but returns the empty list for guess([2,3,5,7,11,13,17])?

Re: [fricas-devel] interpret output of the guessing package

2022-08-24 Thread Kurt Pagani
On 24.08.2022 09:42, Ralf Hemmecke wrote: >> The reason that the innermost terms (i.e., the factors in the product > > Still there is the question, how am I supposed to take the result apart for > further computation. That should be explained somewhere. You cannot expect > your > users to

Re: [fricas-devel] interpret output of the guessing package

2022-08-24 Thread Waldek Hebisch
On Wed, Aug 24, 2022 at 09:42:54AM +0200, Ralf Hemmecke wrote: > > Still there is the question, how am I supposed to take the result apart for > further computation. That should be explained somewhere. You cannot expect > your users to know how the internals of Expression(Integer) are to be >

Re: [fricas-devel] interpret output of the guessing package

2022-08-24 Thread 'Martin R' via FriCAS - computer algebra system
I do not know how to take the result apart for further computations. What you can do is "eval(result, n=17)". Also, there is "getEq$RECOP" which gives you the equation of a recurrence. The result is obtained by taking quotients and differences and then applying interpolation to the resulting

Re: [fricas-devel] interpret output of the guessing package

2022-08-24 Thread Ralf Hemmecke
The reason that the innermost terms (i.e., the factors in the product indexed by p_5 in your output) are given as a recurrence rather than the seemingly equivalent function f(p_5) = 1 is that they are in fact not equivalent. Yes, I understand this recurrence aspect. The recurrence (p - 1)

Re: [fricas-devel] interpret output of the guessing package

2022-08-23 Thread 'Martin R' via FriCAS - computer algebra system
The reason that the innermost terms (i.e., the factors in the product indexed by p_5 in your output) are given as a recurrence rather than the seemingly equivalent function f(p_5) = 1 is that they are in fact not equivalent. The recurrence (p - 1) f(p) + p - 1 = 0 is satisfied also by f(0) =

Re: [fricas-devel] interpret output of the guessing package

2022-08-23 Thread Neven Sajko
BTW, QuickLaTeX may be more convenient than a real TeX installation for cases like these: https://quicklatex.com -- 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

Re: [fricas-devel] interpret output of the guessing package

2022-08-23 Thread Neven Sajko
On Tue, 23 Aug 2022 at 16:26, Ralf Hemmecke wrote: > > Martin, Waldek, > > can you tell me how I am supposed to interpret the result of this: > > (153) -> guess([2,3,5,7,11,13,17,19]) > > (153) > [ > s - 1 p - 1s - 1 > n - 18 7 6 >

Re: [fricas-devel] interpret output of the guessing package

2022-08-23 Thread Ralf Hemmecke
OK the part inside the [] brackets should be interpreted as (let me solve that equation): f(p5)=(1-p5)/(p5-1). So except for p5=1 f(p5)=-1 and can be anything if p5=1. Hmmm... Does that make sense? f(1) arbitrary? I think the guessing package must improve on the output. Have you seen that

Re: [fricas-devel] interpret output of the guessing package

2022-08-23 Thread Waldek Hebisch
On Tue, Aug 23, 2022 at 04:26:02PM +0200, Ralf Hemmecke wrote: > Martin, Waldek, > > can you tell me how I am supposed to interpret the result of this: > > (153) -> guess([2,3,5,7,11,13,17,19]) > >(153) >[ >s - 1 p - 1s - 1 >n - 18 7 6 >

[fricas-devel] interpret output of the guessing package

2022-08-23 Thread Ralf Hemmecke
Martin, Waldek, can you tell me how I am supposed to interpret the result of this: (153) -> guess([2,3,5,7,11,13,17,19]) (153) [ s - 1 p - 1s - 1 n - 18 7 6 --+++-++--+ ++-++ > | | > - | |