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

Buat File | Buat Folder

Dir : ~/usr/share/Macaulay2/OpenMath/cds/

View File Name : finfield1.m2

-- done: field_by_conway, primitive_element
-- not done: conway_polynomial, discrete_log, is_primitive, is_primitive_poly, minimal_polynomial

--- To OpenMath ---
toOpenMathFFElt_PowerOfPrimElt = x -> (
	if (x == 0) then (
		recentOMProblem = concatenate("toOpenMathFFElt_PowerOfPrimElt applied to zero element");
		print "WARNING -- "|recentOMProblem;
		return toOpenMath 0;
	);

	print "WARNING THIS IS HORRIBLY SLOW AND INEFFICIENT AND SHOULD BE FIXED";
		
	a := (generators class x)_0;
	q := (class x).order;
	r := a^0;
	i := 0;

	while (i < q) do (
		if (r == x) then break; 
		r = r*a;
		i = i+1;
	);
	
	if (i >= q) then (theOMerror = "Infinite loop in finfield1.primitive_element."; error("whoops"));

	OMA("arith1", "power", {OMA("finfield1", "primitive_element", {toOpenMath q}), toOpenMath i })
)

--- From OpenMath ---
OMSEvaluators#"finfield1" = new MutableHashTable;
OMSEvaluators#"finfield1"#"field_by_conway" = (args, attrs) -> (
	a := apply(args, fromOpenMath);
	getGF(a#0, a#1)
)
OMSEvaluators#"finfield1"#"primitive_element" = (args, attrs) -> (
	if (#args =!= 1) then
		(theOMerror = concatenate("finfield1.primitive_element only supported with one argument; ", toString #args, " given."); error("whoops"));
		
	a := fromOpenMath args#0;
	if (class a =!= ZZ) then
		(theOMerror = "finfield1.primitive_element only supported with one integer argument."; error("whoops"));
		
	F := getGF(a, 1);
	try F#OpenMathPrefEltRepr = PowerOfPrimitiveElement;
	
	F_0
)