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
> <[email protected]<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 <[email protected] <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
>> > [email protected]<javascript:>
>> .
>> > To unsubscribe from this group, send email to
>> > [email protected] <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 [email protected]<javascript:>
>> .
>> To unsubscribe from this group, send email to
>> [email protected] <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 [email protected].
To unsubscribe from this group, send email to
[email protected].
Visit this group at http://groups.google.com/group/sage-support?hl=en.
