3
votes
1answer
68 views

On Hilbert Class Polynomial

Is there any open source software which computes Hilbert Class polynomial of an imaginary quadratic fields? Thank you in advance
0
votes
1answer
131 views

SageMath: Embed all roots of a polynomial

I have a polynomial, and I would like to make a number field in Sage that would contain all roots of this polynomial. I have tried the following code but it throws an error: ...
1
vote
0answers
139 views

Necessary and sufficient conditions for Hensel lifting in the multidimensional case

in Multidimensional Hensel lifting, @Hurkyl gave a neat sufficient condition for the existence of $p$-adic liftings in the multidimensional case. I have finally gotten around (but please also see ...
3
votes
0answers
82 views

p-adic liftings on SAGE

I asked a question the other day: Multidimensional Hensel lifting which @Hurkyl kindly and very elegantly answered. A follow-on from this is that I have tried to implement exactly the "algorithm" ...
4
votes
0answers
73 views

Using sage to test for squares in residue fields

Let $K$ be a number field, $x \in \mathcal{O}_K$, and $\mathfrak{p} $ a prime of $K$. I want to find out using sage whether or not the reduction of $x$ modulo $\mathfrak{p}$ is a square in the ...