You can provide a stronger information than assume(-k/a>0), the following seems to work:
sage: assume(a>0)