### 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.4.1, 2025, generated by texi2html.