Changelog
[v1.1.0] 2025-07-21
- Performance Optimization: Refactored the
product/4
function in AKSPrimalityTest
module to use tuples instead of maps for better performance- Replaced map-based coefficient storage with tuple-based storage
- Simplified the result processing by using
put_elem/3
and elem/2
operations - Removed unnecessary map-to-list conversion and sorting operations
- Updated version from 1.0.0 to 1.1.0 in mix.exs
[v1.0.0] 2025-07-21
- Initial Release: Complete implementation of the AKS (Agrawal-Kayal-Saxena) primality test algorithm
- Core Algorithm: Pure Elixir implementation of the deterministic polynomial-time primality test
- Perfect Power Detection: Efficient detection of perfect powers using the
PerfectPower
module - GCD Calculations: Fast GCD computations using the
LehmerGcd
module - Prime Factorization: Support for prime factorization using the
PrimeFactorization
module - Type Safety: Full type specifications for all functions with
@spec
annotations - Comprehensive Documentation: Detailed mathematical documentation with KaTeX math rendering
- Mathematical Foundation: Implementation based on the original AKS paper with proper polynomial arithmetic
- Deterministic Results: Always provides correct answers (no probabilistic uncertainty)
- Polynomial Time Complexity: Runs in O((log n)¹²) time
- Well-Tested: Comprehensive test suite covering various edge cases and known primes/composites