"Source: Text/Ring/RngLaz.text";
"Line: 295";
"Date: Tue Jun  7 22:27:14 2016";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngLaz.text, line: 295
// Example: H52E5 ()
print "Example: H52E5";
ei := GetEchoInput();
SetEchoInput(true);
L<x, y, z> := LazyPowerSeriesRing(AlgebraicClosure(), 3);
Z := Integers();
m := map<car<Z, Z, Z> -> CoefficientRing(L) | t :-> t[1]*t[2]*t[3]>;
s := elt<L | m>;
PrintToPrecision(s, 5);
Coefficient(s, [1, 1, 1]);
assert $1 eq 1;
m(<1, 1, 1>);
assert $1 eq 1;
Coefficient(s, [3, 1, 2]);
assert $1 eq 6;
m(<3, 1, 2>);
assert $1 eq 6;
SetEchoInput(ei);
