No, start-up fails with a related(?) seg fault.

Am Dienstag, 5. April 2016 11:50:01 UTC+2 schrieb Dima Pasechnik:
>
> Does Sage start for you?
>
> On Tuesday, April 5, 2016 at 10:39:24 AM UTC+1, 
> alexander.s...@googlemail.com wrote:
>>
>> My home directory is in C:\cygwin64. Permission were mixed up, but after 
>> restoring them the error persists. 
>> Although sage is no longer complaining about DOT_SAGE permissions.
>>
>> Am Dienstag, 5. April 2016 10:32:06 UTC+2 schrieb Dima Pasechnik:
>>>
>>>
>>>
>>> On Tuesday, April 5, 2016 at 7:56:01 AM UTC+1, 
>>> alexander.s...@googlemail.com wrote:
>>>>
>>>> I faced the same error, which appears to be caused by gcc-5.3.0. After 
>>>> downgrading to gcc-4.9.3, brial compiled successfully.
>>>> I am now stuck with a segmentation fault related to doc-html.
>>>>
>>> It seems to crash on 
>>> "Setting permissions of DOT_SAGE directory so only you can read and 
>>> write it."
>>>
>>> do you have your home directory in an unusual location/with unusual 
>>> permissions?
>>> (cygwin is not known to be 100% compatible in this sense, e.g. on Samba 
>>> shares things
>>> can go funny, etc...)
>>>
>>>
>>>  
>>>
>>>>
>>>> Am Mittwoch, 30. März 2016 19:15:14 UTC+2 schrieb Witold Żarowski:
>>>>>
>>>>> I can confirm that I was able to compile mprf using the patch you 
>>>>> provided.
>>>>> Then ATLAS was compiling for ages, and after that another error 
>>>>> occurred, this time compiling brial:
>>>>> ========================================
>>>>> libtool: compile:  g++ -DHAVE_CONFIG_H -I. 
>>>>> -I../../libpolybori/include/polybori -I../../groebner/include 
>>>>> -I../../libpolybori/include -std=c++98 -ftemplate-depth-100 -g -O2 -MT 
>>>>> BlockDegLexOrder.lo -MD -MP -MF .deps/BlockDegLexOrder.Tpo -c 
>>>>> BlockDegLexOrder.cc  -DDLL_EXPORT -DPIC -o .libs/BlockDegLexOrder.o
>>>>> In file included from 
>>>>> ../../libpolybori/include/polybori/cudd/../../../../Cudd/cudd/cudd.h:90:0,
>>>>>                  from 
>>>>> ../../libpolybori/include/polybori/cudd/cudd.h:20,
>>>>>                  from 
>>>>> ../../libpolybori/include/polybori/pbori_defs.h:27,
>>>>>                  from 
>>>>> ../../libpolybori/include/polybori/BlockDegLexOrder.h:19,
>>>>>                  from BlockDegLexOrder.cc:18:
>>>>> /usr/lib/gcc/x86_64-pc-cygwin/5.3.0/include/c++/cstdio:175:11: error: 
>>>>> '::snprintf' has not been declared
>>>>>    using ::snprintf;
>>>>>            ^
>>>>> /usr/lib/gcc/x86_64-pc-cygwin/5.3.0/include/c++/cstdio:176:11: error: 
>>>>> '::vfscanf' has not been declared
>>>>>    using ::vfscanf;
>>>>>            ^
>>>>> ========================================
>>>>>
>>>>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
***************************************************************************

IPython post-mortem report

{'commit_hash': u'7f50c6b',
 'commit_source': 'installation',
 'default_encoding': 'UTF-8',
 'ipython_path': 
'/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/IPython',
 'ipython_version': '4.1.2',
 'os_name': 'posix',
 'platform': 'CYGWIN_NT-6.1-2.4.1-0.293-5-3-x86_64-64bit',
 'sys_executable': '/home/stottmeister/downloads/sage-7.1/local/bin/python',
 'sys_platform': 'cygwin',
 'sys_version': '2.7.10 (default, Mar 22 2016, 15:55:48) \n[GCC 4.9.3]'}

