Hi, Vijay, Let K be a number field and O_k be its ring of integers. Given an ideal J of O_k, I want to find the dual of J, which is defined as the O_k-module:
J^*={x\in K| Tr(xJ)\subset Z}. Thanks. Cindy On Tuesday, September 4, 2012 3:20:35 PM UTC+8, Vj wrote: > > Cindy, > > Could you elaborate little more, what is precisely you need. > > Regards, > Vijay > > On Tue, Sep 4, 2012 at 12:42 PM, David Loeffler > <d.a.lo...@warwick.ac.uk<javascript:> > > wrote: > >> What exactly do you mean by the dual of an ideal? Do you mean dual >> with respect to the trace pairing, so the dual of the ideal (1) is the >> inverse different? >> >> David >> >> On 4 September 2012 04:15, Cindy <cindy42...@gmail.com <javascript:>> >> wrote: >> > Hi, >> > >> > How can I calculate the dual of an ideal using sage? >> > >> > Thanks. >> > >> > Cindy >> > >> > -- >> > You received this message because you are subscribed to the Google >> Groups >> > "sage-support" group. >> > To post to this group, send email to >> > sage-s...@googlegroups.com<javascript:> >> . >> > To unsubscribe from this group, send email to >> > sage-support...@googlegroups.com <javascript:>. >> > Visit this group at http://groups.google.com/group/sage-support?hl=en. >> > >> > >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-support" group. >> To post to this group, send email to sage-s...@googlegroups.com<javascript:> >> . >> To unsubscribe from this group, send email to >> sage-support...@googlegroups.com <javascript:>. >> Visit this group at http://groups.google.com/group/sage-support?hl=en. >> >> >> > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.