Ticket #8560: trac_8560.patch

File trac_8560.patch, 1.1 KB (added by klee, 13 years ago)
  • sage/interfaces/magma.py

    # HG changeset patch
    # User Kwankyu Lee <ekwankyu@gmail.com>
    # Date 1269055992 -32400
    # Node ID c9b0d3f57c48584ebe78656bc63b00a4de81ee6a
    # Parent  46b1ee5997ac7e7faafdd86751fe7d121b6c1385
    Trac 8560: fix Magma startup problem
    
    diff -r 46b1ee5997ac -r c9b0d3f57c48 sage/interfaces/magma.py
    a b  
    318318            sage: Magma(maxread=1000, logfile=tmp_filename())
    319319            Magma
    320320        """
    321         #command = 'magma -b '
    322         command = 'magma'
     321        # If the -b argument is given to Magma, the opening banner and all other
     322        # introductory messages are suppressed. The final "total time" message is
     323        # also suppressed.
     324        #command = 'sage-native-execute magma -b '
     325        command = 'sage-native-execute magma'
    323326        if not user_config:
    324327            command += ' -n'
    325328        Expect.__init__(self,
     
    26262629        >
    26272630        Total time: 2.820 seconds, Total memory usage: 3.95MB
    26282631    """
    2629     console('magma')
     2632    console('sage-native-execute magma')
    26302633
    26312634def magma_version():
    26322635    """