pub static COMPLEXRATPOLYFIELD: LazyLock<FractionField<PolynomialRing<AlgebraicExtension<FractionField<IntegerRing>>, u16>>>