Determining irreducibility and ramification groups for an additive extension of the rational function field
On additive representation function of general sequences