#19748: bug in number_of_Gamma0_NFCusps
-----------------------------+--------------------------------------
Reporter: cremona | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-7.0
Component: number theory | Keywords: number field cusps
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-----------------------------+--------------------------------------
Haluk Sengun reported this:
{{{
sage: k.<a> = NumberField(x^2 + 7)
sage: N = k.ideal(9)
sage: from sage.modular.cusps_nf import number_of_Gamma0_NFCusps
sage: number_of_Gamma0_NFCusps(N)
...
PariError: inconsistent variables in nf_to_scalar_or_basis, u != y
}}}
For a simpler sequence which triggers the bug:
{{{
sage: k.<a> = NumberField(x^2 + 7)
sage: ugens = k.unit_group().gens(); ugens
(u,)
sage: I = k.ideal(3)
sage: I.invertible_residues_mod(ugens)
}}}
The following works, showing how to fix it (possibly):
{{{
sage: I.invertible_residues_mod([k(u) for u in ugens])
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/19748>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
