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 |