Awesome! I'll explore that. Thanks!
On Monday, July 10, 2017 at 3:38:27 PM UTC+2, John Cremona wrote:
>
> Sage does have a function is_norm() for number field elements so the
> underlying algebraic problem should be solvable.
>
> Example (p=3):
>
> sage: Q3. = CyclotomicField(3)
> sage: a=2+3*
On 10 July 2017 at 14:56, Nils Bruin wrote:
> On Monday, July 10, 2017 at 3:38:27 PM UTC+2, John Cremona wrote:
>>
>> Sage does have a function is_norm() for number field elements so the
>> underlying algebraic problem should be solvable.
>
>
> It looks like the implementation of this routine requ
On Monday, July 10, 2017 at 3:38:27 PM UTC+2, John Cremona wrote:
>
> Sage does have a function is_norm() for number field elements so the
> underlying algebraic problem should be solvable.
>
It looks like the implementation of this routine requires a galois
extension:
sage: K.=NumberField(x^3
Sage does have a function is_norm() for number field elements so the
underlying algebraic problem should be solvable.
Example (p=3):
sage: Q3. = CyclotomicField(3)
sage: a=2+3*z
sage: b=3+4*z
sage: x=polygen(Q3)
sage: L.=Q3.extension(x^3-a)
sage: b.is_norm(L)
False
On 10 July 2017 at 14:23, Pier
Hi all !
I wanted to know whether Sagemath had any support for cyclic algebras. From
the manual, I strongly suspect the answer is "no", but you never know.
Let me be more concrete. For a prime p, let K be QQ with the p-th roots of
unity adjoined. For a, b in K, there is a cyclic algebra (a,b) o