Feature for testing the presence of cddlib¶

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

Bases: Executable

A Feature describing the presence of an executable which comes as a part of cddlib.

EXAMPLES:

Sage

sage: from sage.features.cddlib import CddExecutable
sage: CddExecutable().is_present()                                              # needs cddexec_gmp
FeatureTestResult('cddexec_gmp', True)

Python

>>> from sage.all import *
>>> from sage.features.cddlib import CddExecutable
>>> CddExecutable().is_present()                                              # needs cddexec_gmp
FeatureTestResult('cddexec_gmp', True)

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