nl: length of red and white parts . concode_field_sep GenPolynomial<GenPolynomial<C>> red concode_elem_sep GenPolynomial<GenPolynomial<C>> green concode_elem_sep GenPolynomial<GenPolynomial<C>> white concode_field_sep List<GenPolynomial<C>> getRedCoefficients concode_elem_sep boolean isONE concode_elem_sep ExpVector leadingExpVector concode_elem_sep Map.Entry<ExpVector,GenPolynomial<C>> leadingMonomial concode_elem_sep boolean checkInvariant concode_elem_sep ColorPolynomial<C> subtract concode_elem_sep ColorPolynomial<C> subtract concode_elem_sep boolean isDetermined concode_elem_sep GenPolynomial<GenPolynomial<C>> getPolynomial concode_elem_sep ColorPolynomial<C> sum concode_elem_sep ColorPolynomial<C> sum concode_elem_sep ColorPolynomial<C> abs concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep boolean isZERO concode_elem_sep List<GenPolynomial<C>> getGreenCoefficients concode_elem_sep String toString concode_elem_sep ColorPolynomial<C> divide concode_elem_sep GenPolynomial<GenPolynomial<C>> getEssentialPolynomial concode_elem_sep ColorPolynomial<C> multiply concode_elem_sep ColorPolynomial<C> multiply
code: int function ( ) { int loc0 = red . length ( ) + white . length ( ) ; return loc0 ; }