# \#nemo

**URL:** https://discourse.julialang.org/tag/nemo/711.md

[Latest](https://discourse.julialang.org/latest.md) · [Categories](https://discourse.julialang.org/categories.md) · [Tags](https://discourse.julialang.org/tags.md)

---

## [Factor polynomial](https://discourse.julialang.org/t/factor-polynomial/110926)

<div class="topic-metadata">

**Author:** [@jar1](https://discourse.julialang.org/u/jar1)\
**Replies:** 5\
**Last updated:** [May 8, 2025, 1:43pm UTC](https://discourse.julialang.org/t/factor-polynomial/110926 "2025-05-08T13:43:32Z")

</div>

I want to factor(x^5 + x + 1) into (x^3 - x^2 + 1)(x^2 + x + 1). Wolfram can do it, is there a Julia package that can? AbstractAlgebra.jl has a function called factor but I can’t figure out how to use it. Polynomials.j…

---

## [Singular.jl: polynomial ring over a polynomial ring](https://discourse.julialang.org/t/singular-jl-polynomial-ring-over-a-polynomial-ring/110839)

<div class="topic-metadata">

**Author:** [@Andreas\_Poulsen](https://discourse.julialang.org/u/Andreas_Poulsen)\
**Replies:** 2\
**Last updated:** [February 27, 2024, 11:50pm UTC](https://discourse.julialang.org/t/singular-jl-polynomial-ring-over-a-polynomial-ring/110839 "2024-02-27T23:50:43Z")

</div>

Hi I’m attempting to use a library in Julia (grobcov.lib), which expects an ideal of polynomials over a polynomial ring, for example QQ\["a", "b"\]\["x", "y"\]. My problem is how to construct such a ring in Singular. I’ve t…

---

## [Arbitrary Precision BesselK (ArbNumerics.jl)](https://discourse.julialang.org/t/arbitrary-precision-besselk-arbnumerics-jl/53343)

<div class="topic-metadata">

**Author:** [@Neutrino155](https://discourse.julialang.org/u/Neutrino155)\
**Replies:** 12\
**Last updated:** [August 16, 2023, 3:58pm UTC](https://discourse.julialang.org/t/arbitrary-precision-besselk-arbnumerics-jl/53343 "2023-08-16T15:58:54Z")

</div>

Hello! I am fairly new to Julia and have been working with ArbNumerics.jl BesselK function as part of evaluating a complicated response function that can be expanded in a series of BesselK functions. The arguments it en…

---

## [Solving A\*x=b in Nemo](https://discourse.julialang.org/t/solving-a-x-b-in-nemo/101051)

<div class="topic-metadata">

**Author:** [@blociss](https://discourse.julialang.org/u/blociss)\
**Replies:** 7\
**Last updated:** [July 3, 2023, 7:30am UTC](https://discourse.julialang.org/t/solving-a-x-b-in-nemo/101051 "2023-07-03T07:30:06Z")

</div>

Let A = \[1 0 0; 0 1 1; 0 3 0; 0 0 1\] a matrix of type 4×3 Matrix{QQFieldElem}: and Q=\[2 ,-3 , 1, 1\] of type 4-element Vector{QQFieldElem}: My goal is to compute A \\setminus Q but I got error MethodError: no m…

---

## [Coefficients on Univariate Polynomial Ring](https://discourse.julialang.org/t/coefficients-on-univariate-polynomial-ring/101071)

<div class="topic-metadata">

**Author:** [@blociss](https://discourse.julialang.org/u/blociss)\
**Replies:** 0\
**Last updated:** [July 2, 2023, 8:48am UTC](https://discourse.julialang.org/t/coefficients-on-univariate-polynomial-ring/101071 "2023-07-02T08:48:24Z")

</div>

Let R,q=QQ\["q"\] and S,(x,q)=QQ\["x","q"\] two polynomial Ring. let p = q^4 - 2\*q^2 + q + 1 defined in R and S. collect(coefficients(p)) in R give me 5-element Vector{QQFieldElem}: 1 1 -2 0 1 while in the ri…

---

## [Extension for Galois Field of order 2](https://discourse.julialang.org/t/extension-for-galois-field-of-order-2/97334)

<div class="topic-metadata">

**Author:** [@SSF](https://discourse.julialang.org/u/SSF)\
**Replies:** 7\
**Last updated:** [April 12, 2023, 7:12am UTC](https://discourse.julialang.org/t/extension-for-galois-field-of-order-2/97334 "2023-04-12T07:12:09Z")

</div>

Hello, New to Julia and to Galois Field, I would like to calculate in GF(2^8). Using Nemo, here is what I start with: julia\> using Nemo Welcome to Nemo version 0.33.7 Nemo comes with absolutely no warranty whatsoever…

---

## [Elliptic theta functions](https://discourse.julialang.org/t/elliptic-theta-functions/65742)

<div class="topic-metadata">

**Author:** [@Gabrielmlando](https://discourse.julialang.org/u/Gabrielmlando)\
**Replies:** 15\
**Last updated:** [July 13, 2022, 1:44pm UTC](https://discourse.julialang.org/t/elliptic-theta-functions/65742 "2022-07-13T13:44:26Z")

</div>

Are elliptic theta functions implemented in Julia? They exist in Mathematica as EllipticTheta, but I need them for heavy numerical calculations.

---

## [How to convert fmpq to Int](https://discourse.julialang.org/t/how-to-convert-fmpq-to-int/82634)

<div class="topic-metadata">

**Author:** [@XLVII](https://discourse.julialang.org/u/XLVII)\
**Replies:** 5\
**Last updated:** [June 12, 2022, 9:01pm UTC](https://discourse.julialang.org/t/how-to-convert-fmpq-to-int/82634 "2022-06-12T21:01:54Z")

</div>

v = fmpq\[1,0,0\] vector, how to convert this to just \[1,0,0\]

---

## [Convert from abstract type to julia-type with cost](https://discourse.julialang.org/t/convert-from-abstract-type-to-julia-type-with-cost/73927)

<div class="topic-metadata">

**Author:** [@qiu\_lin](https://discourse.julialang.org/u/qiu_lin)\
**Replies:** 2\
**Last updated:** [January 6, 2022, 9:03pm UTC](https://discourse.julialang.org/t/convert-from-abstract-type-to-julia-type-with-cost/73927 "2022-01-06T21:03:24Z")

</div>

I need to use hypergeometric function define on the whole complex-plane. And I find that Arblib.jl and Nemo.jl fit for me but the problem is that they use abitary types both and thus whatever math manipulation put on the…

---

## [Overloading isunit from Nemo ring/field](https://discourse.julialang.org/t/overloading-isunit-from-nemo-ring-field/67777)

<div class="topic-metadata">

**Author:** [@Gilles\_Dubois](https://discourse.julialang.org/u/Gilles_Dubois)\
**Replies:** 6\
**Last updated:** [September 7, 2021, 6:42am UTC](https://discourse.julialang.org/t/overloading-isunit-from-nemo-ring-field/67777 "2021-09-07T06:42:12Z")

</div>

Hi everybody ! My first attempt was quite successful ! I wanted to check experimentally that Z/nZ is a field if and only if n is a prime number. This is easy to prove but it was just an opportunity to use the Nemo resi…

---

## [Nemo - Error in overloading operator '=='](https://discourse.julialang.org/t/nemo-error-in-overloading-operator/67773)

<div class="topic-metadata">

**Author:** [@Gilles\_Dubois](https://discourse.julialang.org/u/Gilles_Dubois)\
**Replies:** 2\
**Last updated:** [September 6, 2021, 9:17pm UTC](https://discourse.julialang.org/t/nemo-error-in-overloading-operator/67773 "2021-09-06T21:17:13Z")

</div>

Hello everybody ! I want to construct product rings (fields) of modular integers. For example Z/5ZxZ/7Z I began like this : #http://nemocas.github.io/Nemo.jl/v0.6/types/#the-abstract-type-hierarchy-in-nemo using Nemo …

---

## [Nemo fmpq rationals](https://discourse.julialang.org/t/nemo-fmpq-rationals/67263)

<div class="topic-metadata">

**Author:** [@Gilles\_Dubois](https://discourse.julialang.org/u/Gilles_Dubois)\
**Replies:** 3\
**Last updated:** [August 29, 2021, 12:08pm UTC](https://discourse.julialang.org/t/nemo-fmpq-rationals/67263 "2021-08-29T12:08:51Z")

</div>

Hi everybody, I’m making some experiments with Nemo package. The ZZ (fmtz) representation of integers is perfect. QQ (fmtq) seems quite good too, but … I have some overflow problem. QQ identifies with Rational{BigIn…

---

## [Inverse of a boolean (or integer) matrix vs factorization](https://discourse.julialang.org/t/inverse-of-a-boolean-or-integer-matrix-vs-factorization/62554)

<div class="topic-metadata">

**Author:** [@Krastanov](https://discourse.julialang.org/u/Krastanov)\
**Replies:** 7\
**Last updated:** [June 8, 2021, 7:28am UTC](https://discourse.julialang.org/t/inverse-of-a-boolean-or-integer-matrix-vs-factorization/62554 "2021-06-08T07:28:46Z")

</div>

My understanding is that factorization is almost always better than explicit inversion for a matrix of real (or complex) numbers (because usually you do not actually need the explicit inverse, rather some other operation…

---

## [Root isolation of real-rooted integer polynomials](https://discourse.julialang.org/t/root-isolation-of-real-rooted-integer-polynomials/51421)

<div class="topic-metadata">

**Author:** [@malacroi](https://discourse.julialang.org/u/malacroi)\
**Replies:** 12\
**Last updated:** [December 9, 2020, 6:37pm UTC](https://discourse.julialang.org/t/root-isolation-of-real-rooted-integer-polynomials/51421 "2020-12-09T18:37:33Z")

</div>

I have a collection of polynomials with non-negative integer coefficients that I know to be real-rooted with no repeated roots by examining Sturm chains for each. I would like to show that they form an interlacing famil…

---

## [Why it is so slow to factor(BigInt) by Primes?](https://discourse.julialang.org/t/why-it-is-so-slow-to-factor-bigint-by-primes/31112)

<div class="topic-metadata">

**Author:** [@shenlixing](https://discourse.julialang.org/u/shenlixing)\
**Replies:** 5\
**Last updated:** [November 18, 2019, 9:30am UTC](https://discourse.julialang.org/t/why-it-is-so-slow-to-factor-bigint-by-primes/31112 "2019-11-18T09:30:06Z")

</div>

I add Primes into Julia today , it works well. But a little surprise, when factor(12346871234523845243095830496798990897706789), it takes 89 seconds, much longer than SageMath ( less than 1 second). I guess that Prime…

---

## [Clarification on type piracy](https://discourse.julialang.org/t/clarification-on-type-piracy/5926)

<div class="topic-metadata">

**Author:** [@wbhart](https://discourse.julialang.org/u/wbhart)\
**Replies:** 38\
**Last updated:** [September 17, 2017, 8:47pm UTC](https://discourse.julialang.org/t/clarification-on-type-piracy/5926 "2017-09-17T20:47:36Z")

</div>

In the style guide, it talks about type piracy \[1\], the practice of extending or redefining methods on types you didn’t define. We’ve been told in the past not to do this, especially with methods and types defined by Bas…