Singular Manual: aksaka_lib

> | ### D.12.1 aksaka_lib Library: aksaka.lib Purpose: Procedures for primality testing after Agrawal, Saxena, Kayal Authors: Christoph Mang Overview: Algorithms for primality testing in polynomial time based on the ideas of Agrawal, Saxena and Kayal. Procedures:
> D.12.1.1 fastExpt |  | a^m for numbers a,m; if a^k>n n+1 is returned
> D.12.1.2 log2 |  | logarithm to basis 2 of n
> D.12.1.3 PerfectPowerTest |  | checks if there are a,b>1, so that a^b=n
> D.12.1.4 wurzel |  | square root of number r
> D.12.1.5 euler |  | phi-function of Euler
> D.12.1.6 coeffmod |  | polynomial f modulo number n (coefficients mod n)
> D.12.1.7 powerpolyX |  | (polynomial a)^q modulo (poly r,number n)
> D.12.1.8 ask |  | ASK-Algorithm; deterministic Primality test

User manual for Singular version 4.3.1p1, 2022, generated by texi2html.