Xref: utzoo sci.math:9144 comp.theory:146
Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!uwm.edu!csd4.csd.uwm.edu!litow
From: litow@csd4.csd.uwm.edu (Bruce E Litow)
Newsgroups: sci.math,comp.theory
Subject: logarithms of algebraic numbers
Message-ID: <1775@uwm.edu>
Date: 4 Jan 90 17:21:02 GMT
Sender: news@uwm.edu
Reply-To: litow@csd4.csd.uwm.edu (Bruce E Litow)
Followup-To: sci.math
Organization: University of Wisconsin-Milwaukee
Lines: 4

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 ?