Changeset a7c8b18 in git
- Timestamp:
- Apr 14, 2003, 10:04:03 AM (20 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')
- Children:
- d96b7981b4c023c87dfa9564273e0a6f307b5c78
- Parents:
- e36a8a2ba4644aea1e162e9da3265aef58156c21
- Location:
- IntegerProgramming
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
IntegerProgramming/Buchberger.cc
re36a8a2 ra7c8b18 2730 2730 2731 2731 2732 binomial& ideal::reduce(binomial& bin, BOOLEAN complete =TRUE) const2732 binomial& ideal::reduce(binomial& bin, BOOLEAN complete) const 2733 2733 { 2734 2734 // As bin is reduced by a fixed set of binomials, it is sufficient to do … … 2859 2859 2860 2860 2861 ideal& ideal::reduced_Groebner_basis_1(const short& S_pair_criteria =11,2862 const float& interred_percentage =12.0)2861 ideal& ideal::reduced_Groebner_basis_1(const short& S_pair_criteria, 2862 const float& interred_percentage) 2863 2863 { 2864 2864 // set flags for the use of the S-pair criteria … … 2940 2940 2941 2941 2942 ideal& ideal::reduced_Groebner_basis_1a(const short& S_pair_criteria =11,2943 const float& interred_percentage =12.0)2942 ideal& ideal::reduced_Groebner_basis_1a(const short& S_pair_criteria, 2943 const float& interred_percentage) 2944 2944 { 2945 2945 // set flags for the use of the S-pair criteria … … 3021 3021 3022 3022 3023 ideal& ideal::reduced_Groebner_basis_2(const short& S_pair_criteria =11,3024 const float& interred_percentage =12.0)3023 ideal& ideal::reduced_Groebner_basis_2(const short& S_pair_criteria, 3024 const float& interred_percentage) 3025 3025 { 3026 3026 // set flags for the use of the S-pair criteria … … 3102 3102 3103 3103 3104 ideal& ideal::reduced_Groebner_basis_3(const short& S_pair_criteria =11,3105 const float& interred_percentage =12.0)3104 ideal& ideal::reduced_Groebner_basis_3(const short& S_pair_criteria, 3105 const float& interred_percentage) 3106 3106 { 3107 3107 // set flags for the use of the S-pair criteria … … 3168 3168 3169 3169 3170 ideal& ideal::reduced_Groebner_basis(const short& version =1,3171 const short& S_pair_criteria =11,3172 const float& interred_percentage =12.0)3170 ideal& ideal::reduced_Groebner_basis(const short& version, 3171 const short& S_pair_criteria, 3172 const float& interred_percentage) 3173 3173 { 3174 3174 switch(version) -
IntegerProgramming/IP_algorithms.cc
re36a8a2 ra7c8b18 61 61 62 62 int Conti_Traverso(INPUT_FILE MATRIX, 63 const short& version =1,64 const short& S_pair_criteria =11,65 const float& interred_percentage =12.0,66 const BOOLEAN& verbose =FALSE)63 const short& version, 64 const short& S_pair_criteria, 65 const float& interred_percentage, 66 const BOOLEAN& verbose) 67 67 { 68 68 … … 349 349 350 350 int Positive_Conti_Traverso(INPUT_FILE MATRIX, 351 const short& version =1,352 const short& S_pair_criteria =11,353 const float& interred_percentage =12.0,354 const BOOLEAN& verbose =FALSE)351 const short& version, 352 const short& S_pair_criteria, 353 const float& interred_percentage, 354 const BOOLEAN& verbose) 355 355 { 356 356 … … 646 646 647 647 int Elim_Conti_Traverso(INPUT_FILE MATRIX, 648 const short& version =1,649 const short& S_pair_criteria =11,650 const float& interred_percentage =12.0,651 const BOOLEAN& verbose =FALSE)648 const short& version, 649 const short& S_pair_criteria, 650 const float& interred_percentage, 651 const BOOLEAN& verbose) 652 652 { 653 653 … … 935 935 936 936 int Pottier(INPUT_FILE MATRIX, 937 const short& version =1,938 const short& S_pair_criteria =11,939 const float& interred_percentage =12.0,940 const BOOLEAN& verbose =FALSE)937 const short& version, 938 const short& S_pair_criteria, 939 const float& interred_percentage, 940 const BOOLEAN& verbose) 941 941 { 942 942 … … 1223 1223 1224 1224 int Hosten_Sturmfels(INPUT_FILE MATRIX, 1225 const short& version =1,1226 const short& S_pair_criteria =11,1227 const float& interred_percentage =12.0,1228 const BOOLEAN& verbose =FALSE)1225 const short& version, 1226 const short& S_pair_criteria, 1227 const float& interred_percentage, 1228 const BOOLEAN& verbose) 1229 1229 { 1230 1230 … … 1634 1634 1635 1635 int DiBiase_Urbanke(INPUT_FILE MATRIX, 1636 const short& version =1,1637 const short& S_pair_criteria =11,1638 const float& interred_percentage =12.0,1639 const BOOLEAN& verbose =FALSE)1636 const short& version, 1637 const short& S_pair_criteria, 1638 const float& interred_percentage, 1639 const BOOLEAN& verbose) 1640 1640 { 1641 1641 … … 2000 2000 2001 2001 int Bigatti_LaScala_Robbiano(INPUT_FILE MATRIX, 2002 const short& version =1,2003 const short& S_pair_criteria =11,2004 const float& interred_percentage =12.0,2005 const BOOLEAN& verbose =FALSE)2002 const short& version, 2003 const short& S_pair_criteria, 2004 const float& interred_percentage, 2005 const BOOLEAN& verbose) 2006 2006 { 2007 2007 … … 3363 3363 3364 3364 int change_cost(INPUT_FILE GROEBNER, INPUT_FILE NEW_COST, 3365 const short& version =1,3366 const short& S_pair_criteria =11,3367 const float& interred_percentage =12.0,3368 const BOOLEAN& verbose =FALSE)3365 const short& version, 3366 const short& S_pair_criteria, 3367 const float& interred_percentage, 3368 const BOOLEAN& verbose) 3369 3369 { 3370 3370 -
IntegerProgramming/LLL.cc
re36a8a2 ra7c8b18 160 160 BigInt _lambda=lambda[k][k-1]; 161 161 162 if(_lambda== 0)162 if(_lambda==(const BigInt&)0) 163 163 { 164 164 d[k]=d[k-1]; … … 235 235 236 236 for(short m=0;m<vector_dimension;m++) 237 if(b[0][m]!= 0)237 if(b[0][m]!=(const BigInt&)0) 238 238 // nonzero entry detected 239 239 r=0; … … 296 296 // Now, H equals the matrix I_(number_of_vectors). 297 297 298 if(t!= 0)298 if(t!=(const BigInt&)0) 299 299 { 300 300 d[1]=t; … … 343 343 else 344 344 // j==k 345 if(u!= 0)345 if(u!=(const BigInt&)0) 346 346 { 347 347 d[k+1]=u; … … 532 532 } 533 533 534 if(d[k+1]== 0)534 if(d[k+1]==(const BigInt&)0) 535 535 { 536 536 cerr<<"\nERROR: void integral_LLL(BigInt**, const short&, const " … … 547 547 REDI_IL(k,k-1,b,vector_dimension,d,lambda); 548 548 549 if(4*d[k+1]*d[k-1] < 3*d[k]*d[k] - lambda[k][k-1]*lambda[k][k-1]) 549 //if(4*d[k+1]*d[k-1] < 3*d[k]*d[k] - lambda[k][k-1]*lambda[k][k-1]) 550 if((const BigInt&)4*d[k+1]*d[k-1] 551 < (const BigInt&)3*d[k]*d[k] - lambda[k][k-1]*lambda[k][k-1]) 550 552 { 551 553 SWAPI(k,k_max,b,d,lambda);
Note: See TracChangeset
for help on using the changeset viewer.