p-adic field as a vector space?

asked 2013-06-30 16:27:43 -0600

bamir gravatar image

Hello! Is there an equivalent of absolute(or relative)_vector_space for p-adic fields? I couldn't find anything! If not, is there any other way to realize a p-adic field extension as a vector space (over Q, but even over Q_p)? I'm trying to use linear_dependence in particular. Actually my main goal is to do something like what algdep does, but that command only seem to work for Q_p and not any extension!

I apologize for being an absolute illiterate with computers which shall show itself sooner or later!

edit retag flag offensive close merge delete