Did you know ... | Search Documentation: |
Pack nan_numerics_prime -- test/session.txt |
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
?- pack_install('<path>/nan_numerics_prime-<ver>.zip')
.
?- pack_install(nan_numerics_prime)
.
?- use_module(library('../Code/nan_numerics_prime'))
.
?- use_module(library('../prolog/nan_numerics_prime'))
.
?- use_module(library(nan_numerics_prime))
.
?- prime_mem_clear. true.
?- time((prime_gen(1,1000,P),format('~d,',[P]),fail))
;true.
2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331,337,347,349,353,359,367,373,379,383,389,397,401,409,419,421,431,433,439,443,449,457,461,463,467,479,487,491,499,503,509,521,523,541,547,557,563,569,571,577,587,593,599,601,607,613,617,619,631,641,643,647,653,659,661,673,677,683,691,701,709,719,727,733,739,743,751,757,761,769,773,787,797,809,811,821,823,827,829,839,853,857,859,863,877,881,883,887,907,911,919,929,937,941,947,953,967,971,977,983,991,997,
% 13,367 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
true.
?- time((prime_gen(1,1000,P),format('~d,',[P]),fail))
;true.
2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97,101,103,107,109,113,127,131,137,139,149,151,157,163,167,173,179,181,191,193,197,199,211,223,227,229,233,239,241,251,257,263,269,271,277,281,283,293,307,311,313,317,331,337,347,349,353,359,367,373,379,383,389,397,401,409,419,421,431,433,439,443,449,457,461,463,467,479,487,491,499,503,509,521,523,541,547,557,563,569,571,577,587,593,599,601,607,613,617,619,631,641,643,647,653,659,661,673,677,683,691,701,709,719,727,733,739,743,751,757,761,769,773,787,797,809,811,821,823,827,829,839,853,857,859,863,877,881,883,887,907,911,919,929,937,941,947,953,967,971,977,983,991,997,
% 1,406 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
true.
?- H1 is 10^3,findall(P,prime_gen(1,H1,P),Ps)
,findall(P,prime_gen_rev(1,H1,P),Rs)
,sort(Rs,Ps)
.
H1 = 1000,
Ps = [2, 3, 5, 7, 11, 13, 17, 19, 23|...],
Rs = [997, 991, 983, 977, 971, 967, 953, 947, 941|...].
?- prime_mem_clear. true.
?- time(prime_test(123456789012345678901234567890123456789012345679141))
.
% 333 inferences, 0.016 CPU in 0.016 seconds (100% CPU, 21346 Lips)
true.
?- between(1,6,F)
,H1 is 10^F,time((prime_gen(1,H1,P),fail;format('F=~d~n',[F])))
,fail;true.
F=1
% 140 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
F=2
% 894 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
F=3
% 12,423 inferences, 0.016 CPU in 0.016 seconds (100% CPU, 796341 Lips)
F=4
% 123,311 inferences, 0.047 CPU in 0.047 seconds (100% CPU, 2634834 Lips)
F=5
% 1,164,810 inferences, 0.484 CPU in 0.484 seconds (100% CPU, 2408607 Lips)
F=6
% 11,109,834 inferences, 4.571 CPU in 4.602 seconds (99% CPU, 2430595 Lips)
true.
?- time(prime_test(123456789012345678901234567890123456789012345679141))
.
% 325 inferences, 0.047 CPU in 0.047 seconds (100% CPU, 6944 Lips)
true.
?- between(1,6,F)
,H1 is 10^F,time((prime_gen(1,H1,P),fail;format('F=~d~n',[F])))
,fail;true.
F=1
% 54 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
F=2
% 206 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
F=3
% 1,238 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
F=4
% 8,867 inferences, 0.000 CPU in 0.000 seconds (?% CPU, Infinite Lips)
F=5
% 67,243 inferences, 0.016 CPU in 0.016 seconds (100% CPU, 4310421 Lips)
F=6
% 549,661 inferences, 0.094 CPU in 0.094 seconds (100% CPU, 5872409 Lips)
true.
?- prime_mem_clear. true.
?- H1 is 10^7,time((prime_gen(1,H1,P),fail))
;true.
% 125,623,132 inferences, 52.697 CPU in 53.352 seconds (99% CPU, 2383870 Lips)
true.
?- H1 is 10^7,time((prime_gen(1,H1,P),fail))
;true.
% 4,652,116 inferences, 0.983 CPU in 0.983 seconds (100% CPU, 4733502 Lips)
true.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
?- test_all. % Warm run % PL-Unit: prime_mem:table_ ............. done % PL-Unit: prime_mem:flags_ .......... done % PL-Unit: prime_mem:get_1_ ....... done % PL-Unit: prime_mem:get_2_ ....... done % PL-Unit: prime_mem:count_ ..... done % PL-Unit: prime_mem:max_ ..... done % PL-Unit: prime_whl:test_ ............... done % PL-Unit: prime_whl:right_ ................ done % PL-Unit: prime_whl:left_ ............... done % PL-Unit: prime_prb:test_ ....... done % PL-Unit: prime_lgc:test_ ............... done % PL-Unit: prime_lgc:div_ ........... done % PL-Unit: prime_lgc:div_rev_ .......... done % PL-Unit: prime_lgc:fact_ ........... done % PL-Unit: prime_lgc:gen_2_ .... done % PL-Unit: prime_lgc:gen_3_ .... done % PL-Unit: prime_lgc:gen_p_2_ .... done % PL-Unit: prime_lgc:gen_p_3_ .... done % PL-Unit: prime_lgc:gen_rev_2_ .... done % PL-Unit: prime_lgc:gen_rev_3_ .... done % PL-Unit: prime_lgc:gen_rev_p_2_ .... done % PL-Unit: prime_lgc:gen_rev_p_3_ .... done % PL-Unit: prime_lgc:next_ ................ done % PL-Unit: prime_lgc:next_p_ ........ done % PL-Unit: prime_lgc:prev_ ................ done % PL-Unit: prime_lgc:prev_p_ ........ done % PL-Unit: prime_lgc:right_ ............. done % PL-Unit: prime_lgc:left_ ............. done % PL-Unit: prime ............. done % PL-Unit: prime_fill .... done % PL-Unit: prime_gen ......... done % PL-Unit: prime_file .....wrwrwrwr done % All 284 tests passed % 1,679,450 inferences, 0.811 CPU in 0.998 seconds (81% CPU, 2070315 Lips) true.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%