32 | | 1. (some_elements() should be non-trivial for number fields/orders) |
33 | | 1. (some_elements() should be non-trivial/deterministic for rational function fields and their extensions) |
34 | | 1. (some_elements() should be non-trivial for fraction_fields of polynomial rings) |
| 32 | 1. (some_elements() should be non-trivial for number fields/orders) #23192 |
| 33 | 1. (some_elements() should be non-trivial/deterministic for rational function fields and their extensions) #23193 |
| 34 | 1. (some_elements() should be non-trivial for fraction_fields of polynomial rings) #23194 |