Mike Hirschhorn points out that since a regular CF with geometrically progressing terms can be normalized to have geometrically progressing numerators and constant denominators, e.g., 1 c + ----------------- c 1 - + ------------- q c 1 -- + -------- 2 c 1 q -- + --- 3 . q . . = q (--) 2 c c (1 + ------------) 3 q (--) 2 c 1 + -------- 5 q (--) 2 c 1 + ---- . . . his paper, web.maths.unsw.edu.au/~mikeh/webpapers/paper12.pdf gives alternative expressions for the geometric denominators CF below (which include the Rogers-Ramanujan CF). The general formula in the mitslides.pdf allows denominator(k) = a/q^k + b, which seems neither fish nor fowl. --rwg On Thu, Dec 8, 2011 at 1:43 PM, Bill Gosper <billgosper@gmail.com> wrote:
MikeS>
Great! I'd love to see the rest of the slides.
They're pretty cryptic: http://gosper.org/mitslides.pdf
MikeS> I take it the denominator in each sum is the generalized q-Pochhammer symbol described at the bottom of the page here:http://mathworld.wolfram.com/q-PochhammerSymbol.html
Precisely. (eqn 18) Here's the lhs written out:
[bagbiting wrap-happy GMail.]
Numerically, for c=1, q=1/2,
(c107) CF(RECTFORM(APPLY_NOUNS(POCHSIMP(APPLY_NOUNS(SUBST([Q = 5.0b-1,C = 1,INF = 15],D94[1]))))));
(d107) [1, 2, 4, 8, 16, 32, 64, 128, 260]
(This container was filled at the manufacturing facility, but some settling may have occurred during shipping.) [...]
On Thu, Dec 8, 2011 at 5:46 AM, Bill Gosper <billgosper@gmail.com <http://gosper.org/webmail/src/compose.php?send_to=billgosper%40gmail.com>> wrote:> I just stumbled upon slides from some forgotten talk containing a matrix> sketch of> an identity which specializes to> 2> n> inf 2 -- - n/2> ==== n n 2> \ (- 1) %i q> (c + %i) > ---------------------> / n %i> ==== c (- --, - q; - q)> n = 0 c n> ------------------------------------> 2> n> inf 2 -- + n/2> ==== n 2> \ %i q> > --------------------> / n %i q> ==== c (- q, ----; - q)> n = 0 c n>> => 1> c + -----------------> c 1> - + -------------> q c 1> -- + --------> 2 c 1> q -- + ---> 3 .> q .> .>>> (Sorry, no Mma. It was being unusably, inconceivably stupid on this.)> --rwg>[...]