***************************************************************************



***************************************************************************

Crash traceback:

---------------------------------------------------------------------------
---------------------------------------------------------------------------
SignalErrorPython 2.7.10: /home/stottmeister/downloads/sage-7.1/local/bin/python
                                                   Tue Apr  5 11:51:08 2016
A problem occurred executing Python code.  Here is the sequence of function
calls leading up to the error, with the most recent (innermost) call last.
/home/stottmeister/downloads/sage-7.1/src/bin/sage-ipython in <module>()
      1 #!/usr/bin/env python
      2 # -*- coding: utf-8 -*-
      3 """
      4 Sage IPython startup script.
      5 """
      6 
      7 # Install extra readline commands before IPython initialization
      8 from sage.repl.readline_extra_commands import *
      9 
     10 from sage.repl.interpreter import SageTerminalApp
     11 
     12 app = SageTerminalApp.instance()
---> 13 app.initialize()
        global app.initialize = <bound method SageTerminalApp.initialize of 
<sage.repl.interpreter.SageTerminalApp object at 0x6ffffcc7510>>
     14 app.start()

<decorator-gen-111> in initialize(self=<sage.repl.interpreter.SageTerminalApp 
object>, argv=None)

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/traitlets/config/application.pyc
 in catch_config_error(method=<function initialize>, 
app=<sage.repl.interpreter.SageTerminalApp object>, *args=(None,), **kwargs={})
     59 
     60 
#-----------------------------------------------------------------------------
     61 # Application class
     62 
#-----------------------------------------------------------------------------
     63 
     64 @decorator
     65 def catch_config_error(method, app, *args, **kwargs):
     66     """Method decorator for catching invalid config 
(Trait/ArgumentErrors) during init.
     67 
     68     On a TraitError (generally caused by bad config), this will print 
the trait's
     69     message, and exit the app.
     70     
     71     For use on init methods, to prevent invoking excepthook on invalid 
input.
     72     """
     73     try:
