{"action":"created","issue":{"url":"https://api.github.com/repos/km-git-acc/dbn_upper_bound/issues/113","repository_url":"https://api.github.com/repos/km-git-acc/dbn_upper_bound","labels_url":"https://api.github.com/repos/km-git-acc/dbn_upper_bound/issues/113/labels{/name}","comments_url":"https://api.github.com/repos/km-git-acc/dbn_upper_bound/issues/113/comments","events_url":"https://api.github.com/repos/km-git-acc/dbn_upper_bound/issues/113/events","html_url":"https://github.com/km-git-acc/dbn_upper_bound/issues/113","id":364966551,"node_id":"MDU6SXNzdWUzNjQ5NjY1NTE=","number":113,"title":"Next steps after conditional DBN <= 0.11","user":{"login":"km-git-acc","id":35831522,"node_id":"MDQ6VXNlcjM1ODMxNTIy","avatar_url":"https://avatars1.githubusercontent.com/u/35831522?v=4","gravatar_id":"","url":"https://api.github.com/users/km-git-acc","html_url":"https://github.com/km-git-acc","followers_url":"https://api.github.com/users/km-git-acc/followers","following_url":"https://api.github.com/users/km-git-acc/following{/other_user}","gists_url":"https://api.github.com/users/km-git-acc/gists{/gist_id}","starred_url":"https://api.github.com/users/km-git-acc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/km-git-acc/subscriptions","organizations_url":"https://api.github.com/users/km-git-acc/orgs","repos_url":"https://api.github.com/users/km-git-acc/repos","events_url":"https://api.github.com/users/km-git-acc/events{/privacy}","received_events_url":"https://api.github.com/users/km-git-acc/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"mariotrevi","id":1034367,"node_id":"MDQ6VXNlcjEwMzQzNjc=","avatar_url":"https://avatars0.githubusercontent.com/u/1034367?v=4","gravatar_id":"","url":"https://api.github.com/users/mariotrevi","html_url":"https://github.com/mariotrevi","followers_url":"https://api.github.com/users/mariotrevi/followers","following_url":"https://api.github.com/users/mariotrevi/following{/other_user}","gists_url":"https://api.github.com/users/mariotrevi/gists{/gist_id}","starred_url":"https://api.github.com/users/mariotrevi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mariotrevi/subscriptions","organizations_url":"https://api.github.com/users/mariotrevi/orgs","repos_url":"https://api.github.com/users/mariotrevi/repos","events_url":"https://api.github.com/users/mariotrevi/events{/privacy}","received_events_url":"https://api.github.com/users/mariotrevi/received_events","type":"User","site_admin":false},"assignees":[{"login":"mariotrevi","id":1034367,"node_id":"MDQ6VXNlcjEwMzQzNjc=","avatar_url":"https://avatars0.githubusercontent.com/u/1034367?v=4","gravatar_id":"","url":"https://api.github.com/users/mariotrevi","html_url":"https://github.com/mariotrevi","followers_url":"https://api.github.com/users/mariotrevi/followers","following_url":"https://api.github.com/users/mariotrevi/following{/other_user}","gists_url":"https://api.github.com/users/mariotrevi/gists{/gist_id}","starred_url":"https://api.github.com/users/mariotrevi/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mariotrevi/subscriptions","organizations_url":"https://api.github.com/users/mariotrevi/orgs","repos_url":"https://api.github.com/users/mariotrevi/repos","events_url":"https://api.github.com/users/mariotrevi/events{/privacy}","received_events_url":"https://api.github.com/users/mariotrevi/received_events","type":"User","site_admin":false},{"login":"km-git-acc","id":35831522,"node_id":"MDQ6VXNlcjM1ODMxNTIy","avatar_url":"https://avatars1.githubusercontent.com/u/35831522?v=4","gravatar_id":"","url":"https://api.github.com/users/km-git-acc","html_url":"https://github.com/km-git-acc","followers_url":"https://api.github.com/users/km-git-acc/followers","following_url":"https://api.github.com/users/km-git-acc/following{/other_user}","gists_url":"https://api.github.com/users/km-git-acc/gists{/gist_id}","starred_url":"https://api.github.com/users/km-git-acc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/km-git-acc/subscriptions","organizations_url":"https://api.github.com/users/km-git-acc/orgs","repos_url":"https://api.github.com/users/km-git-acc/repos","events_url":"https://api.github.com/users/km-git-acc/events{/privacy}","received_events_url":"https://api.github.com/users/km-git-acc/received_events","type":"User","site_admin":false},{"login":"rudolph-git-acc","id":36714969,"node_id":"MDQ6VXNlcjM2NzE0OTY5","avatar_url":"https://avatars0.githubusercontent.com/u/36714969?v=4","gravatar_id":"","url":"https://api.github.com/users/rudolph-git-acc","html_url":"https://github.com/rudolph-git-acc","followers_url":"https://api.github.com/users/rudolph-git-acc/followers","following_url":"https://api.github.com/users/rudolph-git-acc/following{/other_user}","gists_url":"https://api.github.com/users/rudolph-git-acc/gists{/gist_id}","starred_url":"https://api.github.com/users/rudolph-git-acc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rudolph-git-acc/subscriptions","organizations_url":"https://api.github.com/users/rudolph-git-acc/orgs","repos_url":"https://api.github.com/users/rudolph-git-acc/repos","events_url":"https://api.github.com/users/rudolph-git-acc/events{/privacy}","received_events_url":"https://api.github.com/users/rudolph-git-acc/received_events","type":"User","site_admin":false}],"milestone":null,"comments":124,"created_at":"2018-09-28T16:53:23Z","updated_at":"2018-11-24T19:15:40Z","closed_at":null,"author_association":"OWNER","body":"@rudolph-git-acc \r\nOpening the new thread..\r\nAgree dbn &lt; 0.1 is a good place to stop. I think the tloop part could potentially also be passed through Boinc. Will try out on a smaller X to see how it goes (essentially apart from t1,t2,y parameters (appropriately chosen for each job) we would also pass an additional parameter to the boinc job - the web address of the relevant storedsums file).\r\n\r\nI will check if there are readymade scripts for RH verification to help in detailed understanding of the process involved. The one at https://www.wstein.org/simuw/misc/zeta_grid.html seems to be a dead link. Is Gourdon-Demichel's code available?"},"comment":{"url":"https://api.github.com/repos/km-git-acc/dbn_upper_bound/issues/comments/441389538","html_url":"https://github.com/km-git-acc/dbn_upper_bound/issues/113#issuecomment-441389538","issue_url":"https://api.github.com/repos/km-git-acc/dbn_upper_bound/issues/113","id":441389538,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0MTM4OTUzOA==","user":{"login":"km-git-acc","id":35831522,"node_id":"MDQ6VXNlcjM1ODMxNTIy","avatar_url":"https://avatars1.githubusercontent.com/u/35831522?v=4","gravatar_id":"","url":"https://api.github.com/users/km-git-acc","html_url":"https://github.com/km-git-acc","followers_url":"https://api.github.com/users/km-git-acc/followers","following_url":"https://api.github.com/users/km-git-acc/following{/other_user}","gists_url":"https://api.github.com/users/km-git-acc/gists{/gist_id}","starred_url":"https://api.github.com/users/km-git-acc/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/km-git-acc/subscriptions","organizations_url":"https://api.github.com/users/km-git-acc/orgs","repos_url":"https://api.github.com/users/km-git-acc/repos","events_url":"https://api.github.com/users/km-git-acc/events{/privacy}","received_events_url":"https://api.github.com/users/km-git-acc/received_events","type":"User","site_admin":false},"created_at":"2018-11-24T19:15:40Z","updated_at":"2018-11-24T19:15:40Z","author_association":"OWNER","body":"Looks great. I tested it on a range with a Rosser rule violation and got this output\r\n```\r\n./linecount 13999000 14000000 1 0 1\r\nTotal gramblocks of length 1 : 708 \r\nTotal gramblocks of length 2 : 106 \r\nTotal gramblocks of length 3 : 16 \r\nTotal gramblocks of length 4 : 8 \r\nTotal gramblocks  ========== : 838 \r\nEvaluations of Z(t) required to assess a Gram point : 1000 \r\nEvaluations of Z(t) required to fix bad Gram points : 10998 \r\nTotal evaluations of Z(t)  ======================== : 11998 \r\nAverage number of evaluations of Z(t) required for this range = 11.998 \r\nRoots of Z(t) found in Good to Good interval : 708 \r\nRoots of Z(t) found in Gramblocks G B...B G  : 290 \r\nRoots of Z(t) found in next Good to Good int.: 2 (Rosser violation Type I)\r\nTotal roots of Z(t)  ======================= : 1000 \r\nIn the range of Gram points from 13999000 to 14000000, \r\n1000 roots of Z(t) have been found on the line and 1000 in the strip.\r\nSUCCESS\r\ncpu/wall(s): 7.469 7.694\r\n```\r\nJust wanted to confirm on the zeros in strip calculation. While the answer will almost always be right, I think the ```num_zeros <= n+1``` inequality to be strict cannot be used for a range since subtraction is involved. Also it has to be established by looking at the next K gram points, as in Brent's or Pugh's paper. It may be a good idea to establish beforehand how many zeros in the strip are expected for gram range [-1,N] for different values of N, and use the grid only for line counting, with reconciliation between the two done manually at the end. Hence for eg. we could have the strip count for [-1,1000000000], [-1 2000000000], etc.\r\n\r\nWill test out this version on the grid soon. An additional thing which could be printed are the blocks where Rosser's rule is violated."}}
{"actor":{"display_login":"km-git-acc"}}