Re: [sage-support] Dual of an ideal

2012-09-05 Thread David Loeffler
On 5 September 2012 02:41, Cindy wrote: > Hi, David, > > Yes, that's what I mean. Can I find it using sage? > > Thanks. > > Cindy sage: K. = NumberField(x^3 - x + 17) sage: I = K.primes_above(17)[0] sage: K.trace_dual_basis(I.basis()) [4/132583*z^2 + 6/7799*z + 2597/132583, -153/7799*z^2 - 2/7799

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

2012-09-05 Thread David Loeffler
On 5 September 2012 02:56, Cindy 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 a totally positi

Re: [sage-support] Dual of an ideal

2012-09-05 Thread Cindy
Hi, David, Could you please explain a little bit about the code? For the example you use, it seems I is an ideal above 17, what does [0] mean? In the end do we get a basis of the dual of I? Why do we need to put I.basis() in the bracket of trace_dual_basis? Thanks a lot. Cindy On Wednesday,

[sage-support] Re: plot color computet by function

2012-09-05 Thread danjo86
I tried matrixplot. It works. Thanks But it doesen't solve the origin problem. Am Mittwoch, 22. August 2012 18:15:15 UTC+2 schrieb danjo86: > > Hey, > > i need some help. I try to definde the mandelbrotset with colors defined > by following function: > > sage: def mandel(x,y): > v=[];

Re: [sage-support] Dual of an ideal

2012-09-05 Thread David Loeffler
On 5 September 2012 09:34, Cindy wrote: > Hi, David, > > Could you please explain a little bit about the code? Sure, but you should make a little effort to play with it yourself for a bit first. > For the example you use, it seems I is an ideal above 17, what does [0] > mean? The command K.prim

[sage-support] Re: Sage in Computer Lab

2012-09-05 Thread Maarten Derickx
Why don't you ask them to install the sage server on a different machine, and let other people acces it via the notebook? In Leiden they have also taken this approach and it works fine (see sage.math.leidenuniv.nl). Thanks Maarten Le jeudi 30 août 2012 04:34:14 UTC+2, Luis Garcia-Puente a écrit

Re: [sage-support] Dual of an ideal

2012-09-05 Thread Cindy
Hi, David, Thanks a lot. I tried trace_dual_basis? to find out the meaning. I didn't realize I should use K.trace_dual_basis? Thanks. :) Cindy On Wednesday, September 5, 2012 5:15:19 PM UTC+8, David Loeffler wrote: > > On 5 September 2012 09:34, Cindy > > wrote: > > Hi, David, > > > > Coul

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 > > 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

[sage-support] Minimum norm of an ideal lattice

2012-09-05 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 \alph

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 > > w

Re: [sage-support] Minimum norm of an ideal lattice

2012-09-05 Thread David Loeffler
> how can I get the minimum norm for the > ideal lattice (J,\alpha) using sage? What have you tried so far? David -- 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 unsubscrib

[sage-support] Re: plot color computet by function

2012-09-05 Thread Jason Grout
On 9/5/12 3:56 AM, danjo86 wrote: But it doesen't solve the origin problem. What problem exactly does it not solve? Thanks, Jason -- 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@googlegro

[sage-support] Re: Sage in Computer Lab

2012-09-05 Thread Jason Grout
On 9/5/12 4:26 AM, Maarten Derickx wrote: Why don't you ask them to install the sage server on a different machine, and let other people acces it via the notebook? In Leiden they have also taken this approach and it works fine (see sage.math.leidenuniv.nl). That's the approach we also take. A

[sage-support] symbolic calculus on Polynomial

2012-09-05 Thread alessio211734
Sorry I am a beginner I have a function B(t)=(1-t)(t,t)+t*((3-t),t) There is a way to expand this function in sage? result expected: B(t)=(t-t^2,t-t^2)+(t(3-t),t^2) B(t)=(t-t^2+t(3-t),t-t^2+t^2) B(t)=(4t-2t^2),t) and after I should plot this 2d curve. Thanks in advance. -- You received this m

[sage-support] Re: symbolic calculus on Polynomial

2012-09-05 Thread Jason Grout
On 9/5/12 9:57 AM, alessio211734 wrote: Sorry I am a beginner I have a function B(t)=(1-t)(t,t)+t*((3-t),t) There is a way to expand this function in sage? result expected: B(t)=(t-t^2,t-t^2)+(t(3-t),t^2) B(t)=(t-t^2+t(3-t),t-t^2+t^2) B(t)=(4t-2t^2),t) and after I should plot this 2d curve.

[sage-support] Multivariate polynomials: libsingular vs. polydict

2012-09-05 Thread Robert Samal
Hi, I'm trying to compute something using multivariate polynomials, and am struggling to understand the relation between polynomials of type and of type . How does one create one or the other? And, mainly: how can one convert from one to the other? What happened to me is that I unwillingl

Re: [sage-support] Multivariate polynomials: libsingular vs. polydict

2012-09-05 Thread Martin Albrecht
Hi, On Wednesday 05 Sep 2012, Robert Samal wrote: > Hi, > > I'm trying to compute something using multivariate polynomials, and am > struggling to understand the relation between polynomials of type 'sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular > '> and of type 'sa