Skip to Main Content
Class DomainCombinatorics

Class DomainCombinatorics

java.lang.Object
   |
   +----DomainCombinatorics

public class DomainCombinatorics
extends Object
A class which computes the combinatorics of a fundamental domain.


Variable Index

 o ANGDIFPRES
The precision we require to consider two angles to be different.
 o CIRCLAPRES
The precision we require to consider two circles in the plane to be overlapping.

Constructor Index

 o DomainCombinatorics(Complex, double, int)
Constructor for DomainCombinatorics's using only the trace, axis distance and domain type.
 o DomainCombinatorics(Complex, double, int, Complex)
Constructor for DomainCombinatorics's using only the trace, axis distance, domain type and (1,1) element of the generator.
 o DomainCombinatorics(Complex, double, int, Complex, int)
Constructor for DomainCombinatorics's using the trace, axis distance, domain type, (1,1) element of the generator and corresponding maxpow.

Method Index

 o fixAngle(double)
Converts angle variables that are in the interval [-2Pi,4Pi) to lie in the interval [0,2Pi).
 o makeLabel()
Make a string suitable for use in inputpanel's currdomaincomblabel describing this domain combinatorics.

Variables

 o CIRCLAPRES
 public static final double CIRCLAPRES
The precision we require to consider two circles in the plane to be overlapping.

 o ANGDIFPRES
 public static final double ANGDIFPRES
The precision we require to consider two angles to be different.

Constructors

 o DomainCombinatorics
 public DomainCombinatorics(Complex trace,
                            double dist,
                            int domaintype)
Constructor for DomainCombinatorics's using only the trace, axis distance and domain type.

Parameters:
trace - the trace whose domain we are to examine
dist - the axis distance for the domain in question
domaintype - the domaintype, given by the selected index of outputpanel's Choice fordordirichlet
 o DomainCombinatorics
 public DomainCombinatorics(Complex trace,
                            double dist,
                            int domaintype,
                            Complex z11)
Constructor for DomainCombinatorics's using only the trace, axis distance, domain type and (1,1) element of the generator.

Parameters:
trace - the trace whose domain we are to examine
dist - the axis distance for the domain in question
domaintype - the domaintype, given by the selected index of outputpanel's Choice fordordirichlet
z11 - the (1,1) element of the generator matrix at the given trace
 o DomainCombinatorics
 public DomainCombinatorics(Complex trace,
                            double dist,
                            int domaintype,
                            Complex z11,
                            int maxpow)
Constructor for DomainCombinatorics's using the trace, axis distance, domain type, (1,1) element of the generator and corresponding maxpow.

Parameters:
trace - the trace whose domain we are to examine
dist - the axis distance for the domain in question
domaintype - the domaintype, given by the selected index of outputpanel's Choice fordordirichlet
z11 - the (1,1) element of the generator matrix at the given trace
maxpow - the maxpow corresponding to the other input data

Methods

 o makeLabel
 public String makeLabel()
Make a string suitable for use in inputpanel's currdomaincomblabel describing this domain combinatorics. The string is either the domain type in the sense of Drumm and Poritz or a comma-separated list of indices (beginning and ending with two question marks and enclosed in square brackets) of sides that have been computed to appear on the boundary of the fundamental domain at infinity.

Returns:
the domain type or error side listing string
 o fixAngle
 public static double fixAngle(double angle)
Converts angle variables that are in the interval [-2Pi,4Pi) to lie in the interval [0,2Pi).

Parameters:
angle - the input angle to convert
Returns:
the angle adjusted to lie in [0,2Pi)