Top
Back: MillerRabin
Forward: PocklingtonLehmer
FastBack: atkins_lib
FastForward: hyperel_lib
Up: crypto_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.3.19 SolowayStrassen

Procedure from library crypto.lib (see crypto_lib).

Usage:
SolowayStrassen(n,k);

Return:
1 if n is prime, 0 else

Note:
probabilistic test of Soloway-Strassen with k loops to test if n is prime using the theorem: If n is prime then
powerN(a,(n-1)/2,n)=Jacobi(a,n) mod n

Example:
 
LIB "crypto.lib";
ring R = 0,z,dp;
number h=10;
number p=h^100+267;
//p=h^100+43723;
//p=h^200+632347;
SolowayStrassen(h,3);
==> 0


Top Back: MillerRabin Forward: PocklingtonLehmer FastBack: atkins_lib FastForward: hyperel_lib Up: crypto_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.