Ask Your Question
1

imaginary unit and subspaces of the complex polynomial ring?

asked 2017-01-16 04:31:58 -0600

SnowChugger gravatar image

I am trying to work with the complex, multivariate polynomial ring R.<x,y> = CC['x,y']. When I try to create an element in my ring R f = x + I*y i get parent(f) is a symbolic ring and not R, which seems to happen due to the "I". Is there a way to interpret "I" as an element in my R?

Also if I have a long list "L" of elements in the ring "R" is there an easy way to define a real subspace of R (alternatively R could also be a real polynomial ring) spanned by the elements of L and to check whether a given polynomial f lies in this span?

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
0

answered 2017-01-17 04:21:23 -0600

updated 2017-01-17 04:22:22 -0600

Here are two ways to solve your first problem.

  • use the Python version of the complex imaginary unit, 1j.

    sage: R.<x,y> = CC['x,y']
    sage:  f = x + 1j*y
    sage: f
    x + 1.00000000000000*I*y
    sage: f.parent()
    Multivariate Polynomial Ring in x, y over Complex Field with 53 bits of precision
    
  • redefine I to be the imaginary unit in CC.

    sage: I = CC.gen()
    sage: I = CC.gen()
    sage: f = x + I * y
    sage: f
    x + 1.00000000000000*I*y
    sage: f.parent()
    Multivariate Polynomial Ring in x, y over Complex Field with 53 bits of precision
    

Regarding your second problem, the following fails because R is not a principal ideal domain.

sage: span([f], R)
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2017-01-16 04:31:58 -0600

Seen: 81 times

Last updated: Jan 17