One Hat Cyber Team

Your IP : 216.73.216.14

Server IP : 194.44.31.54

Server : Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64

Server Software : Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k

PHP Version : 5.6.40

View File Name : finitefield.m2

createdGFs = new MutableHashTable;
getGF = (p,n) -> (
	q := p^n;
	r := null;
	if (createdGFs#?q) then (
		--print ("Fetching GF("|toString q|")");
		createdGFs#q
	) else (
		--print ("Creating GF("|toString q|")");
		if n === 1 then r = GF(p) else r = GF(p,n);
		createdGFs#q = r;
		r
	)
);
setGF = (q, F) -> (
	createdGFs#q = F;
);

--- From OpenMath ---
-- Symbols to try and remember how elements of a particular field are represented.
protect PowerOfPrimitiveElement
protect FieldByPolyVector
protect OpenMathPrefEltRepr

--- To OpenMath ---
protect PowerOfPrimElt
toOpenMathFFelt = idCheck(t -> (
	F := class t;
	if (F#?OpenMathPrefEltRepr and F#OpenMathPrefEltRepr == PowerOfPrimitiveElement) then (
		--print "This field prefers PowerOfPrimitiveElement";
		toOpenMathFFElt_PowerOfPrimElt t
	) else if (F#?OpenMathPrefEltRepr and F#OpenMathPrefEltRepr == FieldByPolyVector) then (
		--print "This field prefers FieldByPolyVector";
		toOpenMathFFElt_Vector t
	) else if (class class t === GaloisField) and ((class t).order < 10000) then
		toOpenMathFFElt_PowerOfPrimElt t
	else
		toOpenMathFFElt_Vector t
))