Revision history [back]

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.

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.