---> 74         return method(app, *args, **kwargs)
        method = <function initialize at 0x6fffd93af50>
        app = <sage.repl.interpreter.SageTerminalApp object at 0x6ffffcc7510>
        args = (None,)
        kwargs = {}
     75     except (TraitError, ArgumentError) as e:
     76         app.print_help()
     77         app.log.fatal("Bad config encountered during initialization:")
     78         app.log.fatal(str(e))
     79         app.log.debug("Config at the time: %s", app.config)
     80         app.exit(1)
     81 
     82 
     83 class ApplicationError(Exception):
     84     pass
     85 
     86 
     87 class LevelFormatter(logging.Formatter):
     88     """Formatter with additional `highlevel` record
     89     

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/IPython/terminal/ipapp.pyc
 in initialize(self=<sage.repl.interpreter.SageTerminalApp object>, argv=None)
    291 
    292         return super(TerminalIPythonApp, self).parse_command_line(argv)
    293     
    294     @catch_config_error
    295     def initialize(self, argv=None):
    296         """Do actions after construct, but before starting the app."""
    297         super(TerminalIPythonApp, self).initialize(argv)
    298         if self.subapp is not None:
    299             # don't bother initializing further, starting subapp
    300             return
    301         # print self.extra_args
    302         if self.extra_args and not self.something_to_run:
    303             self.file_to_run = self.extra_args[0]
    304         self.init_path()
    305         # create the shell
--> 306         self.init_shell()
        self.init_shell = <bound method SageTerminalApp.init_shell of 
<sage.repl.interpreter.SageTerminalApp object at 0x6ffffcc7510>>
    307         # and draw the banner
    308         self.init_banner()
    309         # Now a variety of things that happen after the banner is 
printed.
    310         self.init_gui_pylab()
    311         self.init_extensions()
    312         self.init_code()
    313 
    314     def init_shell(self):
    315         """initialize the InteractiveShell instance"""
    316         # Create an InteractiveShell instance.
    317         # shell.display_banner should always be False for the terminal
    318         # based app, because we call shell.show_banner() by hand below
    319         # so the banner shows *before* all extension loading stuff.
    320         self.shell = TerminalInteractiveShell.instance(parent=self,
    321                         display_banner=False, 
profile_dir=self.profile_dir,

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/repl/interpreter.pyc
 in init_shell(self=<sage.repl.interpreter.SageTerminalApp object>)
    793         self.shell.has_sage_extensions = SAGE_EXTENSION in 
self.extensions
    794 
    795         # Load the %lprun extension if available
    796         try:
    797             import line_profiler
    798         except ImportError:
    799             pass
    800         else:
    801             self.extensions.append('line_profiler')
    802 
    803         if self.shell.has_sage_extensions:
    804             self.extensions.remove(SAGE_EXTENSION)
    805 
    806             # load sage extension here to get a crash if
    807             # something is wrong with the sage library
--> 808             self.shell.extension_manager.load_extension(SAGE_EXTENSION)
        self.shell.extension_manager.load_extension = <bound method 
ExtensionManager.load_extension of <IPython.core.extensions.ExtensionManager 
object at 0x6fffd609f10>>
        global SAGE_EXTENSION = 'sage'
    809 
    810 

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/IPython/core/extensions.pyc
 in load_extension(self=<IPython.core.extensions.ExtensionManager object>, 
module_str='sage')
     71 
     72         Returns the string "already loaded" if the extension is already 
loaded,
     73         "no load function" if the module doesn't have a 
load_ipython_extension
     74         function, or None if it succeeded.
     75         """
     76         if module_str in self.loaded:
     77             return "already loaded"
     78         
     79         from IPython.utils.syspathcontext import prepended_to_syspath
     80         
     81         with self.shell.builtin_trap:
     82             if module_str not in sys.modules:
     83                 with prepended_to_syspath(self.ipython_extension_dir):
     84                     __import__(module_str)
     85             mod = sys.modules[module_str]
---> 86             if self._call_load_ipython_extension(mod):
        self._call_load_ipython_extension = <bound method 
ExtensionManager._call_load_ipython_extension of 
<IPython.core.extensions.ExtensionManager object at 0x6fffd609f10>>
        mod = <module 'sage' from 
'/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/__init__.pyc'>
     87                 self.loaded.add(module_str)
     88             else:
     89                 return "no load function"
     90 
     91     def unload_extension(self, module_str):
     92         """Unload an IPython extension by its module name.
     93 
     94         This function looks up the extension's name in ``sys.modules`` 
and
     95         simply calls ``mod.unload_ipython_extension(self)``.
     96         
     97         Returns the string "no unload function" if the extension 
doesn't define
     98         a function to unload itself, "not loaded" if the extension 
isn't loaded,
     99         otherwise None.
    100         """
    101         if module_str not in self.loaded:

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/IPython/core/extensions.pyc
 in _call_load_ipython_extension(self=<IPython.core.extensions.ExtensionManager 
object>, mod=<module 'sage' from 
'/home/stottmeister/download...l/lib/python2.7/site-packages/sage/__init__.pyc'>)
    118         """
    119         from IPython.utils.syspathcontext import prepended_to_syspath
    120 
    121         if (module_str in self.loaded) and (module_str in sys.modules):
    122             self.unload_extension(module_str)
    123             mod = sys.modules[module_str]
    124             with prepended_to_syspath(self.ipython_extension_dir):
    125                 reload(mod)
    126             if self._call_load_ipython_extension(mod):
    127                 self.loaded.add(module_str)
    128         else:
    129             self.load_extension(module_str)
    130 
    131     def _call_load_ipython_extension(self, mod):
    132         if hasattr(mod, 'load_ipython_extension'):
--> 133             mod.load_ipython_extension(self.shell)
        mod.load_ipython_extension = <function load_ipython_extension at 
0x6ffffcc3f50>
        self.shell = <sage.repl.interpreter.SageTerminalInteractiveShell object 
at 0x6fffd969210>
    134             return True
    135 
    136     def _call_unload_ipython_extension(self, mod):
    137         if hasattr(mod, 'unload_ipython_extension'):
    138             mod.unload_ipython_extension(self.shell)
    139             return True
    140 
    141     def install_extension(self, url, filename=None):
    142         """Download and install an IPython extension. 
    143 
    144         If filename is given, the file will be so named (inside the 
extension
    145         directory). Otherwise, the name from the URL will be used. The 
