p-adic linear algebra;
solving polynomial systems;
eigenvector algorithms;
D O I:
10.1080/03081087.2020.1743633
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
We describe an implementation of a polynomial system solver to compute the approximate solutions of a 0-dimensional polynomial system with finite precision p-adic arithmetic. We also describe an improvement to an algorithm of Caruso, Roe, and Vaccon for calculating the eigenvalues and eigenvectors of a p-adic matrix.