#5513: [with patch, needs work] Enhanced support for number field unit groups
---------------------------+------------------------------------------------
Reporter: cremona | Owner: was
Type: enhancement | Status: new
Priority: major | Milestone: sage-3.4.1
Component: number theory | Keywords: number field unit group
---------------------------+------------------------------------------------
Comment(by mabshoff):
Using units_rebased2.patch there are a bunch of probably 32 vs. 64 bit
doctest failures:
{{{
sage -t -long devel/sage/sage/rings/number_field/unit_group.py
**********************************************************************
File "/scratch/mabshoff/sage-3.4.1.rc0/devel/sage-
main/sage/rings/number_field/unit_group.py", line 11:
sage: UK.gens()
Expected:
[1/12*a^3 - 1/6*a, 1/24*a^3 + 1/4*a^2 - 1/12*a - 1]
Got:
[1/12*a^3 - 1/6*a, 1/24*a^3 - 7/12*a - 1/2]
**********************************************************************
File "/scratch/mabshoff/sage-3.4.1.rc0/devel/sage-
main/sage/rings/number_field/unit_group.py", line 31:
sage: UK.fundamental_units()
Expected:
[1/24*a^3 + 1/4*a^2 - 1/12*a - 1]
Got:
[1/24*a^3 - 7/12*a - 1/2]
**********************************************************************
File "/scratch/mabshoff/sage-3.4.1.rc0/devel/sage-
main/sage/rings/number_field/unit_group.py", line 43:
sage: u = UK.exp([13,10]); u
Expected:
-41/8*a^3 - 55/4*a^2 + 41/4*a + 55
Got:
41/8*a^3 + 55/4*a^2 - 41/4*a - 55
**********************************************************************
File "/scratch/mabshoff/sage-3.4.1.rc0/devel/sage-
main/sage/rings/number_field/unit_group.py", line 64:
sage: UL.gens()
Expected:
[-b^3*a - b^3, -b^3*a + b, (-b^3 - b^2 - b)*a - b - 1, (-b^3 - 1)*a -
b^2 + b - 1]
Got:
[-b^3*a - b^3, -b^3*a + b, a - b^3 + 1, (-b^2 - b)*a - b^3 - b^2 + 1]
**********************************************************************
File "/scratch/mabshoff/sage-3.4.1.rc0/devel/sage-
main/sage/rings/number_field/unit_group.py", line 374:
sage: U.torsion_generator()
Expected:
-1/4*a^3 - 1/4*a + 1/2
Got:
1/4*a^3 + 1/4*a + 1/2
**********************************************************************
File "/scratch/mabshoff/sage-3.4.1.rc0/devel/sage-
main/sage/rings/number_field/unit_group.py", line 164:
sage: UK.gens()
Expected:
[-z^11, z^5 + z^3, z^6 + z^5, z^9 + z^7 + z^5, z^9 + z^5 + z^4 + 1,
z^5 + z]
Got:
[-z^3, z^5 + z^3, z^6 + z^5, z^9 + z^7 + z^5, z^9 + z^5 + z^4 + 1, z^5
+ z]
**********************************************************************
File "/scratch/mabshoff/sage-3.4.1.rc0/devel/sage-
main/sage/rings/number_field/unit_group.py", line 303:
sage: UK.gen(0)
Expected:
-z^11
Got:
-z^3
**********************************************************************
4 items had failures:
4 of 35 in __main__.example_0
1 of 6 in __main__.example_12
1 of 12 in __main__.example_2
1 of 11 in __main__.example_8
***Test Failed*** 7 failures.
For whitespace errors, see the file
/scratch/mabshoff/sage-3.4.1.rc0/tmp/.doctest_unit_group.py
[2.0 s]
}}}
Cheers,
Michael
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5513#comment:21>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
