#229 (May 30, 2016, 1:26:09 PM)

1. merge (detail / hgweb)
2. new invariant in algebraic numbers: polynomials are square-free (detail / hgweb)
3. provide two formats for factorization: square-free - (f,i) encodes f^(i+1) - and normal - (f,i) ~ f^i (detail / hgweb)
4. factorization of rational polynomial delivers at least square-free factorization (detail / hgweb)
5. changed definition of square_free: 0 is NOT square_free (detail / hgweb)

Started by an SCM change