file must
    146         have a .py or .zip extension; otherwise, a ValueError will be 
raised.
    147 
    148         Returns the full path to the installed file.

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/__init__.pyc
 in 
load_ipython_extension(*args=(<sage.repl.interpreter.SageTerminalInteractiveShell
 object>,))
      1 __all__ = ['all']
      2 
      3 # IPython calls this when starting up
      4 def load_ipython_extension(*args):
      5     import sage.repl.ipython_extension
----> 6     sage.repl.ipython_extension.load_ipython_extension(*args)
        sage.repl.ipython_extension.load_ipython_extension = <function 
load_ipython_extension at 0x6fffd61c398>
        args = (<sage.repl.interpreter.SageTerminalInteractiveShell object at 
0x6fffd969210>,)

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/repl/ipython_extension.pyc
 in wrapper(*args=(<sage.repl.interpreter.SageTerminalInteractiveShell 
object>,), **kwargs={})
    429         ....:     if work:
    430         ....:         return 'foo worked'
    431         ....:     raise RuntimeError("foo didn't work")
    432         sage: foo(False)
    433         Traceback (most recent call last):
    434         ...
    435         RuntimeError: foo didn't work
    436         sage: foo(True)
    437         'foo worked'
    438         sage: foo(False)
    439         sage: foo(True)
    440     """
    441     @wraps(func)
    442     def wrapper(*args, **kwargs):
    443         if not wrapper.has_run:
--> 444             result = func(*args, **kwargs)
        result = undefined
        global func = undefined
        args = (<sage.repl.interpreter.SageTerminalInteractiveShell object at 
0x6fffd969210>,)
        kwargs = {}
    445             wrapper.has_run = True
    446             return result
    447     wrapper.has_run = False
    448     return wrapper
    449 
    450 
    451 @run_once
    452 def load_ipython_extension(ip):
    453     """
    454     Load the extension in IPython.
    455     """
    456     # this modifies ip
    457     SageCustomizations(shell=ip)

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/repl/ipython_extension.pyc
 in 
load_ipython_extension(ip=<sage.repl.interpreter.SageTerminalInteractiveShell 
object>)
    442     def wrapper(*args, **kwargs):
    443         if not wrapper.has_run:
    444             result = func(*args, **kwargs)
    445             wrapper.has_run = True
    446             return result
    447     wrapper.has_run = False
    448     return wrapper
    449 
    450 
    451 @run_once
    452 def load_ipython_extension(ip):
    453     """
    454     Load the extension in IPython.
    455     """
    456     # this modifies ip
--> 457     SageCustomizations(shell=ip)
        global SageCustomizations = <class 
'sage.repl.ipython_extension.SageCustomizations'>
        global shell = undefined
        ip = <sage.repl.interpreter.SageTerminalInteractiveShell object at 
0x6fffd969210>

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/repl/ipython_extension.pyc
 in __init__(self=<sage.repl.ipython_extension.SageCustomizations object>, 
shell=<sage.repl.interpreter.SageTerminalInteractiveShell object>)
    330         """
    331         self.shell = shell
    332 
    333         self.auto_magics = SageMagics(shell)
    334         self.shell.register_magics(self.auto_magics)
    335 
    336         import sage.misc.edit_module as edit_module
    337         self.shell.set_hook('editor', edit_module.edit_devel)
    338 
    339         self.init_inspector()
    340         self.init_line_transforms()
    341 
    342         import inputhook
    343         inputhook.install()
    344 
