First time here? Check out the FAQ!
answered 8 years ago
For completeness, it turns out that indeed assuming K is 'noninteger' apparently works. See https://trac.sagemath.org/ticket/21554 for documenting this better.
K
'noninteger'