Describir: The diophantine problem for addition and divisibility for subrings of rational functions over finite fields