--> 345         import sage.all # until sage's import hell is fixed
        sage.all = undefined
    346 
    347         self.shell.verbose_quit = True
    348         self.set_quit_hook()
    349 
    350         self.register_interface_magics()
    351 
    352         if SAGE_IMPORTALL == 'yes':
    353             self.init_environment()
    354 
    355     def register_interface_magics(self):
    356         """
    357         Register magics for each of the Sage interfaces
    358         """
    359         from sage.repl.interface_magic import InterfaceMagic
    360         InterfaceMagic.register_all(self.shell)

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/all.py
 in <module>()
     90 
     91 from sage.libs.all       import *
     92 from sage.data_structures.all import *
     93 from sage.doctest.all    import *
     94 try:
     95     from sage.dev.all    import *
     96 except ImportError:
     97     pass   # dev scripts are disabled
     98 
     99 from sage.structure.all  import *
    100 from sage.rings.all      import *
    101 from sage.arith.all      import *
    102 from sage.matrix.all     import *
    103 
    104 # This must come before Calculus -- it initializes the Pynac library.
--> 105 import sage.symbolic.pynac
        global sage.symbolic.pynac = undefined
    106 
    107 from sage.modules.all    import *
    108 from sage.monoids.all    import *
    109 from sage.algebras.all   import *
    110 from sage.modular.all    import *
    111 from sage.sat.all        import *
    112 from sage.schemes.all    import *
    113 from sage.graphs.all     import *
    114 from sage.groups.all     import *
    115 from sage.databases.all  import *
    116 from sage.categories.all import *
    117 from sage.sets.all       import *
    118 from sage.probability.all import *
    119 from sage.interfaces.all import *
    120 

sage/symbolic/pynac.pyx in init sage.symbolic.pynac 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/symbolic/pynac.cpp:28292)()

sage/symbolic/pynac.pyx in sage.symbolic.pynac.init_pynac_I 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/symbolic/pynac.cpp:24698)()

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/rings/number_field/number_field.pyc
 in QuadraticField(D=-1, name='I', check=True, embedding=1.00000000000000*I, 
latex_name='i', **args={})
    883         False
    884     """
    885     D = QQ(D)
    886     if check:
    887         if D.is_square():
    888             raise ValueError("D must not be a perfect square.")
    889     R = QQ['x']
    890     f = R([-D, 0, 1])
    891     if embedding is True:
    892         if D > 0:
    893             embedding = RLF(D).sqrt()
    894         else:
    895             embedding = CLF(D).sqrt()
    896     if latex_name == 'sqrt':
    897         latex_name = r'\sqrt{%s}' % D
--> 898     return NumberField(f, name, check=False, embedding=embedding, 
latex_name=latex_name, **args)
        global NumberField = <function NumberField at 0x6fdf0496cf8>
        f = x^2 + 1
        name = 'I'
        check = True
        global False = undefined
        embedding = 1.00000000000000*I
        latex_name = 'i'
        args = {}
    899 
    900 def is_AbsoluteNumberField(x):
    901     """
    902     Return True if x is an absolute number field.
    903 
    904     EXAMPLES::
    905 
    906         sage: from sage.rings.number_field.number_field import 
