[seqfan] Re: A000000 (proved/proven)

[Joerg Arndt]

Your second link says proven is OK, but math is not mentioned.
So (e.g.) I assume I need not modify the following
 (snippets, not a running text):
------------
In general, the factorization of $p-1$ can contain large factors
whose primality needs to be proven.

For numbers of the form $p=q\cdot{}2^t+1$ with $q$ odd and $2^t>q$
primality can be proven as follows: [...]

// If false is returned, then n is proven composite (also for n=1 or n=0).

  if ( !is_strong_pseudo_prime(n, a, q, t) )  return false;  // proven composite
------------

As a matter of taste (and using American English),
should any/all of these be changed?



* Robert Israel <israel at math.ubc.ca> [Jun 16. 2010 22:29]:
> 
> 
> On Wed, 16 Jun 2010, N. J. A. Sloane wrote:
> 
> > PS and the past tense of "to prove" is "proved", not "proven".
> >
> >> conjectured to be empty or proven empty.
> >
> >
> > Best regards
> > 			 Neil
> 
> The past tense is "proved", but the past participle and attributive 
> adjective can be either "proved" or "proven".  See e.g.
> <http://forum.wordreference.com/showthread.php?t=54120>
> <http://books.google.ca/books?id=2yJusP0vrdgC&pg=PA784>
> 
> Robert Israel                                israel at math.ubc.ca
> Department of Mathematics        http://www.math.ubc.ca/~israel 
> University of British Columbia            Vancouver, BC, Canada
> 
> 
> _______________________________________________
> 
> Seqfan Mailing list - http://list.seqfan.eu/