Ask Your Question

how to get a ideal of Power Series Ring

asked 2014-07-25 06:59:10 -0500

cjsh gravatar image

updated 2014-07-25 22:36:51 -0500

K.<u> = PowerSeriesRing(GF(5,4)); K
I = K.ideal(u^2+3,u^12), I

When I run the above in sagecell, nothing appears.

How to get the ideal is_commutative or prime or max_ideal or principal?

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2014-07-25 08:01:08 -0500

updated 2014-07-25 22:37:18 -0500

What output does the Sage Cell Server give?

  • Any "side-effect output", obtained by instructions such as 'print' or 'show'
  • followed by the result of the last command (if this command produces a result other than 'None').

What happened in your example?

The reason why nothing appeared when you evaluated your input in the Sage cell server is that your last instruction is just to define 'I', and this doesn't return anything.

I suppose your intention was to define I and then ask what is I. For this, you need to replace the comma by a semicolon, ie replace ",I" by "; I" in your last line!

The effect of having a comma instead of a semicolon is that it defined 'I' as the pair whose first element is the ideal, and second element is the complex number 'I' in the symbolic ring. (Because before your definition of 'I', the name 'I' already referred to that, which is its default definition in Sage). You could check that by adding a third line of input with just "I".

K.<u> = PowerSeriesRing(GF(5,4)); K
I = K.ideal(u^2+3,u^12), I

and you will see this output:

(Ideal (3 + u^2, u^12) of Power Series Ring in u over Finite Field of size 5,

How to transform your input to obtain the output you want

You could input the following:

K.<u> = PowerSeriesRing(GF(5,4))
print 'K =', K
I = K.ideal(u^2+3,u^12)
print 'I =', I

and get the following output:

K = Power Series Ring in u over Finite Field of size 5
I = Ideal (3 + u^2, u^12) of Power Series Ring in u over Finite Field of size 5

How to get information about the ideal, such as 'is_commutative' etc.

You can then ask more about the ideal. Unfortunately, not many methods are implemented for ideals in power series rings, so you might get a bunch of "not implemented" errors.

edit flag offensive delete link more


thank master very much! before I met nothing appears many times about ", ; next line,blank space"in sagenb,I didnot know what happens,now I understand!

cjsh gravatar imagecjsh ( 2014-07-26 21:45:20 -0500 )edit

@cjsh: It's good that you understand more and more how Sage works. One more thing about ask-Sage: when you reply to someone's answer, do that in the form of a "comment", not in the form of a new "answer".

slelievre gravatar imageslelievre ( 2014-07-26 22:56:18 -0500 )edit

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


Asked: 2014-07-25 06:59:10 -0500

Seen: 57 times

Last updated: Jul 26 '14