"Source: Text/Ring/RngLaz.text";
"Line: 140";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLaz.text, line: 140
// Example: H52E2 ()
print "Example: H52E2";
ei := GetEchoInput();
SetEchoInput(true);
L := LazyPowerSeriesRing(FiniteField(73), 7);
L.4;
AssignNames(~L, ["a", "b", "c", "d", "fifth", "sixth", "seventh"]);
L.4;
CoefficientRing(L);
Rank(L);
assert $1 eq 7;
L eq LazyPowerSeriesRing(CoefficientRing(L), Rank(L));
assert $1;
SetEchoInput(ei);
