Changeset c8101d in git for factory/facBivar.cc
- Timestamp:
- Nov 23, 2012, 1:27:37 PM (11 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- b4c464c339773bb8009db6040454304617b51890
- Parents:
- 32a76d8ff1ea7276dcd4a51110cc4bfb4506c97f5641361d547d954c224e5c07effaefe14c255070
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/facBivar.cc
r32a76d rc8101d 102 102 K *= degs[i] + 1; 103 103 } 104 K /= power (CanonicalForm (2), k); 105 K= K.sqrt()+1; 104 K /= power (CanonicalForm (2), k/2); 106 105 K *= power (CanonicalForm (2), M); 107 106 int N= degree (mipo); 108 107 CanonicalForm b; 109 108 b= 2*power (maxNorm (f), N)*power (maxNorm (mipo), 4*N)*K* 110 power (CanonicalForm (2), N)* (CanonicalForm (M+1).sqrt()+1)*111 power (CanonicalForm (N+1) .sqrt()+1, 7*N);109 power (CanonicalForm (2), N)* 110 power (CanonicalForm (N+1), 4*N); 112 111 b /= power (abs (lc (mipo)), N); 113 114 ZZX NTLmipo= convertFacCF2NTLZZX (mipo);115 ZZX NTLLcf= convertFacCF2NTLZZX (Lc (f));116 ZZ NTLf= resultant (NTLmipo, NTLLcf);117 ZZ NTLD= discriminant (NTLmipo);118 b /= abs (convertZZ2CF (NTLf))*abs (convertZZ2CF (NTLD));119 112 120 113 CanonicalForm B = p;
Note: See TracChangeset
for help on using the changeset viewer.