Skip to content
Started 8 yr 1 mo ago
Took 3 hr 35 min on built-in
Failed

#227 (May 27, 2016, 1:56:12 PM)

Changes
  1. merge (detail / hgweb)
  2. moved lemmas (detail / hgweb)
  3. improved code-equation for poly_inverse (detail / hgweb)
  4. invariant of algebraic number implementation: polynomials are square-free (detail / hgweb)
  5. factorize_rat_poly delivers square-free poly, independent of oracle (detail / hgweb)

Started by an SCM change

Revision: f7b132c3c792a5ff7d5d6bbbfadd72e4e06e9bc4
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #227( 3 hr 35 min )Console Output