{"action":"created","comment":{"url":"https://api.github.com/repos/cartazio/arithmoi/pulls/comments/218619835","pull_request_review_id":156600139,"id":218619835,"node_id":"MDI0OlB1bGxSZXF1ZXN0UmV2aWV3Q29tbWVudDIxODYxOTgzNQ==","diff_hunk":"@@ -0,0 +1,86 @@\n+-- |\n+-- Module:      Math.NumberTheory.Zeta.Hurwitz\n+-- Copyright:   (c) 2018 Alexandre Rodrigues Baldé\n+-- Licence:     MIT\n+-- Maintainer:  Alexandre Rodrigues Baldé <alexandrer_b@outlook.com>\n+-- Stability:   Provisional\n+-- Portability: Non-portable (GHC extensions)\n+--\n+-- Hurwitz zeta function.\n+\n+{-# LANGUAGE ScopedTypeVariables #-}\n+\n+module Math.NumberTheory.Zeta.Hurwitz\n+  ( zeta\n+  ) where\n+\n+import Data.List                      (zipWith4)\n+\n+import Math.NumberTheory.Recurrencies (bernoulli, factorial)\n+import Math.NumberTheory.Zeta.Utils   (skipOdds, suminf)\n+\n+-- | Value of Hurwitz zeta function evaluated at @ζ(s, a)@ with\n+-- @forall t1 t2 . (Floating t1, Ord t1, Integral t2) => s ∈ t2, a ∈ t1@.\n+-- The algorithm used was based on the Euler-Maclaurin formula and was derived\n+-- from the <https://dlmf.nist.gov/25.11#iii Digital Library of Mathematical Functions>\n+-- by the <https://www.nist.gov/ National Institute of Standards and Technology (NIST)>,\n+-- formula 25.11.5.\n+zeta :: forall a b . (Floating a, Ord a, Integral b) => a -> b -> a -> a","path":"Math/NumberTheory/Zeta/Hurwitz.hs","position":28,"original_position":28,"commit_id":"91581066e675651f4145d87fd9d1ec79a76b3e05","original_commit_id":"91581066e675651f4145d87fd9d1ec79a76b3e05","user":{"login":"Bodigrim","id":2293557,"node_id":"MDQ6VXNlcjIyOTM1NTc=","avatar_url":"https://avatars3.githubusercontent.com/u/2293557?v=4","gravatar_id":"","url":"https://api.github.com/users/Bodigrim","html_url":"https://github.com/Bodigrim","followers_url":"https://api.github.com/users/Bodigrim/followers","following_url":"https://api.github.com/users/Bodigrim/following{/other_user}","gists_url":"https://api.github.com/users/Bodigrim/gists{/gist_id}","starred_url":"https://api.github.com/users/Bodigrim/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Bodigrim/subscriptions","organizations_url":"https://api.github.com/users/Bodigrim/orgs","repos_url":"https://api.github.com/users/Bodigrim/repos","events_url":"https://api.github.com/users/Bodigrim/events{/privacy}","received_events_url":"https://api.github.com/users/Bodigrim/received_events","type":"User","site_admin":false},"body":"Let us name it `zetaHurwitz` or something else, different from `zeta`. Just to avoid confusion with Riemann zeta.","created_at":"2018-09-18T22:50:56Z","updated_at":"2018-09-18T22:50:56Z","html_url":"https://github.com/cartazio/arithmoi/pull/126#discussion_r218619835","pull_request_url":"https://api.github.com/repos/cartazio/arithmoi/pulls/126","author_association":"COLLABORATOR","_links":{"self":{"href":"https://api.github.com/repos/cartazio/arithmoi/pulls/comments/218619835"},"html":{"href":"https://github.com/cartazio/arithmoi/pull/126#discussion_r218619835"},"pull_request":{"href":"https://api.github.com/repos/cartazio/arithmoi/pulls/126"}}},"pull_request":{"url":"https://api.github.com/repos/cartazio/arithmoi/pulls/126","id":207871257,"node_id":"MDExOlB1bGxSZXF1ZXN0MjA3ODcxMjU3","html_url":"https://github.com/cartazio/arithmoi/pull/126","diff_url":"https://github.com/cartazio/arithmoi/pull/126.diff","patch_url":"https://github.com/cartazio/arithmoi/pull/126.patch","issue_url":"https://api.github.com/repos/cartazio/arithmoi/issues/126","number":126,"state":"open","locked":false,"title":"[#125] Implement Hurwitz zeta function","user":{"login":"rockbmb","id":16455833,"node_id":"MDQ6VXNlcjE2NDU1ODMz","avatar_url":"https://avatars0.githubusercontent.com/u/16455833?v=4","gravatar_id":"","url":"https://api.github.com/users/rockbmb","html_url":"https://github.com/rockbmb","followers_url":"https://api.github.com/users/rockbmb/followers","following_url":"https://api.github.com/users/rockbmb/following{/other_user}","gists_url":"https://api.github.com/users/rockbmb/gists{/gist_id}","starred_url":"https://api.github.com/users/rockbmb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rockbmb/subscriptions","organizations_url":"https://api.github.com/users/rockbmb/orgs","repos_url":"https://api.github.com/users/rockbmb/repos","events_url":"https://api.github.com/users/rockbmb/events{/privacy}","received_events_url":"https://api.github.com/users/rockbmb/received_events","type":"User","site_admin":false},"body":"Closes #125. Still a WIP.","created_at":"2018-08-13T05:10:29Z","updated_at":"2018-09-18T22:50:56Z","closed_at":null,"merged_at":null,"merge_commit_sha":"749ae26f6cffbe95fc09c11f4e557b5a55419653","assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[],"milestone":null,"commits_url":"https://api.github.com/repos/cartazio/arithmoi/pulls/126/commits","review_comments_url":"https://api.github.com/repos/cartazio/arithmoi/pulls/126/comments","review_comment_url":"https://api.github.com/repos/cartazio/arithmoi/pulls/comments{/number}","comments_url":"https://api.github.com/repos/cartazio/arithmoi/issues/126/comments","statuses_url":"https://api.github.com/repos/cartazio/arithmoi/statuses/91581066e675651f4145d87fd9d1ec79a76b3e05","head":{"label":"rockbmb:hurwitz-zeta","ref":"hurwitz-zeta","sha":"91581066e675651f4145d87fd9d1ec79a76b3e05","user":{"login":"rockbmb","id":16455833,"node_id":"MDQ6VXNlcjE2NDU1ODMz","avatar_url":"https://avatars0.githubusercontent.com/u/16455833?v=4","gravatar_id":"","url":"https://api.github.com/users/rockbmb","html_url":"https://github.com/rockbmb","followers_url":"https://api.github.com/users/rockbmb/followers","following_url":"https://api.github.com/users/rockbmb/following{/other_user}","gists_url":"https://api.github.com/users/rockbmb/gists{/gist_id}","starred_url":"https://api.github.com/users/rockbmb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rockbmb/subscriptions","organizations_url":"https://api.github.com/users/rockbmb/orgs","repos_url":"https://api.github.com/users/rockbmb/repos","events_url":"https://api.github.com/users/rockbmb/events{/privacy}","received_events_url":"https://api.github.com/users/rockbmb/received_events","type":"User","site_admin":false},"repo":{"id":142463885,"node_id":"MDEwOlJlcG9zaXRvcnkxNDI0NjM4ODU=","name":"arithmoi","full_name":"rockbmb/arithmoi","private":false,"owner":{"login":"rockbmb","id":16455833,"node_id":"MDQ6VXNlcjE2NDU1ODMz","avatar_url":"https://avatars0.githubusercontent.com/u/16455833?v=4","gravatar_id":"","url":"https://api.github.com/users/rockbmb","html_url":"https://github.com/rockbmb","followers_url":"https://api.github.com/users/rockbmb/followers","following_url":"https://api.github.com/users/rockbmb/following{/other_user}","gists_url":"https://api.github.com/users/rockbmb/gists{/gist_id}","starred_url":"https://api.github.com/users/rockbmb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rockbmb/subscriptions","organizations_url":"https://api.github.com/users/rockbmb/orgs","repos_url":"https://api.github.com/users/rockbmb/repos","events_url":"https://api.github.com/users/rockbmb/events{/privacy}","received_events_url":"https://api.github.com/users/rockbmb/received_events","type":"User","site_admin":false},"html_url":"https://github.com/rockbmb/arithmoi","description":"arithmoi is currently maintained here ","fork":true,"url":"https://api.github.com/repos/rockbmb/arithmoi","forks_url":"https://api.github.com/repos/rockbmb/arithmoi/forks","keys_url":"https://api.github.com/repos/rockbmb/arithmoi/keys{/key_id}","collaborators_url":"https://api.github.com/repos/rockbmb/arithmoi/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/rockbmb/arithmoi/teams","hooks_url":"https://api.github.com/repos/rockbmb/arithmoi/hooks","issue_events_url":"https://api.github.com/repos/rockbmb/arithmoi/issues/events{/number}","events_url":"https://api.github.com/repos/rockbmb/arithmoi/events","assignees_url":"https://api.github.com/repos/rockbmb/arithmoi/assignees{/user}","branches_url":"https://api.github.com/repos/rockbmb/arithmoi/branches{/branch}","tags_url":"https://api.github.com/repos/rockbmb/arithmoi/tags","blobs_url":"https://api.github.com/repos/rockbmb/arithmoi/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/rockbmb/arithmoi/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/rockbmb/arithmoi/git/refs{/sha}","trees_url":"https://api.github.com/repos/rockbmb/arithmoi/git/trees{/sha}","statuses_url":"https://api.github.com/repos/rockbmb/arithmoi/statuses/{sha}","languages_url":"https://api.github.com/repos/rockbmb/arithmoi/languages","stargazers_url":"https://api.github.com/repos/rockbmb/arithmoi/stargazers","contributors_url":"https://api.github.com/repos/rockbmb/arithmoi/contributors","subscribers_url":"https://api.github.com/repos/rockbmb/arithmoi/subscribers","subscription_url":"https://api.github.com/repos/rockbmb/arithmoi/subscription","commits_url":"https://api.github.com/repos/rockbmb/arithmoi/commits{/sha}","git_commits_url":"https://api.github.com/repos/rockbmb/arithmoi/git/commits{/sha}","comments_url":"https://api.github.com/repos/rockbmb/arithmoi/comments{/number}","issue_comment_url":"https://api.github.com/repos/rockbmb/arithmoi/issues/comments{/number}","contents_url":"https://api.github.com/repos/rockbmb/arithmoi/contents/{+path}","compare_url":"https://api.github.com/repos/rockbmb/arithmoi/compare/{base}...{head}","merges_url":"https://api.github.com/repos/rockbmb/arithmoi/merges","archive_url":"https://api.github.com/repos/rockbmb/arithmoi/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/rockbmb/arithmoi/downloads","issues_url":"https://api.github.com/repos/rockbmb/arithmoi/issues{/number}","pulls_url":"https://api.github.com/repos/rockbmb/arithmoi/pulls{/number}","milestones_url":"https://api.github.com/repos/rockbmb/arithmoi/milestones{/number}","notifications_url":"https://api.github.com/repos/rockbmb/arithmoi/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/rockbmb/arithmoi/labels{/name}","releases_url":"https://api.github.com/repos/rockbmb/arithmoi/releases{/id}","deployments_url":"https://api.github.com/repos/rockbmb/arithmoi/deployments","created_at":"2018-07-26T16:03:30Z","updated_at":"2018-09-12T17:37:46Z","pushed_at":"2018-09-18T15:03:40Z","git_url":"git://github.com/rockbmb/arithmoi.git","ssh_url":"git@github.com:rockbmb/arithmoi.git","clone_url":"https://github.com/rockbmb/arithmoi.git","svn_url":"https://github.com/rockbmb/arithmoi","homepage":"https://github.com/cartazio/arithmoi","size":1283,"stargazers_count":0,"watchers_count":0,"language":"Haskell","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":0,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"cartazio:master","ref":"master","sha":"41f8ce9982e506454ffadbffed20a57c6d5aa584","user":{"login":"cartazio","id":4290,"node_id":"MDQ6VXNlcjQyOTA=","avatar_url":"https://avatars2.githubusercontent.com/u/4290?v=4","gravatar_id":"","url":"https://api.github.com/users/cartazio","html_url":"https://github.com/cartazio","followers_url":"https://api.github.com/users/cartazio/followers","following_url":"https://api.github.com/users/cartazio/following{/other_user}","gists_url":"https://api.github.com/users/cartazio/gists{/gist_id}","starred_url":"https://api.github.com/users/cartazio/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cartazio/subscriptions","organizations_url":"https://api.github.com/users/cartazio/orgs","repos_url":"https://api.github.com/users/cartazio/repos","events_url":"https://api.github.com/users/cartazio/events{/privacy}","received_events_url":"https://api.github.com/users/cartazio/received_events","type":"User","site_admin":false},"repo":{"id":33020002,"node_id":"MDEwOlJlcG9zaXRvcnkzMzAyMDAwMg==","name":"arithmoi","full_name":"cartazio/arithmoi","private":false,"owner":{"login":"cartazio","id":4290,"node_id":"MDQ6VXNlcjQyOTA=","avatar_url":"https://avatars2.githubusercontent.com/u/4290?v=4","gravatar_id":"","url":"https://api.github.com/users/cartazio","html_url":"https://github.com/cartazio","followers_url":"https://api.github.com/users/cartazio/followers","following_url":"https://api.github.com/users/cartazio/following{/other_user}","gists_url":"https://api.github.com/users/cartazio/gists{/gist_id}","starred_url":"https://api.github.com/users/cartazio/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cartazio/subscriptions","organizations_url":"https://api.github.com/users/cartazio/orgs","repos_url":"https://api.github.com/users/cartazio/repos","events_url":"https://api.github.com/users/cartazio/events{/privacy}","received_events_url":"https://api.github.com/users/cartazio/received_events","type":"User","site_admin":false},"html_url":"https://github.com/cartazio/arithmoi","description":"arithmoi is currently maintained here ","fork":false,"url":"https://api.github.com/repos/cartazio/arithmoi","forks_url":"https://api.github.com/repos/cartazio/arithmoi/forks","keys_url":"https://api.github.com/repos/cartazio/arithmoi/keys{/key_id}","collaborators_url":"https://api.github.com/repos/cartazio/arithmoi/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/cartazio/arithmoi/teams","hooks_url":"https://api.github.com/repos/cartazio/arithmoi/hooks","issue_events_url":"https://api.github.com/repos/cartazio/arithmoi/issues/events{/number}","events_url":"https://api.github.com/repos/cartazio/arithmoi/events","assignees_url":"https://api.github.com/repos/cartazio/arithmoi/assignees{/user}","branches_url":"https://api.github.com/repos/cartazio/arithmoi/branches{/branch}","tags_url":"https://api.github.com/repos/cartazio/arithmoi/tags","blobs_url":"https://api.github.com/repos/cartazio/arithmoi/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/cartazio/arithmoi/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/cartazio/arithmoi/git/refs{/sha}","trees_url":"https://api.github.com/repos/cartazio/arithmoi/git/trees{/sha}","statuses_url":"https://api.github.com/repos/cartazio/arithmoi/statuses/{sha}","languages_url":"https://api.github.com/repos/cartazio/arithmoi/languages","stargazers_url":"https://api.github.com/repos/cartazio/arithmoi/stargazers","contributors_url":"https://api.github.com/repos/cartazio/arithmoi/contributors","subscribers_url":"https://api.github.com/repos/cartazio/arithmoi/subscribers","subscription_url":"https://api.github.com/repos/cartazio/arithmoi/subscription","commits_url":"https://api.github.com/repos/cartazio/arithmoi/commits{/sha}","git_commits_url":"https://api.github.com/repos/cartazio/arithmoi/git/commits{/sha}","comments_url":"https://api.github.com/repos/cartazio/arithmoi/comments{/number}","issue_comment_url":"https://api.github.com/repos/cartazio/arithmoi/issues/comments{/number}","contents_url":"https://api.github.com/repos/cartazio/arithmoi/contents/{+path}","compare_url":"https://api.github.com/repos/cartazio/arithmoi/compare/{base}...{head}","merges_url":"https://api.github.com/repos/cartazio/arithmoi/merges","archive_url":"https://api.github.com/repos/cartazio/arithmoi/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/cartazio/arithmoi/downloads","issues_url":"https://api.github.com/repos/cartazio/arithmoi/issues{/number}","pulls_url":"https://api.github.com/repos/cartazio/arithmoi/pulls{/number}","milestones_url":"https://api.github.com/repos/cartazio/arithmoi/milestones{/number}","notifications_url":"https://api.github.com/repos/cartazio/arithmoi/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/cartazio/arithmoi/labels{/name}","releases_url":"https://api.github.com/repos/cartazio/arithmoi/releases{/id}","deployments_url":"https://api.github.com/repos/cartazio/arithmoi/deployments","created_at":"2015-03-28T03:45:13Z","updated_at":"2018-09-18T22:23:21Z","pushed_at":"2018-09-18T22:23:19Z","git_url":"git://github.com/cartazio/arithmoi.git","ssh_url":"git@github.com:cartazio/arithmoi.git","clone_url":"https://github.com/cartazio/arithmoi.git","svn_url":"https://github.com/cartazio/arithmoi","homepage":"https://github.com/cartazio/arithmoi","size":1288,"stargazers_count":58,"watchers_count":58,"language":"Haskell","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":32,"mirror_url":null,"archived":false,"open_issues_count":19,"license":{"key":"mit","name":"MIT License","spdx_id":"MIT","url":"https://api.github.com/licenses/mit","node_id":"MDc6TGljZW5zZTEz"},"forks":32,"open_issues":19,"watchers":58,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/cartazio/arithmoi/pulls/126"},"html":{"href":"https://github.com/cartazio/arithmoi/pull/126"},"issue":{"href":"https://api.github.com/repos/cartazio/arithmoi/issues/126"},"comments":{"href":"https://api.github.com/repos/cartazio/arithmoi/issues/126/comments"},"review_comments":{"href":"https://api.github.com/repos/cartazio/arithmoi/pulls/126/comments"},"review_comment":{"href":"https://api.github.com/repos/cartazio/arithmoi/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/cartazio/arithmoi/pulls/126/commits"},"statuses":{"href":"https://api.github.com/repos/cartazio/arithmoi/statuses/91581066e675651f4145d87fd9d1ec79a76b3e05"}},"author_association":"CONTRIBUTOR"}}
{"actor":{"display_login":"Bodigrim"}}