# Primality proving for 'near-powers'

1. Sep 7, 2008

### CRGreathouse

Is there a method for proving the primality of large numbers of the form
$$a^b+c$$
where a and c are of similar size? I'm looking for something faster than a general primality prover like PRIMO, or a comment like "I know of no such method".

2. Sep 7, 2008

### Hurkyl

Staff Emeritus
3. Sep 7, 2008

### CRGreathouse

I'm looking to prove primality, not factor. I'm looking for an analogue of SNFS for primality.

4. Sep 7, 2008

### Hurkyl

Staff Emeritus
Good point. Sorry 'bout that.

5. Sep 7, 2008

### CRGreathouse

:uhh: Frankly, I did *exactly* the same thing myself: I said "that's a perfect SNFS form!" and Googled to find a good client... until I realized that I was searching for the wrong thing.

Can you verify that you know of no algorithm/program/whatever to do this quickly? That way, if I resort to some standard method like ECPP, I won't feel like I'm doing it an unreasonably hard way.