FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

bpo-40028: Add is_prime, factorise, previous_prime and next_prime by remilapeyre · Pull Request #19918 · python/cpython · GitHub

Repository navigation

bpo-40028: Add is_prime, factorise, previous_prime and next_prime - #19918

Closed
remilapeyre wants to merge 3 commits into
python:masterfrom
remilapeyre:bpo-40028
Closed

remilapeyre wants to merge 3 commits into
python:masterfrom
remilapeyre:bpo-40028

Conversation

remilapeyre commented May 5, 2020 •
edited by bedevere-bot
Loading

Copy link
Copy Markdown
Contributor

Comment thread Lib/imath.py
i += 1


def _factorise(n):

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Something like this would help to not exceed maximum recursion depth:

def _factorise(n):
    stack = [n]
    while stack:
        n = stack.pop()
        if is_prime(n):
            yield n
        else:
            d = _rho_pollard(n)
            stack += [n//d, d]

_factorise could perhaps then be in-lined, since it seems like factorise doesn't do too much on its own.
This then passes the test set(factorise(2**10000)) == {2}.

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Thanks!

Comment thread Lib/imath.py Outdated
Comment thread Lib/imath.py
while q & 1 == 0:
t += 1
q >>= 1
u = (n-1)//(2**t)

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

Is there a reason to recompute u here when its value should be the same as q?

Comment thread Lib/imath.py
n -= 2


def _rho_pollard(n):

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

The following should be exactly the same algorithm, just refactored a little bit, and it runs a little faster for a few tests by my measurements.

def _rho_pollard(n):
    # From https://en.wikipedia.org/wiki/Pollard%27s_rho_algorithm
    # and https://en.wikipedia.org/wiki/Cycle_detection#Brent.27s_algorithm
    tortoise = hare = 2
    power = 1
    _gcd = gcd
    _repeat = itertools.repeat
    while True:
        # Double the length of the run each time
        for _ in _repeat(None, power):
            hare = (hare**2 + 1) % n
            d = _gcd(hare-tortoise, n)
            if d == 1:
                continue
            elif d == n:
                # failure; start another
                tortoise = hare = randrange(n)
                power = 1
                break
            else:
                return d
        else: # no break
            tortoise = hare
            power *= 2

Changes (feel free to pick and choose as you desire):

  • starting at 2 rather than random seems to do good things
  • Limit the Python int comparisons to one per inner loop
    • Factor out the inner loop as a repeat (a little faster than range()), making c code do the comparisons
  • making _gcd and _repeat local variables helps a little.

Rémi Lapeyre and others added 2 commits May 22, 2020 11:46
Co-authored-by: Dennis Sweeney <36520290+sweeneyde@users.noreply.github.com>

tiran left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choose a reason Spam Abuse Off Topic Outdated Duplicate Resolved Low Quality

The BPO was closed by @mdickinson

I suggest that your PR into a PyPI package and get feedback from the community.

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants


Back | FazBrowse Home | New Git URL