I would like to construct the field F=Q(t), where t is an
indeterminate, and Q is the field of rational numbers, to construct
vector spaces over F, to compute coefficients of an element with
respect to a basis, and even work with split simple Lie algebras over
this field. Is any of this possible?
I tried a few things: using the function `Field', for example, for
constructing a field F over Q (or over itself), generated by a single
indeterminate t, obtained from the function Indeterminate.
I guess all this is a bit naive, but hope someone tried something
Thanks in advance!