/** * @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); }