fix: added check for FriCAS version

Author: devansh-srv

src/sage/features/fricas.py

@@ -26,6 +26,8 @@ class FriCAS(Executable):
         sage: FriCAS().is_present()  # optional - fricas
         FeatureTestResult('fricas', True)
     """
+    MINIMUM_VERSION = "1.3.11"
+
     def __init__(self):
         r"""
         TESTS::
@@ -38,6 +40,18 @@ def __init__(self):
                             executable='fricas',
                             url='https://fricas.github.io')
 
+    def get_version(self):
+        r"""
+        Retrieve the installed FriCAS version
+        """
+        try:
+            output = subprocess.check_output(['fricas', '--version'], stderr=subprocess.STDOUT)
+            version_line = output.decode('utf-8').strip()
+            version = version_line.split()[1]
+            return version
+        except subprocess.CalledProcessError:
+            return None
+
     def is_functional(self):
         r"""
         Check whether ``fricas`` works on trivial input.
@@ -53,13 +67,22 @@ def is_functional(self):
             lines = subprocess.check_output(command, stderr=subprocess.STDOUT, shell=True)
         except subprocess.CalledProcessError as e:
             return FeatureTestResult(self, False,
-                    reason="Call `{command}` failed with exit code {e.returncode}".format(command=" ".join(command), e=e))
+                                     reason="Call `{command}` failed with exit code {e.returncode}".format(command=" ".join(command), e=e))
 
         expected = b"FriCAS"
         if lines.find(expected) == -1:
             return FeatureTestResult(self, False,
-                    reason="Call `{command}` did not produce output which contains `{expected}`".format(command=" ".join(command), expected=expected))
+                                     reason="Call `{command}` did not produce output which contains `{expected}`".format(command=" ".join(command),
+                                                                                                                         expected=expected))
+        version = self.get_version()
+        if version is None:
+            return FeatureTestResult(self, False,
+                                     reason="Could not determine FriCAS version")
 
+        from pkg_resources import parse_version
+        if parse_version(version) < parse_version(self.MINIMUM_VERSION):
+            return FeatureTestResult(self, False,
+                                     reason=f"FriCAS version {version} is too old; minimum required is {self.MINIMUM_VERSION}")
         return FeatureTestResult(self, True)