type(obj) = <class 'sage.modular.overconvergent.genus0.OverconvergentModularFormsSpace'>
version = 4.0.alpha0
obj =
'Space of 13-adic 1/2-overconvergent modular forms of weight-character 20 over Eisenstein Extension of 13-adic Field with capped relative precision 20 in w defined by (1 + O(13^20))*x^2 + (O(13^21))*x + (12*13 + 12*13^2 + 12*13^3 + 12*13^4 + 12*13^5 + 12*13^6 + 12*13^7 + 12*13^8 + 12*13^9 + 12*13^10 + 12*13^11 + 12*13^12 + 12*13^13 + 12*13^14 + 12*13^15 + 12*13^16 + 12*13^17 + 12*13^18 + 12*13^19 + 12*13^20 + O(13^21))'
