Ask Your Question

Revision history [back]

Replace ",I" by "; I" in your last line!

Or 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

Replace ",I" by "; I" in your last line!

(The way you defined 'I', it is a pair, whose first element is the ideal, and second element is the complex number 'I' in the symbolic ring, which is what 'I' refers to by default in Sage. Check that by adding a line with just "I" to your input.)

Or 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

Replace 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 way you The effect of having a comma instead of a semicolon is that it defined 'I', it is a pair, 'I' as the pair whose first element is the ideal, and second element is the complex number 'I' in the symbolic ring, ring. (Because before your definition of 'I', the name 'I' already referred to that, which is what 'I' refers to by its default in Sage. Check definition in Sage). You could check that by adding a third line of input with just "I" to your input.)

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