equimodular.h

Go to the documentation of this file.

#ifndef CMR_EQUIMODULAR_H
#define CMR_EQUIMODULAR_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <cmr/env.h>
#include <cmr/matrix.h>
#include <cmr/tu.h>
 
typedef struct
{
  CMR_TU_PARAMS tu; 
} CMR_EQUIMODULAR_PARAMS;
 
CMR_EXPORT
CMR_ERROR CMRequimodularParamsInit(
    CMR_EQUIMODULAR_PARAMS* params  
);
 
typedef struct
{
  uint32_t totalCount;  
  double totalTime;     
  double linalgTime;    
  CMR_TU_STATS tu;      
} CMR_EQUIMODULAR_STATS;
 
CMR_EXPORT
CMR_ERROR CMRequimodularStatsInit(
    CMR_EQUIMODULAR_STATS* stats 
);
 
CMR_EXPORT
CMR_ERROR CMRequimodularStatsPrint(
  FILE* stream,                       
    CMR_EQUIMODULAR_STATS* stats,  
  const char* prefix                  
);
 
CMR_EXPORT
CMR_ERROR CMRequimodularTest(
  CMR* cmr,                       
  CMR_INTMAT* matrix,             
  bool* pisEquimodular,           
  int64_t* pgcdDet,               
  CMR_EQUIMODULAR_PARAMS* params, 
  CMR_EQUIMODULAR_STATS* stats,   
  double timeLimit                
);
 
CMR_EXPORT
CMR_ERROR CMRequimodularTestStrong(
  CMR* cmr,                       
  CMR_INTMAT* matrix,             
  bool* pisStronglyEquimodular,   
  int64_t* pgcdDet,               
  CMR_EQUIMODULAR_PARAMS* params, 
  CMR_EQUIMODULAR_STATS* stats,   
  double timeLimit                
);
 
CMR_EXPORT
CMR_ERROR CMRunimodularTest(
  CMR* cmr,                       
  CMR_INTMAT* matrix,             
  bool* pisUnimodular,            
  CMR_EQUIMODULAR_PARAMS* params, 
  CMR_EQUIMODULAR_STATS* stats,   
  double timeLimit                
);
 
CMR_EXPORT
CMR_ERROR CMRunimodularTestStrong(
  CMR* cmr,                       
  CMR_INTMAT* matrix,             
  bool* pisStronglyUnimodular,    
  CMR_EQUIMODULAR_PARAMS* params, 
  CMR_EQUIMODULAR_STATS* stats,   
  double timeLimit                
);
 
#ifdef __cplusplus
}
#endif
 
#endif /* CMR_EQUIMODULAR_H */