#ifndef DOUBLE_H
#define DOUBLE_H

#include <stdbool.h>

typedef long double vtype;
typedef long double etype;

vtype int_to_valuetype(int);

etype int_to_exptype(int);

vtype infinity_to_exptype();

bool exptype_is_infinite(vtype);

bool is_greater_certainly(vtype,vtype);

bool is_greater_possibly(vtype,vtype);

vtype maximum(vtype,vtype);

vtype sum(vtype,vtype);

vtype difference(vtype,vtype);

vtype product(vtype,vtype);

vtype ratio(vtype,vtype);

vtype absolute(vtype);

vtype power(vtype,vtype);

double valuetype_to_double(vtype);

int exptype_to_string(char*,vtype);

int exptype_to_latex(char*,vtype);

int valuetype_to_string(char*,vtype);

int valuetype_to_latex(char*,vtype);

int root_to_string(char*,vtype,etype);

int root_to_latex(char*,vtype,etype);

#endif