Searched refs:e_square (Results 1 – 1 of 1) sorted by relevance
2146 gen e_square(e*e); in is_root_of_deg2() local2147 if (e_square.type!=_EXT){ // b=0, a=1, e*e=-c in is_root_of_deg2()2150 v.push_back(-e_square); in is_root_of_deg2()2153 if (e_square._EXTptr->type!=_VECT) in is_root_of_deg2()2156 int s2=int(e_square._EXTptr->_VECTptr->size()); in is_root_of_deg2()2159 gen b=-e_square._EXTptr->_VECTptr->front(); in is_root_of_deg2()2162 gen c=a*e_square+b*e; in is_root_of_deg2()