<s>[INST] colorpolynomial summation . 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 int length concode_elem_sep boolean isDetermined concode_elem_sep GenPolynomial<GenPolynomial<C>> getPolynomial 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 [/INST] ColorPolynomial < C > function ( GenPolynomial < C > arg0 , ExpVector arg1 ) { GenPolynomial < GenPolynomial < C >> loc0 , loc1 , loc2 ; loc0 = green ; loc1 = red ; loc2 = white ; if ( green . getMap ( ) . keySet ( ) . contains ( arg1 ) ) { loc0 = green . sum ( arg0 , arg1 ) ; } else if ( red . getMap ( ) . keySet ( ) . contains ( arg1 ) ) { loc1 = red . sum ( arg0 , arg1 ) ; } else { loc2 = white . sum ( arg0 , arg1 ) ; } return new ColorPolynomial < C > ( loc0 , loc1 , loc2 ) ; </s>