Changeset 001cc15 in git for factory/facFqFactorizeUtil.h
- Timestamp:
- Sep 6, 2012, 7:11:17 PM (12 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 0b27942997f2964b33d7b6fb15f97e372d54fc5f
- Parents:
- 24a77fb14c59fc78cc67eb5f6934a45d8862d99e107aac1a78fd9b689a33a864d23b7cfb1caa5bdf
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/facFqFactorizeUtil.h
r24a77fb r001cc15 121 121 ); 122 122 123 /// check if @F consists of more than just the leading coeff wrt. Variable (1) 124 /// 125 /// @return as described above 126 bool isOnlyLeadingCoeff (const CanonicalForm& F ///< [in] some poly 127 ); 128 129 /// sort CFFList by the number variables in a factor 130 CFFList sortCFFListByNumOfVars (CFFList & F ///< [in,out] a list of factors 131 ); 132 133 /// like getVars but each variable x occuring in @F is raised to x^degree (F,x) 134 CanonicalForm myGetVars (const CanonicalForm& F ///< [in] a polynomial 135 ); 136 137 /// evaluate @a F at @a evaluation 138 /// 139 /// @return @a evaluateAtEval returns a list containing the successive 140 /// evaluations of @a F, last entry is @a F again 141 CFList 142 evaluateAtEval (const CanonicalForm& F, ///<[in] some poly 143 const CFArray& evaluation ///<[in] some evaluation point 144 ); 145 146 /// evaluate @a F at @a evaluation 147 /// 148 /// @return @a evaluateAtEval returns a list containing the successive 149 /// evaluations of @a F starting at level @a l, last entry is @a F again 150 CFList 151 evaluateAtEval (const CanonicalForm& F, ///<[in] some poly 152 const CFList& evaluation,///<[in] some evaluation point 153 int l ///<[in] level to start at 154 ); 155 156 /// evaluate F successively n-2 at 0 157 /// 158 /// @return returns a list of successive evaluations of F, ending with F 159 CFList evaluateAtZero (const CanonicalForm& F ///< [in] some poly 160 ); 161 162 /// divides factors by their content wrt. Variable(1) and checks if these polys 163 /// divide F 164 /// 165 /// @return returns factors of F 166 CFList recoverFactors (const CanonicalForm& F, ///< [in] some poly F 167 const CFList& factors ///< [in] some list of 168 ///< factor candidates 169 ); 170 171 /// divides factors shifted by evaluation by their content wrt. Variable(1) and 172 /// checks if these polys divide F 173 /// 174 /// @return returns factors of F 175 CFList recoverFactors (const CanonicalForm& F, ///< [in] some poly F 176 const CFList& factors, ///< [in] some list of 177 ///< factor candidates 178 const CFList& evaluation ///< [in] evaluation point 179 ); 180 181 /// checks if factors divide F, if so F is divided by this factor and the factor 182 /// is divided by its content wrt. Variable(1) and the entry in index at the 183 /// position of the factor is set to 1, otherwise the entry in index is set to 0 184 /// 185 /// @return returns factors of F 186 CFList recoverFactors (CanonicalForm& F, ///< [in,out] some poly F 187 const CFList& factors,///< [in] some list of 188 ///< factor candidates 189 int* index ///< [in] position of real factors 190 ); 191 123 192 #endif 124 193 /* FAC_FQ_FACTORIZE_UTIL_H */
Note: See TracChangeset
for help on using the changeset viewer.