/dports/math/singular/Singular-Release-4-2-1/factory/ |
H A D | facFqSquarefree.h | 52 if (bufResult.getFirst().factor().inCoeffDomain()) 56 if (bufF.inCoeffDomain()) 59 if (!bufF.inCoeffDomain()) 62 if (bufResult.getFirst().factor().inCoeffDomain()) 91 if (bufResult.getFirst().factor().inCoeffDomain()) 95 if (bufF.inCoeffDomain()) 98 if (!bufF.inCoeffDomain()) 101 if (bufResult.getFirst().factor().inCoeffDomain())
|
H A D | cf_ops.cc | 60 if ( f.inCoeffDomain() || f.mvar() < sv_x1 ) in swapvar_between() 77 if ( f.inCoeffDomain() || f.mvar() < sv_x1 ) 317 if ( f.inCoeffDomain() ) in getNumVars() 353 if ( f.inCoeffDomain() ) in getVars() 404 if ( f.inCoeffDomain() ) in apply() 465 if ( ! f.inCoeffDomain() ) in degreesRec() 495 if ( f.inCoeffDomain() ) in degrees() 527 else if ( f.inCoeffDomain() ) in totaldegree() 560 else if ( f.inCoeffDomain() ) in totaldegree() 629 if ( f.inCoeffDomain() ) in size() [all …]
|
H A D | facSparseHensel.h | 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() [all …]
|
H A D | facFqSquarefree.cc | 41 if (A.inCoeffDomain()) in pthRoot() 61 if (A.inCoeffDomain()) in pthRoot() 88 if (A.inCoeffDomain()) in pthRoot() 167 if (!g.inCoeffDomain()) in sqrfPosDer() 175 if (!w.inCoeffDomain()) in sqrfPosDer() 212 if (!k.hasItem() && !j.getItem().factor().inCoeffDomain()) tmp2.append (j.getItem()); in squarefreeFactorization() 224 if (found == false && !j.getItem().factor().inCoeffDomain()) in squarefreeFactorization() 275 if (!tmp.inCoeffDomain()) in squarefreeFactorization() 285 if (!i.getItem().factor().inCoeffDomain()) in squarefreeFactorization() 293 if (!j.getItem().factor().inCoeffDomain()) in squarefreeFactorization() [all …]
|
H A D | cfGcdAlgExt.cc | 248 if (F.inCoeffDomain()) in tryDivrem() 292 if(A.inCoeffDomain()) in tryEuclid() 300 if(B.inCoeffDomain()) in tryEuclid() 419 if(F.inCoeffDomain()) in tryBrownGCD() 427 if(G.inCoeffDomain()) in tryBrownGCD() 516 if(f.inCoeffDomain()) in tryBrownGCD() 524 if(g.inCoeffDomain()) in tryBrownGCD() 667 else if ( (f.inCoeffDomain() && c.inCoeffDomain()) || in myicontent() 734 if(F.inCoeffDomain() || G.inCoeffDomain()) in QGCD() 924 if(f.inCoeffDomain()) in leadDeg() [all …]
|
H A D | facBivar.cc | 137 if (G.inCoeffDomain() || degree (F, 1) > degree (G, 1)) in testPoint() 190 if (F.inCoeffDomain()) in biFactorize() 212 if (result.getFirst().inCoeffDomain()) in biFactorize() 232 if (!contentAx.inCoeffDomain()) in biFactorize() 235 if (contentAxFactors.getFirst().factor().inCoeffDomain()) in biFactorize() 238 if (!contentAy.inCoeffDomain()) in biFactorize() 247 if (!contentAx.inCoeffDomain()) in biFactorize() 253 if (!contentAy.inCoeffDomain()) in biFactorize() 277 if (A.inCoeffDomain()) in biFactorize() 357 if (bufUniFactors.getFirst().inCoeffDomain()) in biFactorize() [all …]
|
H A D | fac_util.cc | 92 if ( f.inCoeffDomain() ) in replaceLc() 117 …ASSERT( (f.inCoeffDomain() || f.isUnivariate()) && (g.inCoeffDomain() || g.isUnivariate()) && (f.i… in remainder() 118 if ( f.inCoeffDomain() ) in remainder() 119 if ( g.inCoeffDomain() ) in remainder()
|
H A D | cf_algorithm.cc | 348 if ( (f.inCoeffDomain() || g.inCoeffDomain()) in fdivides() 353 if ( f.inCoeffDomain() ) in fdivides() 399 if ( (f.inCoeffDomain() || g.inCoeffDomain()) in fdivides() 404 if ( f.inCoeffDomain() ) in fdivides() 465 if (f.inCoeffDomain() || g.inCoeffDomain()) in tryFdivides() 468 if ( f.inCoeffDomain() ) in tryFdivides()
|
H A D | facAbsBiFact.cc | 57 if (iter.getItem().factor().inCoeffDomain()) in TIMING_DEFINE_PRINT() 103 if (f1Factors.getFirst().factor().inCoeffDomain()) in choosePoint() 111 if (f2Factors.getFirst().factor().inCoeffDomain()) in choosePoint() 249 if (result.getFirst().factor().inCoeffDomain()) in absBiFactorizeMain() 307 if (factors.getFirst().factor().inCoeffDomain()) in absBiFactorizeMain() 385 bool xValid= !(Gpx.inCoeffDomain() || smallestFactorEvalx.inCoeffDomain() || in absBiFactorizeMain() 387 bool yValid= !(Gpy.inCoeffDomain() || smallestFactorEvaly.inCoeffDomain() || in absBiFactorizeMain() 557 if (mipoFactors.getFirst().factor().inCoeffDomain()) in absBiFactorizeMain() 573 mipo.inCoeffDomain()) in absBiFactorizeMain() 600 if (mipoFactors.getFirst().factor().inCoeffDomain()) in absBiFactorizeMain() [all …]
|
H A D | facBivar.h | 67 if (contentXFactors.getFirst().factor().inCoeffDomain()) 69 if (contentYFactors.getFirst().factor().inCoeffDomain()) 71 if (F.inCoeffDomain()) 193 if (contentXFactors.getFirst().factor().inCoeffDomain()) 195 if (contentYFactors.getFirst().factor().inCoeffDomain()) 200 if (F.inCoeffDomain()) 243 if (j.getItem().inCoeffDomain()) continue;
|
H A D | facFqBivar.h | 84 if (contentXFactors.getFirst().factor().inCoeffDomain()) in biSqrfFactorizeHelper() 86 if (contentYFactors.getFirst().factor().inCoeffDomain()) in biSqrfFactorizeHelper() 88 if (F.inCoeffDomain()) in biSqrfFactorizeHelper() 246 if (contentXFactors.getFirst().factor().inCoeffDomain()) 248 if (contentYFactors.getFirst().factor().inCoeffDomain()) 253 if (F.inCoeffDomain()) 374 if (contentXFactors.getFirst().factor().inCoeffDomain()) 376 if (contentYFactors.getFirst().factor().inCoeffDomain()) 381 if (F.inCoeffDomain()) 504 if (contentXFactors.getFirst().factor().inCoeffDomain()) [all …]
|
H A D | cfEzgcd.cc | 454 if (G.inCoeffDomain()) in gcd_mon_rec() 478 while(!c.inCoeffDomain()) in gcd_mon() 773 if (((xxx1.inCoeffDomain() && xxx2.inCoeffDomain()) && in ezgcd() 775 || (xxx1.inCoeffDomain() && !xxx2.inCoeffDomain())) in ezgcd() 783 else if (((xxx1.inCoeffDomain() && xxx2.inCoeffDomain()) && in ezgcd() 785 || (!xxx1.inCoeffDomain() && xxx2.inCoeffDomain())) in ezgcd() 1354 if (((xxx1.inCoeffDomain() && xxx2.inCoeffDomain()) && in EZGCD_P() 1356 || (xxx1.inCoeffDomain() && !xxx2.inCoeffDomain())) in EZGCD_P() 1364 else if (((xxx1.inCoeffDomain() && xxx2.inCoeffDomain()) && in EZGCD_P() 1366 || (!xxx1.inCoeffDomain() && xxx2.inCoeffDomain())) in EZGCD_P()
|
H A D | facMul.cc | 243 if (F.inCoeffDomain() && G.inCoeffDomain()) in mulFLINTQTrunc() 418 if ((!F.inCoeffDomain() && !G.inCoeffDomain()) && in mulNTL() 488 else if (!F.inCoeffDomain() && !G.inCoeffDomain()) in mulNTL() 566 if (F.inCoeffDomain() && !G.inCoeffDomain()) in mulNTL() 579 else if (!F.inCoeffDomain() && G.inCoeffDomain()) in mulNTL() 623 if (F.inCoeffDomain() && !G.inCoeffDomain()) in mulNTL() 652 else if (F.inCoeffDomain() || G.inCoeffDomain()) in mulNTL() 741 else if (F.inCoeffDomain() && G.inCoeffDomain()) in modNTL() 944 else if (F.inCoeffDomain() && G.inCoeffDomain()) in divNTL() 3660 if (A.inCoeffDomain() && !B.inCoeffDomain()) in divrem2() [all …]
|
H A D | facAlgExt.cc | 192 if (normFactors.getFirst().factor().inCoeffDomain()) in AlgExtSqrfFactorize() 240 if (buf.inCoeffDomain()) in AlgExtSqrfFactorize() 376 if (F.inCoeffDomain()) in AlgExtFactorize() 391 if (i.getItem().factor().inCoeffDomain()) continue; in AlgExtFactorize()
|
H A D | facFqBivarUtil.cc | 45 if (!i.getItem().inCoeffDomain()) in TIMING_DEFINE_PRINT() 146 else if (F.inCoeffDomain()) in FqInExtensionHelper() 438 if (F.inCoeffDomain()) in multiplicity() 488 if (i.coeff().inCoeffDomain()) in logarithmicDerivative() 572 if (i.coeff().inCoeffDomain()) in logarithmicDerivative() 601 ASSERT (F.isUnivariate() || F.inCoeffDomain(), "univariate input expected"); in getCoeffs() 624 ASSERT (F.isUnivariate() || F.inCoeffDomain(), "univariate input expected"); in getCoeffs() 667 ASSERT (G.isUnivariate() || G.inCoeffDomain(), "univariate input expected"); in getCoeffs() 1091 if (F.inCoeffDomain()) in substituteCheck() 1128 if (F.inCoeffDomain() || G.inCoeffDomain()) in substituteCheck() [all …]
|
H A D | cfCharSetsUtil.cc | 331 if (F.inCoeffDomain()) in lowerRank() 333 if (G.inCoeffDomain()) in lowerRank() 337 else if (G.inCoeffDomain()) in lowerRank() 748 if (!LC(iter.getItem()).inCoeffDomain()) in initials() 767 if (!tmp.inCoeffDomain()) in factorsOfInitials() 783 if (!cF.inCoeffDomain()) in removeContent() 794 if (cF.inCoeffDomain()) in removeContent() 814 if (factors.getFirst().factor().inCoeffDomain()) in factorPSet()
|
H A D | facFactorize.cc | 175 if (factors.getFirst().inCoeffDomain()) in factorizationWRTDifferentSecondVars() 200 if (F.inCoeffDomain()) in multiFactorize() 218 if (result.getFirst().inCoeffDomain()) in multiFactorize() 227 if (buf.getFirst().inCoeffDomain()) in multiFactorize() 244 if (A.inCoeffDomain()) in multiFactorize() 248 if (i.getItem().inCoeffDomain()) in multiFactorize() 476 bool LCmultiplierIsConst= LCmultiplier.inCoeffDomain(); in multiFactorize()
|
H A D | facAlgFuncUtil.cc | 304 if (iter.getItem().factor().inCoeffDomain()) in multiplicity() 326 if (f.inCoeffDomain()) in hasAlgVar() 349 if (f.inCoeffDomain()) in hasVar() 500 if (f.inCoeffDomain()) in divide() 639 if (f.inCoeffDomain()) in evaluate() 677 if (f.inCoeffDomain()) in evaluate()
|
H A D | cfCharSets.cc | 263 if (result.isEmpty() || result.getFirst().inCoeffDomain()) in charSetViaCharSetN() 376 if (result.isEmpty() || result.getFirst().inCoeffDomain()) in charSetViaModCharSet() 521 if (qs.getFirst().factor().inCoeffDomain()) in irredAS() 549 if (qs.getFirst().factor().inCoeffDomain()) in irredAS() 579 if (sqrfFactors.getFirst().factor().inCoeffDomain()) in irrCharSeries()
|
H A D | cf_factor.cc | 64 if ( ! f.inCoeffDomain() ) in find_exp() 219 if (!(L.getFirst().factor().inCoeffDomain())) in test_cff() 224 if (tt.inCoeffDomain() && (j!=0)) in test_cff() 262 ASSERT( ( ! f.inCoeffDomain() ), "no constants" ); in get_max_degree_Variable() 407 if ( f.inCoeffDomain() ) in factorize() 765 if ( f.inCoeffDomain() ) in factorize()
|
H A D | fac_sqrfree.cc | 51 if ( a.inCoeffDomain() ) in sqrFreeZ() 117 if (F.inCoeffDomain()) in sqrfPart()
|
H A D | facFqFactorize.cc | 1301 if (content.inCoeffDomain()) in distributeContent() 1359 if (!g.inCoeffDomain()) in distributeContent() 1485 if (LCF.inCoeffDomain()) in precomputeLeadingCoeff() 1997 if (!content(tmp,1).inCoeffDomain()) in evaluationWRTDifferentSecondVars() 1999 if (!content(tmp).inCoeffDomain()) in evaluationWRTDifferentSecondVars() 2029 if (!g2.inCoeffDomain()) in checkHelper() 2603 if (!tmp.inCoeffDomain()) in distributeLCmultiplier() 2930 if (F.inCoeffDomain()) in multiFactorize() 2965 if (buf.getFirst().inCoeffDomain()) in multiFactorize() 2982 if (A.inCoeffDomain()) in multiFactorize() [all …]
|
H A D | facAlgFunc.cc | 44 if (!f.inCoeffDomain()) in alg_content() 63 if (fff.inCoeffDomain() || ggg.inCoeffDomain()) in alg_gcd() 255 if (testlist.getFirst().factor().inCoeffDomain()) in norm() 457 if (!h.inCoeffDomain()) in Trager() 520 if (normFactors.getFirst().factor().inCoeffDomain()) in Trager() 1049 if (Factors.getFirst().factor().inCoeffDomain()) in facAlgFunc()
|
H A D | cfSubResGcd.cc | 14 if (f.inCoeffDomain() || g.inCoeffDomain()) //zero case should be caught by gcd in subResGCD_p()
|
H A D | canonicalform.cc | 122 CanonicalForm::inCoeffDomain() const in inCoeffDomain() function in CanonicalForm 127 return value->inCoeffDomain(); in inCoeffDomain() 168 else if (this->inCoeffDomain()) return true; in isHomogeneous() 354 if ( is_imm( value ) || value->inCoeffDomain() ) in Lc() 384 if ( is_imm( value ) || value->inCoeffDomain() ) in LC() 500 if ( is_imm( value ) || value->inCoeffDomain() ) in tailcoeff() 520 if ( is_imm( value ) || value->inCoeffDomain() ) in tailcoeff() 1302 if ( is_imm( value ) || value->inCoeffDomain() ) in deriv() 1323 if ( is_imm( value ) || value->inCoeffDomain() ) in deriv()
|