Three-biprimality-test-comparison Implement Boneh-Franklin test, Lucas biprimality test, variant Miller-Rabin test Environment SageMath >= 9.0