Hi folks,
The patch trac_6396-deg1primes.patch at ticket #6396 has this docstring:
201 We test that #6396 is fixed. Note that the doctest is
flagged as random
202 since the string representation of ideals is somewhat
unpredictable.::
203
204 sage: N.<a,b> = NumberField([x^2 + 1, x^2 - 5])
205 sage: ids = N.primes_of_degree_one_list(10); a #
random
206 [Fractional ideal ((-1/2*b + 1/2)*a + 2),
207 Fractional ideal (-b*a + 1/2*b + 1/2),
208 Fractional ideal ((1/2*b + 3/2)*a - b),
209 Fractional ideal ((-1/2*b - 3/2)*a + b - 1),
210 Fractional ideal (-b*a - b + 1),
211 Fractional ideal (3*a + 1/2*b - 1/2),
212 Fractional ideal ((-3/2*b + 1/2)*a + 1/2*b - 1/2),
213 Fractional ideal ((-1/2*b - 5/2)*a - b + 1),
214 Fractional ideal (2*a - 3/2*b - 1/2),
215 Fractional ideal (3*a + 1/2*b + 5/2)]
In particular, note line 205:
sage: ids = N.primes_of_degree_one_list(10); a # random
which the docstring flags as random. But I think the "a" on that line
is a typo, because with Sage 4.1.1 this is what I get:
sage: N.<a,b> = NumberField([x^2 + 1, x^2 - 5])
sage: ids = N.primes_of_degree_one_list(10)
sage: ids
[Fractional ideal (2*a + 1/2*b - 1/2),
Fractional ideal ((-1/2*b - 1/2)*a - b),
Fractional ideal (b*a + 1/2*b + 3/2),
Fractional ideal ((-1/2*b - 3/2)*a + b - 1),
Fractional ideal ((-b + 1)*a + b),
Fractional ideal (3*a + 1/2*b - 1/2),
Fractional ideal ((1/2*b - 1/2)*a + 3/2*b - 1/2),
Fractional ideal ((-1/2*b - 5/2)*a - b + 1),
Fractional ideal (2*a - 3/2*b - 1/2),
Fractional ideal (3*a + 1/2*b + 5/2)]
That is, I replaced the "a" with "ids".
--
Regards
Minh Van Nguyen
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
