|
123456789101112131415161718192021 |
- import os
-
- # Save the original working directory
- _cname = os.getcwd()
- #print('Original: %s' % os.getcwd())
-
- # Define the right working directory for the module
- abspath = os.path.abspath(__file__)
- _dname = os.path.dirname(abspath)
- os.chdir(_dname)
- #print('New: %s' % os.getcwd())
-
- # Import the module
- from sage.all_cmdline import *
- _sage_const_1 = Integer(1); _sage_const_0 = Integer(0); _sage_const_2 = Integer(2); _sage_const_4 = Integer(4); _sage_const_16 = Integer(16); _sage_const_8 = Integer(8); _sage_const_3 = Integer(3)
- load("instance_gen.sage")
-
- # Come back with the original working directory
- os.chdir(_cname)
- #print('Come back: %s' % os.getcwd())
-
|