realroots -- real roots of a binary form

• Usage:

  realroots F

• Inputs:
  • F, a ring element, a binary form over $\mathbb{Q}$
• Optional inputs:
  • Verbose => ..., default value false, request verbose feedback
• Outputs:
  • a list, a list of pairs of elements of RR, the real roots of $F$ (multiple roots appear multiple times)

i1 : F = randomBinaryForm 5

         5       4         3 2       2 3         4       5
o1 = 810t  + 405t t  + 135t t  + 315t t  + 140t t  + 126t
         0       0 1       0 1       0 1       0 1       1

o1 : QQ[t ..t ]
         0   1

i2 : realroots F

o2 = {[-.853591, 1]}

o2 : List