Changes between Version 20 and Version 21 of Ticket #21869


Ignore:
Timestamp:
06/09/17 07:28:23 (3 years ago)
Author:
saraedum
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #21869 – Description

    v20 v21  
    3131
    32321. (some_elements() should be non-trivial for number fields/orders)
    33 1. (some_elements() should be non-trivial for rational function fields and their extensions)
     331. (some_elements() should be non-trivial/deterministic for rational function fields and their extensions)
    34341. (some_elements() should be non-trivial for fraction_fields of polynomial rings)
    3535