> < ^ Date: Thu, 22 Jul 1999 10:48:11 +0100 (BST)
> < ^ From: Alexander Hulpke <hulpke@math.colostate.edu >
< ^ Subject: Re: Q(t)

Dear Gap-Forum,

Jan Draisma asked:
> 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?

At the moment GAP 4 implements polynomial rings in countably many
indeterminates and it is possible to take quotients of such polynomials.

However the quotient field itself is not yet implemented and thus I cannot see
any easy way of defining algebras over it.

Sorry for not being able to provide more help,

Alexander Hulpke


> < [top]