There is a method F.get_place(8) that returns a place of degree 8, which 
perhaps suits your purpose. In less than an hour, I got

sage: a = K.get_place(8); a
Place (x^2 + x + z16^11 + z16^2 + z16, z^4 + ((z16^15 + z16^14 + z16^12 + 
z16^10 + z16^9 + z16^4 + z16^3 + 1)*x + z16^15 + z16^12 + z16^11 + z16^10 + 
z16^7 + z16^6 + z16^4 + z16^2 + z16 + 1)*z^3 + ((z16^14 + z16^13 + z16^9 + 
z16^8 + z16^7 + z16^6 + z16^5 + z16^2 + 1)*x + z16^15 + z16^14 + z16^13 + 
z16^11 + z16^10 + z16^8 + z16^6 + z16^5 + z16^3 + z16^2 + z16 + 1)*z^2 + 
((z16^15 + z16^14 + z16^12 + z16^11 + z16^9 + z16^8 + z16^7 + z16^6 + z16^5 
+ z16^4 + z16^3 + z16^2 + z16)*x + z16^15 + z16^13 + z16^12 + z16^11 + 
z16^10 + z16^8 + z16^7 + z16^5 + z16^4 + 1)*z + (z16^15 + z16^14 + z16^11 + 
z16^7 + z16^6 + z16^4 + z16 + 1)*x + z16^14 + z16^13 + z16^10 + z16^8 + 
z16^7 + z16^6 + z16^5 + z16^4 + z16^3 + 1)

On the other hand, I think the function field machinery needs performance 
improvement in every aspects.

Addition data:

sage: d = a.divisor()
sage: d.basis_function_space()
[1,
 (1/(x^2 + x + z16^11 + z16^2 + z16))*z^5 + ((z16^13 + z16^10 + z16^9 + 
z16^7 + z16^6 + z16^5 + z16^3 + z16^2)/(x^2 + x + z16^11 + z16^2 + 
z16))*z^4 + ((x + z16^14 + z16^13 + z16^11 + z16^10 + z16^7 + z16^3 + z16^2 
+ 1)/(x^2 + x + z16^11 + z16^2 + z16))*z^3 + (((z16^14 + z16^13 + z16^10 + 
z16^9 + z16^6 + z16^5 + z16^4 + z16)*x + z16^14 + z16^11 + z16^10 + z16^9 + 
z16^8 + z16^2 + z16)/(x^2 + x + z16^11 + z16^2 + z16))*z^2 + ((x^2 + 
(z16^12 + z16^10 + z16^8 + z16^5 + z16^3 + z16^2 + z16)*x + z16^15 + z16^8 
+ z16^6 + z16^5 + z16^3 + z16^2 + 1)/(x^2 + x + z16^11 + z16^2 + z16))*z + 
((z16^14 + z16^11 + z16^9 + z16^8 + z16^7 + z16^5 + z16^4)*x + z16^10)/(x^2 
+ x + z16^11 + z16^2 + z16),
 ((z16^15 + z16^14 + z16^13 + z16^12 + z16^10 + z16^9 + z16^8 + z16^7 + 
z16^6 + z16^5 + z16^2 + z16 + 1)/(x^2 + x + z16^11 + z16^2 + z16))*z^6 + 
((z16^11 + z16^9 + z16^7 + z16^6 + z16^5 + z16^4 + z16^3 + z16)/(x^2 + x + 
z16^11 + z16^2 + z16))*z^5 + (((z16^15 + z16^14 + z16^13 + z16^12 + z16^10 
+ z16^9 + z16^8 + z16^7 + z16^6 + z16^5 + z16^2 + z16 + 1)*x + z16^14 + 
z16^13 + z16^8 + z16^6 + z16^2 + z16 + 1)/(x^2 + x + z16^11 + z16^2 + 
z16))*z^4 + (((z16^11 + z16^9 + z16^7 + z16^6 + z16^5 + z16^4 + z16^3 + 
z16)*x + z16^7 + z16^6 + z16^5 + z16^2 + z16)/(x^2 + x + z16^11 + z16^2 + 
z16))*z^3 + (((z16^15 + z16^14 + z16^13 + z16^12 + z16^10 + z16^9 + z16^8 + 
z16^7 + z16^6 + z16^5 + z16^2 + z16 + 1)*x^2 + (z16^14 + z16^13 + z16^12 + 
z16^11 + z16^10 + z16^9 + z16^7 + z16^6 + z16^5 + z16^4 + z16^2)*x + z16^14 
+ z16^13 + z16^9 + z16^7 + z16^6 + z16^4 + z16^3 + z16^2 + z16 + 1)/(x^2 + 
x + z16^11 + z16^2 + z16))*z^2 + (((z16^11 + z16^9 + z16^7 + z16^6 + z16^5 
+ z16^4 + z16^3 + z16)*x^2 + (z16^15 + z16^13 + z16^12 + z16^11 + z16^10 + 
z16^9 + z16^6 + z16^5 + z16^3 + 1)*x + z16^9 + z16^7 + z16^3 + z16^2)/(x^2 
+ x + z16^11 + z16^2 + z16))*z + (z16^12 + z16^11 + z16^10 + z16^7 + z16^6 
+ z16^3 + z16^2 + z16 + 1)/(x^2 + x + z16^11 + z16^2 + z16),
 (1/(x^2 + x + z16^11 + z16^2 + z16))*z^7 + ((z16^14 + z16^13 + z16^11 + 
z16^10 + z16^7 + z16^6 + z16^4 + z16^3 + z16^2 + z16)/(x^2 + x + z16^11 + 
z16^2 + z16))*z^6 + ((x + z16^11 + z16^9 + z16^8 + z16^7 + z16^5 + z16^2 + 
z16 + 1)/(x^2 + x + z16^11 + z16^2 + z16))*z^5 + (((z16^14 + z16^13 + 
z16^11 + z16^10 + z16^7 + z16^6 + z16^4 + z16^3 + z16^2 + z16)*x + z16^15 + 
z16^14 + z16^13 + z16^11 + z16^10 + z16^9 + z16^7)/(x^2 + x + z16^11 + 
z16^2 + z16))*z^4 + ((x^2 + (z16^11 + z16^9 + z16^8 + z16^7 + z16^5 + z16^2 
+ z16 + 1)*x + z16^14 + z16^13 + z16^12 + z16^8 + z16^6 + z16^4 + z16 + 
1)/(x^2 + x + z16^11 + z16^2 + z16))*z^3 + (((z16^14 + z16^13 + z16^11 + 
z16^10 + z16^7 + z16^6 + z16^4 + z16^3 + z16^2 + z16)*x^2 + (z16^13 + z16^9 
+ z16^4 + z16^3 + z16^2 + z16 + 1)*x + z16^8 + z16^3 + 1)/(x^2 + x + z16^11 
+ z16^2 + z16))*z^2 + (((z16^11 + z16^9 + z16^8 + z16^7 + z16^5 + z16^2 + 
z16 + 1)*x^2 + (z16^15 + z16^8 + z16^3 + 1)*x + z16^12 + z16^11 + z16^10 + 
z16^7 + z16^6 + z16^2)/(x^2 + x + z16^11 + z16^2 + z16))*z]


-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/sage-support/15cc92ee-7e78-4439-a76c-442ca04e77a2n%40googlegroups.com.

Reply via email to