is_AbsoluteNumberField
    907         sage: is_AbsoluteNumberField(NumberField(x^2+1,'a'))
    908         True
    909         sage: is_AbsoluteNumberField(NumberField([x^3 + 17, x^2+1],'a'))
    910         False
    911 
    912     The rationals are a number field, but they're not of the absolute
    913     number field class.

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/rings/number_field/number_field.pyc
 in NumberField(polynomial=x^2 + 1, name='I', check=False, names=None, 
embedding=1.00000000000000*I, latex_name='i', assume_disc_small=False, 
maximize_at_primes=None, structure=None)
    496         (2,)
    497 
    498     It is an error not to specify the generator::
    499 
    500         sage: K = NumberField(x^2-2)
    501         Traceback (most recent call last):
    502         ...
    503         TypeError: You must specify the name of the generator.
    504 
    505     """
    506     if names is not None:
    507         name = names
    508     if isinstance(polynomial, (list,tuple)):
    509         return NumberFieldTower(polynomial, names=name, check=check, 
embeddings=embedding, latex_names=latex_name, 
assume_disc_small=assume_disc_small, maximize_at_primes=maximize_at_primes, 
structures=structure)
    510 
--> 511     return NumberField_version2(polynomial=polynomial, name=name, 
check=check, embedding=embedding, latex_name=latex_name, 
assume_disc_small=assume_disc_small, maximize_at_primes=maximize_at_primes, 
structure=structure)
        global NumberField_version2 = <class 
'sage.rings.number_field.number_field.NumberFieldFactory'>
        polynomial = x^2 + 1
        name = 'I'
        check = False
        embedding = 1.00000000000000*I
        latex_name = 'i'
        assume_disc_small = False
        maximize_at_primes = None
        structure = None
    512 
    513 class NumberFieldFactory(UniqueFactory):
    514     r"""
    515     Factory for number fields.
    516 
    517     This should usually not be called directly, use :meth:`NumberField`
    518     instead.
    519 
    520     INPUT:
    521 
    522         - ``polynomial`` - a polynomial over `\QQ` or a number field.
    523         - ``name`` - a string (default: ``'a'``), the name of the 
generator
    524         - ``check`` - a boolean (default: ``True``); do type checking 
and
    525           irreducibility checking.
    526         - ``embedding`` - ``None`` or an element, the images of the 
generator

sage/structure/factory.pyx in sage.structure.factory.UniqueFactory.__call__ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/structure/factory.c:1550)()

sage/structure/factory.pyx in sage.structure.factory.UniqueFactory.get_object 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/structure/factory.c:1905)()

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/rings/number_field/number_field.pyc
 in create_object(self=<class 
'sage.rings.number_field.number_field.NumberFieldFactory'>, version=(7, 1), 
key=(Rational Field, x^2 + 1, ('I',), 1.00000000000000*I, 'i', None, False, 
None), check=False)
    618 
    619         TESTS::
    620 
    621             sage: from sage.rings.number_field.number_field import 
NumberFieldFactory
    622             sage: nff = NumberFieldFactory("number_field_factory")
    623             sage: R.<x> = QQ[]
    624             sage: nff.create_object(None, (QQ, x^2 + 1, ('a',), None, 
None, None, False, None), check=False)
    625             Number Field in a with defining polynomial x^2 + 1
    626 
    627         """
    628         base, polynomial, name, embedding, latex_name, 
maximize_at_primes, assume_disc_small, structure = key
    629 
    630         if isinstance(base, NumberField_generic):
    631             return base.extension(polynomial, name, check=check, 
embedding=None, structure=structure) # relative number fields do not support 
embeddings
    632         if polynomial.degree() == 2:
--> 633             return NumberField_quadratic(polynomial, name, latex_name, 
check, embedding, assume_disc_small=assume_disc_small, 
maximize_at_primes=maximize_at_primes, structure=structure)
        global NumberField_quadratic = <class 
'sage.rings.number_field.number_field.NumberField_quadratic'>
        polynomial = x^2 + 1
        name = ('I',)
        latex_name = 'i'
        check = False
        embedding = 1.00000000000000*I
        assume_disc_small = False
        maximize_at_primes = None
        structure = None
    634         else:
    635             return NumberField_absolute(polynomial, name, latex_name, 
check, embedding, assume_disc_small=assume_disc_small, 
maximize_at_primes=maximize_at_primes, structure=structure)
    636 
    637 NumberField_version2 = 
NumberFieldFactory("sage.rings.number_field.number_field.NumberField_version2")
    638 
    639 def NumberFieldTower(polynomials, names, check=True, embeddings=None, 
latex_names=None, assume_disc_small=False, maximize_at_primes=None, 
structures=None):
    640     """
    641     Create the tower of number fields defined by the polynomials in the 
