  We shall derive conditions in which a general formula for the dimension of
q-ary trace codes induced by algebraic-geometric codes. Significant to this
result are several dimension reducing methods for the underlying functions
spaces associated to q-ary trace codes.
