"Source: Text/Ring/RngGal.text";
"Line: 464";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Ring/RngGal.text, line: 464
// Example: H55E1 ()
print "Example: H55E1";
ei := GetEchoInput();
SetEchoInput(true);
R<w> := GaloisRing(2^3, 2);
R;
R!8;
assert $1 eq 0;
R!9;
assert $1 eq 1;
w;
4*w;
4*w + 4*w;
assert $1 eq 0;
w^2;
w^2 + w + 1;
assert $1 eq 0;
[x: x in R];   
R ! [1, 2];
Eltseq(2*w + 1);
Eltseq(w);
SetEchoInput(ei);
