Lines Matching refs:CFList
60 CanonicalForm prodMod0 (const CFList& L, const CanonicalForm& M, const modpk& b) in TIMING_DEFINE_PRINT()
72 CFList tmp1, tmp2; in TIMING_DEFINE_PRINT()
85 const Variable& alpha, CFList& list, const bool& GF, in evalPoint()
159 CFList
164 return CFList(); in uniFactorizer()
359 CFList uniFactors; in uniFactorizer()
369 CFList
370 extFactorRecombination (CFList& factors, CanonicalForm& F, in extFactorRecombination()
378 return CFList(); in extFactorRecombination()
381 return CFList(); in extFactorRecombination()
393 CFList source, dest; in extFactorRecombination()
396 CFList result= CFList(mapDown (F(y-eval, y), info, source, dest)); in extFactorRecombination()
407 CFList T, S, Diff; in extFactorRecombination()
410 CFList result; in extFactorRecombination()
585 CFList
586 factorRecombination (CFList& factors, CanonicalForm& F, in factorRecombination()
595 return CFList (); in factorRecombination()
598 return CFList(); in factorRecombination()
602 CFList result= CFList (F(y-eval,y)); in factorRecombination()
615 CFList T, S; in factorRecombination()
620 CFList result; in factorRecombination()
664 result= CFList (F(y-eval,y)); in factorRecombination()
752 result= CFList (F (y-eval,y)); in factorRecombination()
778 result= CFList (F(y-eval,y)); in factorRecombination()
852 earlyFactorDetection (CFList& reconstructedFactors, CanonicalForm& F, CFList& in earlyFactorDetection()
859 CFList T= factors; in earlyFactorDetection()
937 T= Difference (T, CFList (i.getItem())); in earlyFactorDetection()
971 earlyFactorDetection (CFList& reconstructedFactors, CanonicalForm& F, CFList& in earlyFactorDetection()
982 extEarlyFactorDetection (CFList& reconstructedFactors, CanonicalForm& F, CFList& in extEarlyFactorDetection()
994 CFList result; in extEarlyFactorDetection()
995 CFList T= factors; in extEarlyFactorDetection()
1003 CFList source, dest; in extEarlyFactorDetection()
1047 T= Difference (T, CFList (i.getItem())); in extEarlyFactorDetection()
1136 deleteFactors (CFList& factors, int* factorsFoundIndex) in deleteFactors()
1138 CFList result; in deleteFactors()
1151 CFList
1152 henselLiftAndEarly (CanonicalForm& A, bool& earlySuccess, CFList& in henselLiftAndEarly()
1154 const CFList& uniFactors, const ExtensionInfo& info, in henselLiftAndEarly()
1169 CFList diophant; in henselLiftAndEarly()
1170 CFList bufUniFactors= uniFactors; in henselLiftAndEarly()
1224 CFList bufBufUniFactors; in henselLiftAndEarly()
1454 CFList
1455 henselLiftAndEarly (CanonicalForm& A, bool& earlySuccess, CFList& in henselLiftAndEarly()
1457 const CFList& uniFactors, const ExtensionInfo& info, in henselLiftAndEarly()
1604 reconstructionTry (CFList& reconstructedFactors, CanonicalForm& F, const CFList& in reconstructionTry()
1688 reconstructionTry (CFList& reconstructedFactors, CanonicalForm& F, const CFList& in reconstructionTry()
1772 reconstructionTry (CFList& reconstructedFactors, CanonicalForm& F, const CFList& in reconstructionTry()
1855 CFList
1856 reconstruction (CanonicalForm& G, CFList& factors, int* zeroOneVecs, int in reconstruction()
1865 CFList result, factorsConsidered; in reconstruction()
1866 CFList bufFactors= factors; in reconstruction()
1874 factorsConsidered= CFList(); in reconstruction()
1906 CFList
1907 monicReconstruction (CanonicalForm& G, CFList& factors, int* zeroOneVecs, in monicReconstruction()
1916 CFList result; in monicReconstruction()
1917 CFList bufFactors= factors; in monicReconstruction()
1918 CFList factorsConsidered; in monicReconstruction()
1926 factorsConsidered= CFList(); in monicReconstruction()
1959 CFList
1960 extReconstruction (CanonicalForm& G, CFList& factors, int* zeroOneVecs, int in extReconstruction()
1974 CFList result; in extReconstruction()
1975 CFList bufFactors= factors; in extReconstruction()
1976 CFList factorsConsidered; in extReconstruction()
1985 factorsConsidered= CFList(); in extReconstruction()
2013 CFList source, dest; in extReconstruction()
2040 CFList
2041 extReconstruction (CanonicalForm& G, CFList& factors, int* zeroOneVecs, int in extReconstruction()
2055 CFList result; in extReconstruction()
2056 CFList bufFactors= factors; in extReconstruction()
2057 CFList factorsConsidered; in extReconstruction()
2066 factorsConsidered= CFList(); in extReconstruction()
2094 CFList source, dest; in extReconstruction()
2121 CFList
2122 reconstruction (CanonicalForm& G, CFList& factors, int* zeroOneVecs, in reconstruction()
2130 CFList result; in reconstruction()
2131 CFList bufFactors= factors; in reconstruction()
2132 CFList factorsConsidered; in reconstruction()
2140 factorsConsidered= CFList(); in reconstruction()
2172 CFList
2173 reconstruction (CanonicalForm& G, CFList& factors, int* zeroOneVecs, in reconstruction()
2181 CFList result; in reconstruction()
2182 CFList bufFactors= factors; in reconstruction()
2183 CFList factorsConsidered; in reconstruction()
2191 factorsConsidered= CFList(); in reconstruction()
2224 extReconstructionTry (CFList& reconstructedFactors, CanonicalForm& F, const in extReconstructionTry()
2225 CFList& factors, const int liftBound, int& factorsFound, in extReconstructionTry()
2238 CFList source, dest; in extReconstructionTry()
2354 extReconstructionTry (CFList& reconstructedFactors, CanonicalForm& F, const in extReconstructionTry()
2355 CFList& factors, const int liftBound, int& factorsFound, in extReconstructionTry()
2368 CFList source, dest; in extReconstructionTry()
2486 start, int liftBound, int minBound, CFList& factors, in liftAndComputeLattice()
2487 mat_zz_p& NTLN, CFList& diophant, CFMatrix& M, CFArray& in liftAndComputeLattice()
2611 start, int liftBound, int minBound, CFList& factors, in liftAndComputeLattice()
2612 nmod_mat_t FLINTN, CFList& diophant, CFMatrix& M,CFArray& in liftAndComputeLattice()
2750 int liftBound, int minBound, int start, CFList& in extLiftAndComputeLattice()
2751 factors, mat_zz_p& NTLN, CFList& diophant, in extLiftAndComputeLattice()
2754 ExtensionInfo& info, CFList& source, CFList& dest in extLiftAndComputeLattice()
2949 int liftBound, int minBound, int start, CFList& in extLiftAndComputeLattice()
2950 factors, nmod_mat_t FLINTN, CFList& diophant, in extLiftAndComputeLattice()
2953 ExtensionInfo& info, CFList& source, CFList& dest in extLiftAndComputeLattice()
3158 int start, int liftBound, int minBound, CFList& factors, in liftAndComputeLattice()
3159 mat_zz_pE& NTLN, CFList& diophant, CFMatrix& M, CFArray& in liftAndComputeLattice()
3293 int start, int liftBound, int minBound, CFList& in liftAndComputeLatticeFq2Fp()
3294 factors, nmod_mat_t FLINTN, CFList& diophant, in liftAndComputeLatticeFq2Fp()
3301 int start, int liftBound, int minBound, CFList& in liftAndComputeLatticeFq2Fp()
3302 factors, mat_zz_p& NTLN, CFList& diophant, CFMatrix& in liftAndComputeLatticeFq2Fp()
3474 CFList
3475 increasePrecision (CanonicalForm& F, CFList& factors, int factorsFound,
3489 return CFList (G (y-eval, y));
3595 return CFList (G (y-eval,y));
3617 CFList result;
3646 CFList result= reconstruction (bufF,factors,zeroOne,precision,FLINTN, eval);
3650 CFList result= reconstruction (bufF, factors, zeroOne, precision, NTLN, eval);
3678 return CFList();
3683 CFList
3684 increasePrecision (CanonicalForm& F, CFList& factors, int factorsFound,
3698 return CFList (G (y-eval,y));
3764 return CFList (G (y-eval,y));
3777 CFList result;
3795 CFList result= reconstruction (bufF, factors, zeroOne, precision, NTLN, eval);
3819 return CFList();
3825 CFList
3826 extIncreasePrecision (CanonicalForm& F, CFList& factors, int factorsFound,
3828 const ExtensionInfo& info, CFList& source, CFList& dest,
3843 CFList source, dest;
3846 return CFList (tmp);
4028 CFList source, dest;
4033 return CFList (tmp);
4062 CFList result;
4091 CFList result= extReconstruction (bufF, factors, zeroOne, precision,
4097 CFList result= extReconstruction (bufF, factors, zeroOne, precision,
4128 return CFList();
4133 CFList
4134 increasePrecision2 (const CanonicalForm& F, CFList& factors,
4143 return CFList (F);
4214 return CFList (F);
4223 CFList bufFactors= factors;
4224 CFList result= monicReconstruction (bufF, factors, zeroOne, precision,
4261 return CFList();
4266 CFList
4267 increasePrecisionFq2Fp (CanonicalForm& F, CFList& factors, int factorsFound,
4281 return CFList (G (y-eval,y));
4388 return CFList (G (y-eval,y));
4410 CFList result;
4439 CFList result= reconstruction (bufF,factors,zeroOne,precision,FLINTN, eval);
4443 CFList result= reconstruction (bufF, factors, zeroOne, precision, NTLN, eval);
4471 return CFList();
4477 CFList
4478 increasePrecision (CanonicalForm& F, CFList& factors, int oldL, int
4483 CFList
4484 increasePrecision (CanonicalForm& F, CFList& factors, int oldL, int
4490 CFList result= CFList();
4521 CFList bufUniFactors;
4591 return CFList (F (y-eval,y));
4602 return CFList (F (y-eval,y));
4626 result= CFList();
4646 CFList
4647 increasePrecision (CanonicalForm& F, CFList& factors, int oldL, int
4652 CFList result= CFList();
4664 CFList bufUniFactors;
4709 return CFList (F (y-eval,y));
4716 return CFList (F (y-eval,y));
4733 result= CFList();
4755 CFList
4756 extIncreasePrecision (CanonicalForm& F, CFList& factors, int oldL, int l, int d,
4759 CFList& source, CFList& dest
4762 CFList
4763 extIncreasePrecision (CanonicalForm& F, CFList& factors, int oldL, int l, int d,
4766 CFList& source, CFList& dest
4770 CFList result= CFList();
4803 CFList bufUniFactors;
4941 CFList source, dest;
4944 return CFList (tmp);
4964 CFList source, dest;
4967 return CFList (tmp);
4992 result= CFList();
5013 CFList
5014 increasePrecisionFq2Fp (CanonicalForm& F, CFList& factors, int oldL, int l,
5019 CFList
5020 increasePrecisionFq2Fp (CanonicalForm& F, CFList& factors, int oldL, int l,
5026 CFList result= CFList();
5054 CFList bufUniFactors;
5124 return CFList (F(y-eval,y));
5152 result= CFList();
5173 CFList
5174 furtherLiftingAndIncreasePrecision (CanonicalForm& F, CFList&
5176 bounds, nmod_mat_t FLINTN, CFList& diophant,
5181 CFList
5182 furtherLiftingAndIncreasePrecision (CanonicalForm& F, CFList&
5184 bounds, mat_zz_p& NTLN, CFList& diophant,
5191 CFList result;
5193 CFList bufFactors= factors;
5194 CFList bufBufFactors;
5380 result= CFList();
5398 return CFList (F (y-eval,y));
5402 return CFList();
5408 CFList
5409 furtherLiftingAndIncreasePrecision (CanonicalForm& F, CFList&
5411 bounds, mat_zz_pE& NTLN, CFList& diophant,
5417 CFList result;
5419 CFList bufFactors= factors;
5420 CFList bufBufFactors;
5527 result= CFList();
5545 return CFList (F (y-eval,y));
5549 return CFList();
5556 CFList
5557 extFurtherLiftingAndIncreasePrecision (CanonicalForm& F, CFList& factors, int l,
5559 nmod_mat_t FLINTN, CFList& diophant,
5562 ExtensionInfo& info, CFList& source,
5563 CFList& dest
5566 CFList
5567 extFurtherLiftingAndIncreasePrecision (CanonicalForm& F, CFList& factors, int l,
5569 mat_zz_p& NTLN, CFList& diophant,
5572 ExtensionInfo& info, CFList& source,
5573 CFList& dest
5578 CFList result;
5580 CFList bufFactors= factors;
5581 CFList bufBufFactors;
5840 result= CFList();
5860 CFList source, dest;
5862 return CFList (tmp);
5866 return CFList();
5872 CFList
5873 furtherLiftingAndIncreasePrecisionFq2Fp (CanonicalForm& F, CFList& factors, int
5875 nmod_mat_t FLINTN, CFList& diophant,
5881 CFList
5882 furtherLiftingAndIncreasePrecisionFq2Fp (CanonicalForm& F, CFList& factors, int
5884 mat_zz_p& NTLN, CFList& diophant,
5892 CFList result;
5894 CFList bufFactors= factors;
5895 CFList bufBufFactors;
6079 result= CFList();
6097 return CFList (F (y-eval,y));
6101 return CFList();
6108 liftBound, int l, CFList& factors, CFMatrix& M, CFArray&
6109 Pi, CFList& diophant
6112 CFList bufFactors;
6131 diophant= CFList();
6141 liftBound, int l, CFList& factors, CFMatrix& M, CFArray&
6142 Pi, CFList& diophant
6145 CFList bufFactors;
6164 diophant= CFList();
6174 liftBound, int l, CFList& factors, CFMatrix& M, CFArray&
6175 Pi, CFList& diophant
6178 CFList bufFactors;
6197 diophant= CFList();
6204 CFList
6206 CanonicalForm& bufF, CFList& factors, int& l,
6208 CFArray& Pi, CFList& diophant, bool symmetric,
6212 CFList
6214 CanonicalForm& bufF, CFList& factors, int& l,
6216 CFArray& Pi, CFList& diophant, bool symmetric,
6227 CFList result;
6418 CFList
6420 CanonicalForm& bufF, CFList& factors, int& l,
6422 CFArray& Pi, CFList& diophant, bool symmetric,
6431 CFList result;
6578 CFList
6580 CanonicalForm& bufF, CFList& factors, int& l,
6582 M, CFArray& Pi, CFList& diophant, const
6587 CFList
6589 CanonicalForm& bufF, CFList& factors, int& l,
6591 M, CFArray& Pi, CFList& diophant, const
6602 CFList result;
6761 CFList
6762 sieveSmallFactors (const CanonicalForm& G, CFList& uniFactors, DegreePattern&
6763 degPat, CanonicalForm& H, CFList& diophant, CFArray& Pi,
6768 CFList bufUniFactors= uniFactors;
6778 CFList earlyFactors;
6802 return CFList();
6808 CFList
6809 extSieveSmallFactors (const CanonicalForm& G, CFList& uniFactors, DegreePattern&
6810 degPat, CanonicalForm& H, CFList& diophant, CFArray& Pi,
6816 CFList bufUniFactors= uniFactors;
6826 CFList earlyFactors;
6852 return CFList();
6858 CFList
6859 henselLiftAndLatticeRecombi (const CanonicalForm& G, const CFList& uniFactors,
6875 return CFList (G);
6884 CFList bufUniFactors= uniFactors;
6886 CFList diophant;
6890 CFList smallFactors;
6904 return CFList (G (y-eval,y));
6960 diophant= CFList();
7116 return Union (CFList (F(y-eval,y)), smallFactors);
7121 CFList result;
7244 result= CFList();
7361 CFList bufBufUniFactors= bufUniFactors;
7364 CFList factorsConsidered;
7372 factorsConsidered= CFList();
7413 CFList resultBufF;
7711 CFList
7712 extHenselLiftAndLatticeRecombi(const CanonicalForm& G, const CFList& uniFactors,
7724 CFList bufUniFactors= uniFactors;
7730 CFList source, dest;
7739 CFList source, dest;
7742 return CFList (tmp);
7753 CFList diophant;
7758 CFList smallFactors;
7772 CFList source, dest;
7775 return CFList (tmp);
7819 CFList source, dest;
7834 diophant= CFList();
7844 CFList source, dest;
7933 CFList source, dest;
7936 return Union (CFList (tmp), smallFactors);
7941 CFList result;
8022 result= CFList();
8097 CFList bufBufUniFactors= bufUniFactors;
8100 CFList factorsConsidered;
8111 factorsConsidered= CFList();
8143 CFList resultBufF;
8171 CFList bufResult;
8178 CFList source, dest;
8257 CFList source, dest;
8297 CFList
8302 CFList
8306 return CFList(F);
8323 CFList source, dest;
8333 if (y.level() > 2) return CFList (F);
8341 CFList contentAxFactors, contentAyFactors;
8350 CFList factors;
8394 CFList factorsG=
8415 CFList factorsG=
8474 CFList uniFactors, list, bufUniFactors;
8480 CFList bufUniFactors2, list2, uniFactors2;
8573 CFList source, dest;
8697 CFList source, dest;
8734 CFList earlyFactors;
8765 CFList lll= extHenselLiftAndLatticeRecombi (A, uniFactors, info, degs,
8772 CFList lll= henselLiftAndLatticeRecombi (A, uniFactors, alpha, degs,
8778 CFList lll= henselLiftAndLatticeRecombi (A, uniFactors, alpha, degs,
8789 CFList earlyFactors;
8809 CFList tmp;
8861 CFList tmp= increasePrecision2 (A, uniFactors, alpha, liftBound);
8884 CFList source, dest;
8885 CFList tmp= extIncreasePrecision (A, uniFactors, 0,
8927 CFList
8940 CFList factors;
8996 CFList source, dest;
9015 CFList source, dest;
9017 source= CFList();
9018 dest= CFList();
9086 CFList source, dest;