#485 (Oct 18, 2016, 9:38:09 PM)

1. merge (detail / hgweb)
2. use new certified Berlekamp-Zassenhaus algorithm for algebraic numbers,
   remove old factorization oracle for Berlekamp-Hensel-Zassenhaus (detail / hgweb)
3. moved resultants from Algebraic-Numbers into Berlekamp-Zassenhaus
   (towards building dependence Poly-Factorization <- BZ <- Alg-Num) (detail / hgweb)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 1 min 35 sec build duration;
• 1 min 42 sec total from scheduled to completion.