litow@csd4.csd.uwm.edu (Bruce E Litow) (01/05/90)
Given algebraic numbers a_1exp(2*i*pi*b_1),...,a_rexp(2*i*pi*b_r) where the a_j and the b_j are all real is it decidable to determine whether or not b_1,...,b_r are linearly independent over the rationals ?