Traits class mapping a coefficient ring RT to its preferred homotopy algorithm tag. More...

#include <SLP-defs.hpp>

Public Types
typedef TrivialHomotopyAlgorithm	Algorithm

Detailed Description

template<typename RT>
struct HomotopyAlgorithm< RT >

Traits class mapping a coefficient ring RT to its preferred homotopy algorithm tag.

Note: AI-generated documentation. Verify against the source before relying on it.

The primary template selects TrivialHomotopyAlgorithm; explicit specialisations override that choice for specific numeric rings. SLEvaluatorConcrete<RT>::createHomotopy consults HomotopyAlgorithm<RT>::Algorithm to pick the right HomotopyConcrete specialisation.

Definition at line 197 of file SLP-defs.hpp.

The documentation for this struct was generated from the following file:

Public Types