The way i'd expect it to work is not working as i'd expect.
sage: F.<a>=GF(25)
sage: F2.
Display all 114 possibilities? (y or n)
sage: F2.<b>=F.extension(x^12-a)
sage: F[b^4][b^6]
Univariate Quotient Polynomial Ring in a over Univariate Quotient Polynomial
Ring in a over Finite Field in a of size 5^2 with modulus a^3 + 4*a with
modulus a^2 + 4*a
sage: _.is_field()
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call last)
Also something else I tried is not working:
sage: composite_field(F[b^4],F[b^6])
---------------------------------------------------------------------------
ValueError Traceback (most recent call last)
/Users/maarten/<ipython console> in <module>()
/Applications/sage-4.6.rc0/local/lib/python2.6/site-packages/sage/rings/misc.pyc
in composite_field(K, L)
32 """
33 C = Sequence([K(0), L(0)]).universe()
34 if not is_Field(C):
---> 35 raise ValueError, "unable to find a common field"
36 return C
ValueError: unable to find a common field
A short search_src on subfield also doesn't seem to give any usefull
commands. All the things I found will only work with adding only one field
element, not multiple.
It would be a nice feature to have tough.
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
