Ticket #7351: singular_startup_time.patch

File singular_startup_time.patch, 1.3 KB (added by malb, 12 years ago)

this fixes the issue for me

  • sage/interfaces/singular.py

    # HG changeset patch
    # User Martin Albrecht <malb@informatik.uni-bremen.de>
    # Date 1258549132 0
    # Node ID 542a406f19a88591bd3dad3f046cfd57bbfe64a1
    # Parent  7bb234afe2f385dc215bfd7f0ace0e570aa19457
    only generate docstring dictionary for Singular interface if someone is using it (fixes #7351)
    
    diff -r 7bb234afe2f3 -r 542a406f19a8 sage/interfaces/singular.py
    a b  
    358358        self.__libs  = []
    359359        self._prompt_wait = prompt
    360360        self.__to_clear = []   # list of variable names that need to be cleared.
    361         if not nodes:
    362             generate_docstring_dictionary()
    363361
    364362    def _start(self, alt_message=None):
    365363        """
     
    17361734            sage: singular.groebner._sage_doc_()
    17371735            '\ngroebner...Procedure from library `standard.lib...
    17381736        """
     1737        if not nodes:
     1738            generate_docstring_dictionary()
    17391739        try:
    17401740            return nodes[node_names[self._name]]
    17411741        except KeyError:
     
    17511751            sage: A.nrows._sage_doc_()
    17521752            "\nnrows\n-----\n\n`*Syntax:*'\n ...
    17531753        """
     1754        if not nodes:
     1755            generate_docstring_dictionary()
    17541756        try:
    17551757            return nodes[node_names[self._name]]
    17561758        except KeyError: