monomial.h

Go to the documentation of this file.

#ifndef MONOMIALH
#define MONOMIALH 

#include "boolean.h"
#include "interval.h"
#include "variables.h"
#include "variable_set.h"

#include <stdlib.h>

typedef struct {
  boolean empty; 
  double ct; 
  Tvariable_set vars; 
} Tmonomial;


void InitMonomial(Tmonomial *f);


void ResetMonomial(Tmonomial *f);


void FixVariableInMonomial(unsigned int nv,double v,Tmonomial *f);

void ReplaceVariableInMonomial(unsigned int nv,double ct,unsigned int nvNew,Tmonomial *f);


boolean EmptyMonomial(Tmonomial *f);


boolean CtMonomial(Tmonomial *f);

boolean QuadraticMonomial(Tmonomial *f);


boolean BilinearMonomial(Tmonomial *f);

boolean LinearMonomial(Tmonomial *f);

boolean PolynomialMonomial(Tmonomial *f);

unsigned int MonomialOrder(Tmonomial *f);

void CopyMonomial(Tmonomial *f_dst,Tmonomial *f_orig);

unsigned int CmpMonomial(Tmonomial *f1,Tmonomial *f2);


void SetMonomialCt(double k,Tmonomial *f);


double GetMonomialCt(Tmonomial *f);

Tvariable_set *GetMonomialVariables(Tmonomial *f);

void AddCt2Monomial(double k,Tmonomial *f);

void AddVariable2Monomial(unsigned int fn,unsigned int varid,unsigned int p,Tmonomial *f);

void MonomialProduct(Tmonomial *f1,Tmonomial *f2,Tmonomial *f);

double EvaluateMonomial(double *varValues,Tmonomial *f);

void EvaluateMonomialInt(Tinterval *varValues,Tinterval *i_out,Tmonomial *f);

void DeriveMonomial(unsigned int nv,Tmonomial *df,Tmonomial *f);


void PrintMonomial(FILE *file,boolean first,char **varNames,Tmonomial *f);


void DeleteMonomial(Tmonomial *f);

#endif