"Source: Text/Ring/RngSlope.text";
"Line: 1107";
"Date: Tue Jun  7 22:27:15 2016";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Ring/RngSlope.text, line: 1107
// Example: H56E6 ()
print "Example: H56E6";
ei := GetEchoInput();
SetEchoInput(true);
S<u> := SpRing (pAdicField (7, 30), 1); // slope 1
M := SpMatrix(3,5,[S|1,0,u,u^2,u,  u^2/7,0,1,0,0, 0,0,1,0,u^4/7^2]);
ROWS := Rows(M);
V := u * ROWS[1] + u^2/7 * ROWS[3]; // create a kernel
MAT := SpMatrix(ROWS cat [Universe(ROWS)|V]); // 4 x 5
Dimension (SpSpace (MAT)); // 3
assert $1 eq 3;
K := Kernel (MAT); K;
KK := Kernel(BasisMatrix(K)); KK;
assert ZeroVector(Ambient(KK)) in KK;
SetEchoInput(ei);
