In current version of sage you can not have a singular object for k(a) [x] when k is a non-prime finite field and a is transcendental. This is because singular does not support defining such rings explicitly, while if k was prime we had no problem.
I don't know what the developers of singular were thinking, but probably the fundamental solution is to change the singular code. But meanwhile, one can define prime_field(k)(a)[t,x] and then quotient it with p(t) with minimal polynomial of the field extension. This helps the user to use lots of functions, as elementary as lcm, which are depending on Singular. I have written the code, if everybody is happy with this short-cut solution, I can go ahead an put the code on the trac Cheers, Syd -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
