Ask Your Question

bamir's profile - activity

2021-03-03 20:32:58 +0100 received badge  Notable Question (source)
2015-09-03 01:07:00 +0100 received badge  Popular Question (source)
2013-06-30 23:27:43 +0100 asked a question p-adic field as a vector space?

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!