|
John Cremona on Fri, 07 Sep 2007 11:18:51 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
adding Proof option to factor()
|
- To: "Pari Developers" <pari-dev@list.cr.yp.to>
- Subject: adding Proof option to factor()
- From: "John Cremona" <john.cremona@gmail.com>
- Date: Fri, 7 Sep 2007 09:18:45 +0100
- Delivery-date: Fri, 07 Sep 2007 11:18:51 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; bh=CzFxjd3+gJK9uU5fZNw3pbG2dFWrFyKemledrk/hNTc=; b=im56Nt8vmNjihpSNYK0lUoaAgYT07nMv8lGcauZmZdpKf7+XlzwRnrV+xJD02iduslSYiVXgCnwQSxHZ+IWqNepxKch0z33PgiBaalQIfUK2dmnzzgCQmYeMULMGxovBD2lC4rRhEiqupFsfKI+FgG8DeE5ysZdaZ22+lIAngIw=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=JEkty6VcLwKfVWXPw2Ch+LgjsA38HjQlVf9GYbmn2Cl8hN9txPRzahoIkwIzeYrGiZsBZ5xl6X+6cyswPrgBPcs70taR+HiHmq7BDnp3GD+HCtdLRLxkjskl3kZg74s0s4Patuth6jvr+tvSthKQPDWtOdGGqvQqmEERj3P+Fms=
- Mailing-list: contact pari-dev-help@list.cr.yp.to; run by ezmlm
The factor() function for integers (i.e. factorint()) does not provide
factors which are proved to be prime, unless they are are < 10^15,
accoriding to the manual. The manual recommends using isprime() in
circumstances where proven primes are required.
Could we add another flag to the function which defaults to 0 but if
set does the proving step too? I use pari's factor() in mwrank and am
not happy that I cannot guarantee results because of this, and it
would be a lot easier to just add af lag to the call I make to
factor().
--
John Cremona