"Source: Text/Basics/FldNear.text";
"Line: 563";
"Date: Thu Sep 25 14:47:46 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Basics/FldNear.text, line: 563
// Example: H23E6 ()
print "Example: H23E6";
ei := GetEchoInput();
SetEchoInput(true);
N := DicksonNearfield(3^2,4);
F<a> := N`gf;
x := Element(N,a^5215);
y := Element(N,a^5140);
z := Element(N,a^5819);
x*y eq y*x;
assert not $1;
x*(y+z) eq x*y+x*z;
assert not $1;
(y+z)*x eq y*x+z*x;
assert $1;
SetEchoInput(ei);