list
    642     ``polynomials``.
    643 
    644     INPUT:
    645 
    646     - ``polynomials`` - a list of polynomials. Each entry must be 
polynomial
    647       which is irreducible over the number field generated by the roots 
of the
    648       following entries.

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/rings/number_field/number_field.pyc
 in __init__(self=Number Field in I with defining polynomial x^2 + 1, 
polynomial=x^2 + 1, name=('I',), latex_name='i', check=False, 
embedding=1.00000000000000*I, assume_disc_small=False, maximize_at_primes=None, 
structure=None)
  10114         D = (Dpoly.numer() * Dpoly.denom()).squarefree_part(bound=10000)
  10115         self._D = D
  10116         parts = -b/(2*a), (Dpoly/D).sqrt()/(2*a)
  10117         self._NumberField_generic__gen = self._element_class(self, 
parts)
  10118 
  10119         # we must set the flag _standard_embedding *before* any element 
creation
  10120         # Note that in the following code, no element is built.
  10121         emb = self.coerce_embedding()
  10122         if emb is not None:
  10123             rootD = 
number_field_element_quadratic.NumberFieldElement_quadratic(self, (QQ(0),QQ(1)))
  10124             if D > 0:
  10125                 from sage.rings.real_double import RDF
  10126                 self._standard_embedding = 
RDF.has_coerce_map_from(self) and RDF(rootD) > 0
  10127             else:
  10128                 from sage.rings.complex_double import CDF
> 10129                 self._standard_embedding = 
> CDF.has_coerce_map_from(self) and CDF(rootD).imag() > 0
        self._standard_embedding = True
        CDF.has_coerce_map_from = <built-in method has_coerce_map_from of 
sage.rings.complex_double.ComplexDoubleField_class object at 0x6fdf0ad26b8>
        self = Number Field in I with defining polynomial x^2 + 1
        CDF = Complex Double Field
        rootD.imag = <built-in method imag of 
sage.rings.number_field.number_field_element_quadratic.NumberFieldElement_quadratic
 object at 0x6fdef9b2610>
  10130 
  10131         # we reset _NumberField_generic__gen has the flag 
