edgeBound

A class of miscellaneous static functions.

[ kepler | Source | Keywords | Summary | Ancestors | All Members | Descendants ]

Quick Index

OVERVIEW TEXT
AUTHOR

Class Summary

class edgeBound

{

public:
static int shortDiagMax (double x0min,double x0pmin,double x1,double x2,double x3min, double& x3max,double x4,double x4p,double x5,double x5p);
static int x4_upper_from_dih_upper(const double x[6],const double z[6], double dih_upper, double& new_x4_upper);
static double chi234min(const domain&, const domain&);
protected:
}; // edgeBound

Back to the top of edgeBound


OVERVIEW TEXT

edgeBound contains a few functions that did not belong anywhere else.

Back to the top of edgeBound


AUTHOR

Thomas C. Hales

Back to the top of edgeBound


int shortDiagMax (double x0min,double x0pmin,double x1,double x2,double x3min, double& x3max,double x4,double x4p,double x5,double x5p);

Computes the Maximum of the shorter diagonal if possible, assuming that the shorter diagonal is the one joining the two simplices A and B. There are two simplices A = (x0min,x1,x2,x3,x4,x5), B=(x0pmin,x1,x2,x3,x4p,x5p); They share vertices x1,x2,x3; Assume edge3 is the shorter diagonal. Compute an upper bound on this shorter diagonal. We assume that the edge length belongs to [x3min,x3max(inputvalue)] A revised x3max(output) is set, with x3max(output)<=x3max(input).

static int shortDiagMax
	(double x0min,double x0pmin,double x1,double x2,double x3min,
        double& x3max,double x4,double x4p,double x5,double x5p);

Back to the top of edgeBound


int x4_upper_from_dih_upper(const double x[6],const double z[6], double dih_upper, double& new_x4_upper);

given upper bound theta on dih, find corresponding upper bd on x4.

static int x4_upper_from_dih_upper(const double x[6],const double z[6],
		double dih_upper, double& new_x4_upper);

Back to the top of edgeBound


double chi234min(const domain&, const domain&);

lower bound on chi234. This has only been implemented when the face(2,3,4) is acute.

static double chi234min(const domain&, const domain&); // for acute guys only

Back to the top of edgeBound


All Members

public:
static int shortDiagMax (double x0min,double x0pmin,double x1,double x2,double x3min, double& x3max,double x4,double x4p,double x5,double x5p);
static int x4_upper_from_dih_upper(const double x[6],const double z[6], double dih_upper, double& new_x4_upper);
static double chi234min(const domain&, const domain&);
protected:

Back to the top of edgeBound


Ancestors

Class does not inherit from any other class.

Back to the top of edgeBound


Descendants

Class is not inherited by any others.

Back to the top of edgeBound


Generated from source by the Cocoon utilities on Mon Dec 22 19:37:23 1997 .

Report problems to jkotula@unimax.com