[seqfan] Re: OEIS wiki user update

rhhardin at att.net rhhardin at att.net
Sun Dec 13 10:37:54 CET 2009


> I assume you retrieve the raw database files(?)

No, I imitate URL that the search string that the GUI would construct and use it in wget;
then run the resulting retrieved page through a script to extract what I need.

Thus off my screen right now
$ eisfinder.sh
stat101.txt 6 24 120 720 exists A000142 A047865 A052399 A061602 A068201 A122417 A130461 A131451...
stat102.txt 6 90 2520 113400 exists A000680
stat202.txt 3 21 282 6210 202410 exists A000681
stat203.txt 7 16260 747558000 exists A134645
stat204.txt nothing for 19 2385 1093050 1328792850
stat303.txt 4 55 2008 153040 20933840 exists A001500
stat306.txt nothing for 44 28681 122975608 2217051589200
stat404.txt nothing for 3 87 8515 1992760 971853075
stat406.txt nothing for 7 4705381 654393258290520
stat408.txt nothing for 19 81225 3017084995
stat505.txt nothing for 87 20112 13130451
stat510.txt nothing for 6 81225 19641294288 37642786694586601
stat606.txt nothing for 55 27636 45934340 210668680701
stat612.txt nothing for 28681 38578100932 552523141020099900
stat808.txt nothing for 6 8515 2805859246095
stat918.txt nothing for 122975608 552523141020099900

says that five of the series currently being constructed already exist in OEIS.
--
rhhardin at mindspring.com
rhhardin at att.net (either)
  










More information about the SeqFan mailing list