#5136: sage-3.3.alpha3 gets stuck computing the ring of integers of a relative
number field
---------------------------+------------------------------------------------
Reporter: AlexGhitza | Owner: was
Type: defect | Status: new
Priority: blocker | Milestone: sage-3.3
Component: number theory | Resolution:
Keywords: |
---------------------------+------------------------------------------------
Comment (by AlexGhitza):
Actually, CTRL-C does eventually stop this, with the following result:
{{{
KeyboardInterrupt Traceback (most recent call
last)
/home/ghitza/.sage/temp/artin/14950/_home_ghitza__sage_init_sage_0.py in
<module>()
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/rings/number_field/number_field_base.so in
sage.rings.number_field.number_field_base.NumberField.ring_of_integers
(sage/rings/number_field/number_field_base.c:1090)()
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/rings/number_field/number_field_rel.pyc in
maximal_order(self)
438 O = K.maximal_order()
439 B = [from_K(z) for z in O.basis()]
--> 440 OK = self.order(B, check_is_integral=False,
check_rank=False)
441 self.__maximal_order = OK
442 return OK
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/rings/number_field/number_field_rel.pyc in order(self,
*gens, **kwds)
1363 gens = gens[0]
1364 gens = [self(x) for x in gens]
-> 1365 return order.relative_order_from_ring_generators(gens,
**kwds)
1366
1367
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/rings/number_field/order.pyc in
relative_order_from_ring_generators(gens, check_is_integral, check_rank,
is_maximal, allow_subfield)
1647 abs_order =
absolute_order_from_module_generators(absolute_order_module_gens,
1648
check_integral=False, check_is_ring=False,
-> 1649
check_rank=check_rank)
1650
1651 return RelativeOrder(K, abs_order, check=False,
is_maximal=is_maximal)
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/rings/number_field/order.pyc in
absolute_order_from_module_generators(gens, check_integral, check_rank,
check_is_ring, is_maximal, allow_subfield)
1565 mod_gens = [to_V(x) for x in gens]
1566 ambient = ZZ**V.dimension()
-> 1567 W = ambient.span(mod_gens)
1568
1569 if allow_subfield:
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/modules/free_module.pyc in span(self, gens, base_ring,
check, already_echelonized)
2146 if base_ring is None or base_ring == self.base_ring():
2147 return FreeModule_submodule_pid(
-> 2148 self.ambient_module(), gens, check=check,
already_echelonized=already_echelonized)
2149 else:
2150 try:
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/modules/free_module.pyc in __init__(self, ambient, gens,
check, already_echelonized)
4738 """
4739 FreeModule_submodule_with_basis_pid.__init__(self,
ambient, basis=gens,
-> 4740 echelonize=True,
already_echelonized=already_echelonized)
4741
4742 def _repr_(self):
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/modules/free_module.pyc in __init__(self, ambient, basis,
check, echelonize, echelonized_basis, already_echelonized)
3929
3930 if echelonize and not already_echelonized:
-> 3931 basis = self._echelonized_basis(ambient, basis)
3932
3933 FreeModule_generic.__init__(self, R, rank=len(basis),
degree=ambient.degree(), sparse=ambient.is_sparse())
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/modules/free_module.pyc in _echelonized_basis(self, ambient,
basis)
4043 if d != 1:
4044 basis = [x*d for x in basis]
-> 4045 A = MAT(basis)
4046 E = A.echelon_form()
4047 if d != 1:
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/matrix/matrix_space.pyc in __call__(self, entries, coerce,
copy, rows)
341 entries = e
342 else:
--> 343 entries = sum([v.list() for v in entries],[])
344
345 if rows is None:
/opt/sage-3.3.alpha0/local/lib/python2.5/site-
packages/sage/interfaces/get_sigs.pyc in my_sigint(x, n)
7
8 def my_sigint(x, n):
----> 9 raise KeyboardInterrupt
10
11 def my_sigfpe(x, n):
KeyboardInterrupt:
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5136#comment:1>
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
-~----------~----~----~----~------~----~------~--~---
