Lines Matching refs:inCoeffDomain
27 if (A.inCoeffDomain() && !B.inCoeffDomain()) in comp()
29 else if (!A.inCoeffDomain() && B.inCoeffDomain()) in comp()
31 else if (A.inCoeffDomain() && B.inCoeffDomain()) in comp()
53 if (A.inCoeffDomain() && !B.inCoeffDomain() && B.level() <= level) in comp()
55 else if (!A.inCoeffDomain() && A.level() <= level && B.inCoeffDomain()) in comp()
57 else if (A.inCoeffDomain() && B.inCoeffDomain()) in comp()
169 if (F.inCoeffDomain()) in getTerms()
238 if (F.inCoeffDomain()) in getBiTerms()
494 if (F.inCoeffDomain()) in getTerms2()
507 if (i.coeff().inCoeffDomain()) in getTerms2()
581 if (F2.level() != 1 && !F2.inCoeffDomain()) in patch()