To play this document inside your browser use ALT-N and ALT-P. If you get stack overflow errors, try to use Google Chrome or Chromium with the command line option --js-flags="--harmony-tailcalls".

You can save your edits inside your browser and load them back (edits are also saved when you close the window). Finally you can download the file for offline editing.

Elements

Triangular number

Hints : halfD half_bit_double

Hints big_ord_recr big_ord_recl big_ord0

Hints sqrnD

Triangular root

Hints before_find find_size size_iota nth_iota

Hints hasP mem_iota half_bit_double half_leq nth_find nth_iota

The modulo for triangular numbers

Fermat Numbers

Hints : subn_sqr subnBA odd_double_half

Hints: logn_gt0 mem_primes dvdn2

Hints pfactor_dvdnn logn_div pfactorK

Hints divnK pfactor_dvdnn prime_nt_dvdP prime_nt_dvdP

Hints odd_exp neq_ltn expn_gt0

Hint subn_sqr

Hints subnK expnD expnM

Hints gcdnMDl coprimen2