spair_type

enum spair_type

Enumerator
F4_SPAIR_SPAIR
F4_SPAIR_GCD_ZZ
F4_SPAIR_RING
F4_SPAIR_SKEW
F4_SPAIR_GEN
F4_SPAIR_ELEM

Definition at line 80 of file f4-types.hpp.

                {
  F4_SPAIR_SPAIR,        // arising from an honest spair
  F4_SPAIR_GCD_ZZ,       // for gbs over the integers
  F4_SPAIR_RING,         // an spair between a generator and a gen of the defining ideal
  F4_SPAIR_SKEW,         // from exterior variables times a monomial
  F4_SPAIR_GEN,          // a generator of the defining ideal
  F4_SPAIR_ELEM          // 
};