Feature for testing the presence of msolve¶

msolve is a multivariate polynomial system solver.

See also

sage.rings.polynomial.msolve

sage.features.msolve.all_features()[source]¶

class sage.features.msolve.msolve(*args, **kwds)[source]¶

Bases: Executable

A Feature describing the presence of msolve.

EXAMPLES:

Sage

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

Python

>>> from sage.all import *
>>> from sage.features.msolve import msolve
>>> msolve().is_present()  # optional - msolve
FeatureTestResult('msolve', True)

is_functional()[source]¶: Test if our installation of msolve is working.