Re: [sage-support] Generator matrix of ideal lattice

2012-09-05 Thread David Loeffler
On 5 September 2012 02:56, Cindy cindy425192...@gmail.com wrote: Hi, Let K be a number field and O_k denote its ring of integers. For an ideal, J of O_k, we can have an ideal lattice (I,b_\alpha), where b_\alpha: J\times J \to Z, b_\alpha(x,y)=Tr(\alpha xy), \forall x,y \in J and \alpha is

Re: [sage-support] Generator matrix of ideal lattice

2012-09-05 Thread Cindy
Hi, David, Thanks a lot! It works.^^ Cindy On Wednesday, September 5, 2012 4:30:40 PM UTC+8, David Loeffler wrote: On 5 September 2012 02:56, Cindy cindy42...@gmail.com javascript: wrote: Hi, Let K be a number field and O_k denote its ring of integers. For an ideal, J of O_k,

Re: [sage-support] Generator matrix of ideal lattice

2012-09-05 Thread Cindy
Hi, David, BTW, do you know how to find the minimum norm of the lattice? I posted a question regarding this in this group. Do you know which function I should use? Thanks. Cindy On Wednesday, September 5, 2012 4:30:40 PM UTC+8, David Loeffler wrote: On 5 September 2012 02:56, Cindy

[sage-support] Generator matrix of ideal lattice

2012-09-04 Thread Cindy
Hi, Let K be a number field and O_k denote its ring of integers. For an ideal, J of O_k, we can have an ideal lattice (I,b_\alpha), where b_\alpha: J\times J \to Z, b_\alpha(x,y)=Tr(\alpha xy), \forall x,y \in J and \alpha is a totally positive element of K\{0}. Suppose now I know J and