"Source: Text/Ring/RngLaz.text";
"Line: 630";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLaz.text, line: 630
// Example: H52E7 ()
print "Example: H52E7";
ei := GetEchoInput();
SetEchoInput(true);
L<a, b, c, d> := LazyPowerSeriesRing(Rationals(), 4);
s := (1 + 2*a + 3*b + 4*d)^-5;
Coefficient(s, [1, 1, 1, 1]);
assert $1 eq 0;
time Coefficients(s, 6);
#$1;
assert $1 eq 210;
time PrintToPrecision(s, 6);
Valuation(s);
Valuation(s*0);
SetEchoInput(ei);
