More robust version check for Sage
Instead of relying on parsing the sage banner, which is likely to break with changes in Sage output format, use the dedicated 'sage -v' command. REVIEW: 128926
parent
270f9bfc
Please register or sign in to comment