One Hat Cyber Team
Your IP :
216.73.216.80
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
Eksekusi
Dir :
~
/
usr
/
share
/
Macaulay2
/
OpenMath
/
cds
/
View File Name :
polynomial4.m2
-- This CD is experimental; A recent version may possibly be found at -- http://www.win.tue.nl/SCIEnce/cds/polynomial4.html -- -- done: factor, factorisations, factorisations_complete, factorisations_incomplete, factorise, factors, -- multiplicity -- todo/not done: definitely_irreducible, possibly_reducible, ground_ring_injected, , -- divide, quotient, quotient_remainder, remainder FactoredPolynomial = new Type of BasicList --- To OpenMath --- ring FactoredPolynomial := f -> f#0#0 toOpenMath FactoredPolynomial := x -> ( R := ring x; l := { }; l = append(l, toOpenMath(R)); l = append(l, OMI(1)); for i in x do l = append(l, OMA("polynomial4", "factor", { toOpenMath(i#0), OMA("polynomial4", "multiplicity", {toOpenMath(i#1)}) })); --Then, wrap l in some thing that people care about OMA("polynomial4", "factorisations", { OMS("polynomial4", "factorisations_complete"), OMA("polynomial4", "factors", l) }) ) --- From OpenMath --- OMSEvaluators#"polynomial4" = new MutableHashTable; OMSEvaluators#"polynomial4"#"factorise" = (args, expr) -> ( pol := fromOpenMath(args#0); << "pol = " << pol << endl; new FactoredPolynomial from factor(pol) )