First time here? Check out the FAQ!
answered 2016-09-21 16:42:36 +0100
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'