standard_embedding
  10132         # might be modified
  10133         self._NumberField_generic__gen = self._element_class(self, 
parts)
  10134 
  10135         # NumberField_absolute.__init__(...) set _zero_element and
  10136         # _one_element to NumberFieldElement_absolute values, which is
  10137         # wrong (and dangerous; such elements can actually be used to
  10138         # crash Sage: see #5316).  Overwrite them with correct values.
  10139         self._zero_element = self._element_class(self, (QQ(0), QQ(0)))
  10140         self._one_element  = self._element_class(self, (QQ(1), QQ(0)))
  10141 
  10142     def _coerce_map_from_(self, K):
  10143         """
  10144         EXAMPLES::

sage/rings/complex_double.pyx in 
sage.rings.complex_double.ComplexDoubleField_class.__call__ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/complex_double.c:5300)()

sage/structure/parent.pyx in sage.structure.parent.Parent.__call__ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/structure/parent.c:9828)()

sage/categories/map.pyx in sage.categories.map.FormalCompositeMap._call_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/categories/map.c:11323)()

sage/rings/number_field/number_field_morphisms.pyx in 
sage.rings.number_field.number_field_morphisms.NumberFieldEmbedding._call_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/number_field/number_field_morphisms.c:3111)()

sage/rings/number_field/number_field_morphisms.pyx in 
sage.rings.number_field.number_field_morphisms.NumberFieldEmbedding._call_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/number_field/number_field_morphisms.c:3046)()

sage/rings/polynomial/polynomial_rational_flint.pyx in 
sage.rings.polynomial.polynomial_rational_flint.Polynomial_rational_flint.__call__
 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/polynomial/polynomial_rational_flint.cpp:6926)()

sage/rings/polynomial/polynomial_element.pyx in 
sage.rings.polynomial.polynomial_element.Polynomial.__call__ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/polynomial/polynomial_element.c:8438)()

sage/structure/element.pyx in sage.structure.element.Element.is_zero 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/structure/element.c:8934)()

sage/structure/element.pyx in sage.structure.element.Element.__nonzero__ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/structure/element.c:8867)()

sage/structure/element.pyx in sage.structure.element.Element.__richcmp__ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/structure/element.c:9689)()

sage/structure/element.pyx in sage.structure.element.Element._richcmp_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/structure/element.c:9870)()

sage/rings/real_lazy.pyx in sage.rings.real_lazy.LazyFieldElement._cmp_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/real_lazy.c:8629)()

sage/rings/real_lazy.pyx in sage.rings.real_lazy.LazyFieldElement.approx 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/real_lazy.c:9310)()

sage/rings/real_lazy.pyx in sage.rings.real_lazy.LazyAlgebraic.eval 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/real_lazy.c:17724)()

sage/rings/polynomial/polynomial_element.pyx in 
sage.rings.polynomial.polynomial_element.Polynomial.roots 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/polynomial/polynomial_element.c:54070)()

/home/stottmeister/downloads/sage-7.1/local/lib/python2.7/site-packages/sage/rings/polynomial/complex_roots.pyc
 in complex_roots(p=x^2 + 1, skip_squarefree=False, retval='algebraic', 
min_prec=0)
    243     if skip_squarefree:
    244         factors = [(p, 1)]
    245     else:
    246         factors = p.squarefree_decomposition()
    247 
    248     prec = 53
    249     while True:
    250         CC = ComplexField(prec)
    251         CCX = CC['x']
    252 
    253         all_rts = []
    254         ok = True
    255 
    256         for (factor, exp) in factors:
    257             cfac = CCX(factor)
--> 258             rts = cfac.roots(multiplicities=False)
        rts = undefined
        cfac.roots = <built-in method roots of 
PolynomialRing_field_with_category.element_class object at 0x6fdef5d3ae0>
        global multiplicities = undefined
        global False = undefined
    259             # Make sure the number of roots we found is the degree. If
    260             # we don't find that many roots, it's because the
    261             # precision isn't big enough and though the (possibly
    262             # exact) polynomial "factor" is squarefree, it is not
    263             # squarefree as an element of CCX.
    264             if len(rts) < factor.degree():
    265                 ok = False
    266                 break
    267             irts = interval_roots(factor, rts, max(prec, min_prec))
    268             if irts is None:
    269                 ok = False
    270                 break
    271             if retval != 'interval':
    272                 factor = QQbar.common_polynomial(factor)
    273             for irt in irts:

sage/rings/polynomial/polynomial_element.pyx in 
sage.rings.polynomial.polynomial_element.Polynomial.roots 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/polynomial/polynomial_element.c:51904)()

sage/rings/polynomial/polynomial_element.pyx in 
sage.rings.polynomial.polynomial_element.Polynomial._pari_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/polynomial/polynomial_element.c:46962)()

sage/rings/polynomial/polynomial_element.pyx in 
sage.rings.polynomial.polynomial_element.Polynomial._pari_with_name 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/polynomial/polynomial_element.c:47464)()

sage/rings/complex_number.pyx in sage.rings.complex_number.ComplexNumber._pari_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/complex_number.c:6870)()

sage/rings/real_mpfr.pyx in sage.rings.real_mpfr.RealNumber._pari_ 
(/home/stottmeister/downloads/sage-7.1/src/build/cythonized/sage/rings/real_mpfr.c:22176)()

src/cysignals/signals.pyx in cysignals.signals.sig_raise_exception 
(build/src/cysignals/signals.c:1342)()

SignalError: Segmentation fault

***************************************************************************

History of session input:
*** Last line of input (may not be in above history):

Reply via email to