Changeset d193e12 in git
- Timestamp:
- Apr 28, 2014, 1:55:43 PM (10 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- b6cba687bdf0dced5f30bdbc8d8521d8c1b0af8b
- Parents:
- 9393e86176909d1ae03332ca82410f01a9d44138
- git-author:
- Martin Lee <martinlee84@web.de>2014-04-28 13:55:43+02:00
- git-committer:
- Martin Lee <martinlee84@web.de>2014-04-28 15:33:22+02:00
- Location:
- factory
- Files:
-
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/DegreePattern.h
r9393e86 rd193e12 40 40 /// construct a Pattern from an int 41 41 Pattern(int n): m_refCounter(1), m_length(n), m_pattern( new int[n]) {}; 42 /// default con tructor42 /// default constructor 43 43 Pattern(): m_refCounter(1), m_length(0), m_pattern(NULL) {}; 44 44 -
factory/NTLconvert.cc
r9393e86 rd193e12 59 59 //////////////////////////////////////////////////////////////////////////////// 60 60 61 ZZ_pX convertFacCF2NTLZZpX( CanonicalFormf)61 ZZ_pX convertFacCF2NTLZZpX(const CanonicalForm & f) 62 62 { 63 63 ZZ_pX ntl_poly; … … 100 100 return ntl_poly; 101 101 } 102 zz_pX convertFacCF2NTLzzpX( CanonicalFormf)102 zz_pX convertFacCF2NTLzzpX(const CanonicalForm & f) 103 103 { 104 104 zz_pX ntl_poly; … … 177 177 //////////////////////////////////////////////////////////////////////////////// 178 178 179 GF2X convertFacCF2NTLGF2X( CanonicalFormf)179 GF2X convertFacCF2NTLGF2X(const CanonicalForm & f) 180 180 { 181 181 //printf("convertFacCF2NTLGF2X\n"); … … 243 243 //////////////////////////////////////////////////////////////////////////////// 244 244 245 CanonicalForm convertNTLZZpX2CF( ZZ_pX poly,Variablex)245 CanonicalForm convertNTLZZpX2CF(const ZZ_pX & poly,const Variable & x) 246 246 { 247 247 return convertNTLZZX2CF (to_ZZX (poly), x); 248 248 } 249 249 250 CanonicalForm convertNTLzzpX2CF( zz_pX poly,Variablex)250 CanonicalForm convertNTLzzpX2CF(const zz_pX & poly,const Variable & x) 251 251 { 252 252 //printf("convertNTLzzpX2CF\n"); … … 278 278 } 279 279 280 CanonicalForm convertNTLZZX2CF( ZZX polynom,Variablex)280 CanonicalForm convertNTLZZX2CF(const ZZX & polynom,const Variable & x) 281 281 { 282 282 //printf("convertNTLZZX2CF\n"); … … 315 315 //////////////////////////////////////////////////////////////////////////////// 316 316 317 CanonicalForm convertNTLGF2X2CF( GF2X poly,Variablex)317 CanonicalForm convertNTLGF2X2CF(const GF2X & poly,const Variable & x) 318 318 { 319 319 //printf("convertNTLGF2X2CF\n"); … … 367 367 368 368 CFFList convertNTLvec_pair_ZZpX_long2FacCFFList 369 ( vec_pair_ZZ_pX_long e,ZZ_p multi,Variablex)369 (const vec_pair_ZZ_pX_long & e,const ZZ_p & multi,const Variable & x) 370 370 { 371 371 //printf("convertNTLvec_pair_ZZpX_long2FacCFFList\n"); … … 392 392 } 393 393 CFFList convertNTLvec_pair_zzpX_long2FacCFFList 394 ( vec_pair_zz_pX_long e,zz_p multi,Variablex)394 (const vec_pair_zz_pX_long & e,const zz_p multi,const Variable & x) 395 395 { 396 396 //printf("convertNTLvec_pair_zzpX_long2FacCFFList\n"); … … 439 439 440 440 CFFList convertNTLvec_pair_GF2X_long2FacCFFList 441 ( vec_pair_GF2X_long e, GF2 /*multi*/, Variablex)441 (const vec_pair_GF2X_long& e, GF2 /*multi*/, const Variable & x) 442 442 { 443 443 //printf("convertNTLvec_pair_GF2X_long2FacCFFList\n"); … … 490 490 static unsigned long cf_stringtemp_l=0L; 491 491 CanonicalForm 492 convertZZ2CF ( ZZa)492 convertZZ2CF (const ZZ & a) 493 493 { 494 494 long coeff_long=to_long(a); … … 550 550 static char *cf_stringtemp2; 551 551 static int cf_stringtemp_l=0; 552 CanonicalForm convertZZ2CF( ZZcoefficient)552 CanonicalForm convertZZ2CF(const ZZ & coefficient) 553 553 { 554 554 long coeff_long; … … 658 658 //////////////////////////////////////////////////////////////////////////////// 659 659 660 ZZ convertFacCF2NTLZZ(const CanonicalForm f)660 ZZ convertFacCF2NTLZZ(const CanonicalForm & f) 661 661 { 662 662 ZZ temp; … … 679 679 } 680 680 681 ZZX convertFacCF2NTLZZX( CanonicalFormf)681 ZZX convertFacCF2NTLZZX(const CanonicalForm & f) 682 682 { 683 683 ZZX ntl_poly; … … 740 740 //////////////////////////////////////////////////////////////////////////////// 741 741 742 CFFList convertNTLvec_pair_ZZX_long2FacCFFList(vec_pair_ZZX_long e,ZZ multi,Variable x) 742 CFFList 743 convertNTLvec_pair_ZZX_long2FacCFFList (const vec_pair_ZZX_long & e,const ZZ & multi,const Variable & x) 743 744 { 744 745 CFFList result; … … 783 784 //////////////////////////////////////////////////////////////////////////////// 784 785 785 CanonicalForm convertNTLZZpE2CF( ZZ_pE coefficient,Variablex)786 CanonicalForm convertNTLZZpE2CF(const ZZ_pE & coefficient,const Variable & x) 786 787 { 787 788 return convertNTLZZpX2CF(rep(coefficient),x); 788 789 } 789 CanonicalForm convertNTLzzpE2CF( zz_pE coefficient,Variablex)790 CanonicalForm convertNTLzzpE2CF(const zz_pE & coefficient,const Variable & x) 790 791 { 791 792 return convertNTLzzpX2CF(rep(coefficient),x); … … 812 813 //////////////////////////////////////////////////////////////////////////////// 813 814 814 CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList(vec_pair_ZZ_pEX_long e,ZZ_pE multi,Variable x,Variable alpha) 815 CFFList 816 convertNTLvec_pair_ZZpEX_long2FacCFFList(const vec_pair_ZZ_pEX_long & e,const ZZ_pE & multi,const Variable & x,const Variable & alpha) 815 817 { 816 818 CFFList result; … … 856 858 return result; 857 859 } 858 CFFList convertNTLvec_pair_zzpEX_long2FacCFFList(vec_pair_zz_pEX_long e,zz_pE multi,Variable x,Variable alpha) 860 CFFList 861 convertNTLvec_pair_zzpEX_long2FacCFFList(const vec_pair_zz_pEX_long & e,const zz_pE & multi,const Variable & x,const Variable & alpha) 859 862 { 860 863 CFFList result; … … 918 921 //////////////////////////////////////////////////////////////////////////////// 919 922 920 CanonicalForm convertNTLGF2E2CF( GF2E coefficient,Variablex)923 CanonicalForm convertNTLGF2E2CF(const GF2E & coefficient,const Variable & x) 921 924 { 922 925 return convertNTLGF2X2CF(rep(coefficient),x); … … 945 948 946 949 CFFList convertNTLvec_pair_GF2EX_long2FacCFFList 947 ( vec_pair_GF2EX_long e, GF2E /*multi*/, Variable x, Variablealpha)950 (const vec_pair_GF2EX_long & e, const GF2E & multi, const Variable & x, const Variable & alpha) 948 951 { 949 952 CFFList result; … … 986 989 987 990 } 991 992 if (!IsOne(multi)) 993 result.insert(CFFactor(convertNTLGF2E2CF(multi,alpha),1)); 994 988 995 // return the computed CFFList 989 996 return result; … … 993 1000 // CanonicalForm in Z_2(a)[X] to NTL GF2EX // 994 1001 //////////////////////////////////////////////////// 995 GF2EX convertFacCF2NTLGF2EX( CanonicalForm f,GF2Xmipo)1002 GF2EX convertFacCF2NTLGF2EX(const CanonicalForm & f,const GF2X & mipo) 996 1003 { 997 1004 GF2E::init(mipo); … … 1023 1030 // CanonicalForm in Z_p(a)[X] to NTL ZZ_pEX // 1024 1031 //////////////////////////////////////////////////// 1025 ZZ_pEX convertFacCF2NTLZZ_pEX( CanonicalForm f, ZZ_pXmipo)1032 ZZ_pEX convertFacCF2NTLZZ_pEX(const CanonicalForm & f, const ZZ_pX & mipo) 1026 1033 { 1027 1034 ZZ_pE::init(mipo); … … 1050 1057 return result; 1051 1058 } 1052 zz_pEX convertFacCF2NTLzz_pEX( CanonicalForm f, zz_pXmipo)1059 zz_pEX convertFacCF2NTLzz_pEX(const CanonicalForm & f, const zz_pX & mipo) 1053 1060 { 1054 1061 zz_pE::init(mipo); … … 1078 1085 } 1079 1086 1080 CanonicalForm convertNTLzz_pEX2CF ( zz_pEX f, Variable x, Variablealpha)1087 CanonicalForm convertNTLzz_pEX2CF (const zz_pEX& f, const Variable & x, const Variable & alpha) 1081 1088 { 1082 1089 CanonicalForm bigone; … … 1101 1108 } 1102 1109 1103 CanonicalForm convertNTLZZ_pEX2CF ( ZZ_pEX f, Variable x, Variablealpha)1110 CanonicalForm convertNTLZZ_pEX2CF (const ZZ_pEX& f, const Variable & x, const Variable & alpha) 1104 1111 { 1105 1112 CanonicalForm bigone; … … 1124 1131 } 1125 1132 //---------------------------------------------------------------------- 1126 mat_ZZ* convertFacCFMatrix2NTLmat_ZZ( CFMatrix &m)1133 mat_ZZ* convertFacCFMatrix2NTLmat_ZZ(const CFMatrix &m) 1127 1134 { 1128 1135 mat_ZZ *res=new mat_ZZ; … … 1139 1146 return res; 1140 1147 } 1141 CFMatrix* convertNTLmat_ZZ2FacCFMatrix( mat_ZZ &m)1148 CFMatrix* convertNTLmat_ZZ2FacCFMatrix(const mat_ZZ &m) 1142 1149 { 1143 1150 CFMatrix *res=new CFMatrix(m.NumRows(),m.NumCols()); … … 1153 1160 } 1154 1161 1155 mat_zz_p* convertFacCFMatrix2NTLmat_zz_p( CFMatrix &m)1162 mat_zz_p* convertFacCFMatrix2NTLmat_zz_p(const CFMatrix &m) 1156 1163 { 1157 1164 mat_zz_p *res=new mat_zz_p; … … 1169 1176 return res; 1170 1177 } 1171 CFMatrix* convertNTLmat_zz_p2FacCFMatrix( mat_zz_p &m)1178 CFMatrix* convertNTLmat_zz_p2FacCFMatrix(const mat_zz_p &m) 1172 1179 { 1173 1180 CFMatrix *res=new CFMatrix(m.NumRows(),m.NumCols()); … … 1182 1189 return res; 1183 1190 } 1184 mat_zz_pE* convertFacCFMatrix2NTLmat_zz_pE( CFMatrix &m)1191 mat_zz_pE* convertFacCFMatrix2NTLmat_zz_pE(const CFMatrix &m) 1185 1192 { 1186 1193 mat_zz_pE *res=new mat_zz_pE; … … 1198 1205 return res; 1199 1206 } 1200 CFMatrix* convertNTLmat_zz_pE2FacCFMatrix( mat_zz_pE &m, Variablealpha)1207 CFMatrix* convertNTLmat_zz_pE2FacCFMatrix(const mat_zz_pE &m, const Variable & alpha) 1201 1208 { 1202 1209 CFMatrix *res=new CFMatrix(m.NumRows(),m.NumCols()); -
factory/NTLconvert.h
r9393e86 rd193e12 51 51 52 52 53 ZZ_pX convertFacCF2NTLZZpX( CanonicalFormf);54 zz_pX convertFacCF2NTLzzpX( CanonicalFormf);55 GF2X convertFacCF2NTLGF2X( CanonicalFormf);56 CanonicalForm convertNTLZZpX2CF( ZZ_pX poly,Variablex);57 CanonicalForm convertNTLzzpX2CF( zz_pX poly,Variablex);58 CanonicalForm convertNTLGF2X2CF( GF2X poly,Variablex);59 CanonicalForm convertNTLZZX2CF( ZZX polynom,Variablex);60 CFFList convertNTLvec_pair_ZZpX_long2FacCFFList( vec_pair_ZZ_pX_long e,ZZ_p multi,Variablex);61 CFFList convertNTLvec_pair_zzpX_long2FacCFFList( vec_pair_zz_pX_long e,zz_p multi,Variablex);53 ZZ_pX convertFacCF2NTLZZpX(const CanonicalForm & f); 54 zz_pX convertFacCF2NTLzzpX(const CanonicalForm & f); 55 GF2X convertFacCF2NTLGF2X(const CanonicalForm & f); 56 CanonicalForm convertNTLZZpX2CF(const ZZ_pX & poly,const Variable & x); 57 CanonicalForm convertNTLzzpX2CF(const zz_pX & poly,const Variable & x); 58 CanonicalForm convertNTLGF2X2CF(const GF2X & poly,const Variable & x); 59 CanonicalForm convertNTLZZX2CF(const ZZX & polynom,const Variable & x); 60 CFFList convertNTLvec_pair_ZZpX_long2FacCFFList(const vec_pair_ZZ_pX_long& e,const ZZ_p & multi,const Variable & x); 61 CFFList convertNTLvec_pair_zzpX_long2FacCFFList(const vec_pair_zz_pX_long& e,const zz_p multi,const Variable & x); 62 62 63 CFFList convertNTLvec_pair_GF2X_long2FacCFFList( vec_pair_GF2X_long e,GF2 multi,Variablex);64 CanonicalForm convertZZ2CF( ZZcoefficient);65 ZZ convertFacCF2NTLZZ(const CanonicalForm f);66 ZZX convertFacCF2NTLZZX( CanonicalFormf);67 CFFList convertNTLvec_pair_ZZX_long2FacCFFList( vec_pair_ZZX_long e,ZZ multi,Variablex);68 CanonicalForm convertNTLZZpE2CF( ZZ_pE coefficient,Variablex);69 CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList( vec_pair_ZZ_pEX_long e,ZZ_pE multi,Variable x,Variablealpha);70 CanonicalForm convertNTLGF2E2CF( GF2E coefficient,Variablex);71 CFFList convertNTLvec_pair_GF2EX_long2FacCFFList( vec_pair_GF2EX_long e,GF2E multi,Variable x,Variablealpha);72 GF2EX convertFacCF2NTLGF2EX( CanonicalForm f,GF2Xmipo);73 ZZ_pEX convertFacCF2NTLZZ_pEX( CanonicalForm f,ZZ_pXmipo);74 zz_pEX convertFacCF2NTLzz_pEX( CanonicalForm f,zz_pXmipo);75 CanonicalForm convertNTLzzpE2CF( zz_pE f, Variablex);76 CFFList convertNTLvec_pair_zzpEX_long2FacCFFList( vec_pair_zz_pEX_long e,zz_pE multi,Variable x,Variablealpha);77 CanonicalForm convertNTLzz_pEX2CF( zz_pEX f, Variable x, Variablealpha);78 CanonicalForm convertNTLZZ_pEX2CF( ZZ_pEX f, Variable x, Variablealpha);63 CFFList convertNTLvec_pair_GF2X_long2FacCFFList(const vec_pair_GF2X_long& e,const GF2 multi,const Variable & x); 64 CanonicalForm convertZZ2CF(const ZZ & coefficient); 65 ZZ convertFacCF2NTLZZ(const CanonicalForm & f); 66 ZZX convertFacCF2NTLZZX(const CanonicalForm & f); 67 CFFList convertNTLvec_pair_ZZX_long2FacCFFList(const vec_pair_ZZX_long& e,const ZZ & multi,const Variable & x); 68 CanonicalForm convertNTLZZpE2CF(const ZZ_pE & coefficient,const Variable & x); 69 CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList(const vec_pair_ZZ_pEX_long & e,const ZZ_pE & multi,const Variable & x,const Variable & alpha); 70 CanonicalForm convertNTLGF2E2CF(const GF2E & coefficient,const Variable & x); 71 CFFList convertNTLvec_pair_GF2EX_long2FacCFFList(const vec_pair_GF2EX_long& e,const GF2E & multi,const Variable & x,const Variable & alpha); 72 GF2EX convertFacCF2NTLGF2EX(const CanonicalForm & f,const GF2X & mipo); 73 ZZ_pEX convertFacCF2NTLZZ_pEX(const CanonicalForm & f,const ZZ_pX & mipo); 74 zz_pEX convertFacCF2NTLzz_pEX(const CanonicalForm & f,const zz_pX & mipo); 75 CanonicalForm convertNTLzzpE2CF(const zz_pE & f, const Variable & x); 76 CFFList convertNTLvec_pair_zzpEX_long2FacCFFList(const vec_pair_zz_pEX_long & e,const zz_pE & multi,const Variable & x,const Variable & alpha); 77 CanonicalForm convertNTLzz_pEX2CF(const zz_pEX & f, const Variable & x, const Variable & alpha); 78 CanonicalForm convertNTLZZ_pEX2CF(const ZZ_pEX & f, const Variable & x, const Variable & alpha); 79 79 80 mat_ZZ* convertFacCFMatrix2NTLmat_ZZ( CFMatrix &m);81 CFMatrix* convertNTLmat_ZZ2FacCFMatrix( mat_ZZ &m);82 mat_zz_p* convertFacCFMatrix2NTLmat_zz_p( CFMatrix &m);83 CFMatrix* convertNTLmat_zz_p2FacCFMatrix( mat_zz_p &m);84 mat_zz_pE* convertFacCFMatrix2NTLmat_zz_pE( CFMatrix &m);85 CFMatrix* convertNTLmat_zz_pE2FacCFMatrix( mat_zz_pE &m, Variablealpha);80 mat_ZZ* convertFacCFMatrix2NTLmat_ZZ(const CFMatrix &m); 81 CFMatrix* convertNTLmat_ZZ2FacCFMatrix(const mat_ZZ &m); 82 mat_zz_p* convertFacCFMatrix2NTLmat_zz_p(const CFMatrix &m); 83 CFMatrix* convertNTLmat_zz_p2FacCFMatrix(const mat_zz_p &m); 84 mat_zz_pE* convertFacCFMatrix2NTLmat_zz_pE(const CFMatrix &m); 85 CFMatrix* convertNTLmat_zz_pE2FacCFMatrix(const mat_zz_pE &m, const Variable & alpha); 86 86 87 87 extern long fac_NTL_char; -
factory/algext.cc
r9393e86 rd193e12 373 373 374 374 static inline CanonicalForm 375 tryNewtonInterp (const CanonicalForm alpha, const CanonicalFormu,376 const CanonicalForm newtonPoly, const CanonicalFormoldInterPoly,375 tryNewtonInterp (const CanonicalForm & alpha, const CanonicalForm & u, 376 const CanonicalForm & newtonPoly, const CanonicalForm & oldInterPoly, 377 377 const Variable & x, const CanonicalForm& M, bool& fail) 378 378 { -
factory/cfModResultant.cc
r9393e86 rd193e12 301 301 302 302 static inline CanonicalForm 303 newtonInterp (const CanonicalForm alpha, const CanonicalFormu,304 const CanonicalForm newtonPoly, const CanonicalFormoldInterPoly,303 newtonInterp (const CanonicalForm & alpha, const CanonicalForm & u, 304 const CanonicalForm & newtonPoly, const CanonicalForm & oldInterPoly, 305 305 const Variable & x) 306 306 { -
factory/cf_gcd_smallp.cc
r9393e86 rd193e12 359 359 /// newtonPoly must be equal to (x - alpha_1) * ... * (x - alpha_{n-1}) 360 360 static inline CanonicalForm 361 newtonInterp(const CanonicalForm alpha, const CanonicalFormu,362 const CanonicalForm newtonPoly, const CanonicalFormoldInterPoly,361 newtonInterp(const CanonicalForm & alpha, const CanonicalForm & u, 362 const CanonicalForm & newtonPoly, const CanonicalForm & oldInterPoly, 363 363 const Variable & x) 364 364 { -
factory/variable.cc
r9393e86 rd193e12 152 152 #endif /* NOSTREAMIO */ 153 153 154 static CanonicalForm conv2mipo ( const CanonicalForm & mipo, const Variable alpha )154 static CanonicalForm conv2mipo ( const CanonicalForm & mipo, const Variable & alpha ) 155 155 { 156 156 CanonicalForm result;
Note: See TracChangeset
for help on using the changeset viewer.