# how to get a ideal of Power Series Ring

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 close merge delete

Sort by » oldest newest most voted

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').

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
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,
I)


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.

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: 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".