Find the kernel of a matrix A and make it a matrix.
I am trying to write a function that computes the monic genrator of an ideal I∈k[x1,…,xn], i.e., the generator of I∩k[xi] for each i. For this I need to use linear algebra for the set 1,xi,x2i,… I write each one of them in terms of the basis for the quotient ring k[x1,…,xn]/I, and see if they are linearly dependent.
Since I add in one more power a time, when I find a linearly dependent set, it should have nullity 1. So if I can get the one element in basis of the kernel, I am done. But the A.kernel() command in Sage gives me this:
N=M.kernel();N
Vector space of degree 2 and dimension 1 over Rational Field
Basis matrix:
[0 1]
Is there a way to assign it as a vector using the kernel command? Or do I have to write my own function to implement it? Thank you for your help!