Mark test as random to avoid failure

[user202729]

Fix issue pointed out in #39153 (comment)

📝 Checklist

• The title is concise and informative.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation and checked the documentation preview.

⌛ Dependencies

[github-actions]

Documentation preview for this PR (built with commit e75bf95; changes) is ready! 🎉
This preview will update shortly after each push to this PR.

[orlitzky]

I think the point of the test (going back to #252) is that the number field is created successfully, so why not...

sage: K
Number Field in a with defining polynomial 2*x^4 + 6*x^2 + 1/2

Otherwise we are only wasting a few milliseconds generating output that isn't checked and isn't very instructive.

[user202729]

@orlitzky actually the following line is checked

sorted([F.discriminant() for F, _, _ in l])

it checks the sorted numerical values of the discriminants (if you want to be extra careful we can also check the degree, but I think this is enough)

[orlitzky]

@orlitzky actually the following line is checked

That part is fine. It's,

        sage: l  # random (see :issue:`39153`)                                                                                          
            [(Number Field in a0 with defining polynomial x,                                                                                                   
              Ring morphism:                                                                                                                                   
                From: Number Field in a0 with defining polynomial x                                                                                            
                To:   Number Field in a with defining polynomial 2*x^4 + 6*x^2 + 1/2                                                                           
                Defn: 0 |--> 0,                                                                                                                                
              None),                                                                                                                                           
             (Number Field in a1 with defining polynomial x^2 - 2,                                                                                             
              Ring morphism:                                                                                                                                   
                From: Number Field in a1 with defining polynomial x^2 - 2                                                                                      
                To:   Number Field in a with defining polynomial 2*x^4 + 6*x^2 + 1/2                                                                           
                Defn: a1 |--> a^2 + 3/2,                                                                                                                       
              None),                                                                                                                                           
             (Number Field in a2 with defining polynomial x^2 + 4,                                                                                             
              Ring morphism:                                                                                                                                   
                From: Number Field in a2 with defining polynomial x^2 + 4                                                                                      
                To:   Number Field in a with defining polynomial 2*x^4 + 6*x^2 + 1/2                                                                           
                Defn: a2 |--> 2*a^3 + 7*a,                                                                                                                     
              None),                                                                                                                                           
             (Number Field in a3 with defining polynomial x^2 + 2,                                                                                             
              Ring morphism:                                                                                                                                   
                From: Number Field in a3 with defining polynomial x^2 + 2                                                                                      
                To:   Number Field in a with defining polynomial 2*x^4 + 6*x^2 + 1/2                                                                           
                Defn: a3 |--> 2*a^3 + 5*a,                                                                                                                     
              None),                                                                                                                                           
             (Number Field in a4 with defining polynomial x^4 + 1,                                                                                             
              Ring morphism:                                                                                                                                   
                From: Number Field in a4 with defining polynomial x^4 + 1                                                                                      
                To:   Number Field in a with defining polynomial 2*x^4 + 6*x^2 + 1/2                                                                           
                Defn: a4 |--> a^3 + 1/2*a^2 + 5/2*a + 3/4,                                                                                                     
              Ring morphism:                                                                                                                                   
                From: Number Field in a with defining polynomial 2*x^4 + 6*x^2 + 1/2                                                                           
                To:   Number Field in a4 with defining polynomial x^4 + 1                                                                                      
                Defn: a |--> -1/2*a4^3 + a4^2 - 1/2*a4)]

that I think is taking up a lot of space for no benefit. Sometimes you have to print a random number to show how a method works, but here, displaying a bunch of semi-random output isn't really helping to explain (or test) anything.

[orlitzky]

(Instead of printing the subfields, I was suggesting printing K, and then you can still do sorted([F.discriminant() for F, _, _ in K.subfields()]).

[orlitzky]

And actually, this is a TESTS block, so it isn't even included in the documentation...

[orlitzky]

Cool, thanks. I have faith that CI will pass.