/**
* @param cons
* @param label
* @param proportion
* @param n
* @param proportion2
* @param n_2
* @param tail
*/
public AlgoZProportion2Test(
Construction cons,
String label,
GeoNumeric proportion,
GeoNumeric n,
GeoNumeric proportion2,
GeoNumeric n_2,
GeoText tail) {
this(cons, proportion, n, proportion2, n_2, tail);
result.setLabel(label);
}
/**
* Proves the given statement and gives some details in a list.
*
* @param cons The construction
* @param label Label for the output
* @param root Input statement
*/
public AlgoProveDetails(Construction cons, String label, GeoElement root) {
this(cons, root);
list.setLabel(label);
}