Features for testing the presence of fricas

class sage.features.fricas.FriCAS(*args, **kwds)[source]

Bases: Executable

A Feature which checks for the fricas binary.

EXAMPLES:

sage: from sage.features.fricas import FriCAS
sage: FriCAS().is_present()  # optional - fricas
FeatureTestResult('fricas_executable', True)

>>> from sage.all import *
>>> from sage.features.fricas import FriCAS
>>> FriCAS().is_present()  # optional - fricas
FeatureTestResult('fricas_executable', True)
MINIMUM_VERSION = '1.3.8'
get_version()[source]

Retrieve the installed FriCAS version

EXAMPLES::

sage: from sage.features.fricas import FriCAS sage: FriCAS().get_version() # optional - fricas ‘1.3…’

is_functional()[source]

Check whether fricas works on trivial input.

EXAMPLES:

sage: from sage.features.fricas import FriCAS
sage: FriCAS().is_functional()  # optional - fricas
FeatureTestResult('fricas_executable', True)

>>> from sage.all import *
>>> from sage.features.fricas import FriCAS
>>> FriCAS().is_functional()  # optional - fricas
FeatureTestResult('fricas_executable', True)
sage.features.fricas.all_features()[source]