How do I show in sage that an ideal is contained in another?
For example I have
sage: K.<a> = QuadraticField(5)
OK = K. ring_of_integers ()
sage: J=ideal(1+7*(1+sqrt(5))/2)
J.issubset(OK)
but this does not work.