Changeset c6ed6f in git for factory/cf_gcd.cc
- Timestamp:
- Dec 9, 2005, 10:49:28 AM (18 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 094eedbd1716a69c0e3640e153f3473c499056ed
- Parents:
- f0d1e8ff9bbee3ecdc215a126853bef13df180db
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/cf_gcd.cc
rf0d1e8 rc6ed6f 1 1 /* emacs edit mode for this file is -*- C++ -*- */ 2 /* $Id: cf_gcd.cc,v 1.3 3 2005-11-28 12:36:44 SingularExp $ */2 /* $Id: cf_gcd.cc,v 1.34 2005-12-09 09:49:28 pohl Exp $ */ 3 3 4 4 #include <config.h> … … 115 115 } 116 116 //}}} 117 118 //{{{ static CanonicalForm bcontent ( const CanonicalForm & f, const CanonicalForm & b ) 119 //{{{ docu 120 // 121 // bcontent() - return gcd of b and all coefficients of f which 122 // are in a basic domain. 123 // 124 // Used by gcd(). 125 // 126 //}}} 127 static CanonicalForm 128 bcontent ( const CanonicalForm & f, const CanonicalForm & c ) 129 { 130 if ( f.inBaseDomain() ) 131 return bgcd( f, c ); 132 else if ( f.inCoeffDomain() ) 133 return f.genOne(); 134 else { 135 CanonicalForm g = c; 136 for ( CFIterator i = f; i.hasTerms() && ! g.isOne(); i++ ) 137 g = bcontent( i.coeff(), g ); 138 if( g.lc().sign() < 0 ) 139 return -g; 140 else 141 return g; 142 } 143 } 144 //}}} 145 117 146 118 147 //{{{ CanonicalForm icontent ( const CanonicalForm & f ) … … 569 598 return f; 570 599 else if ( f.inBaseDomain() ) 571 if ( g.inBaseDomain() ) 572 return bgcd( f, g ); 573 else 574 return cf_content( g, f ); 600 return bcontent( g, f ); 575 601 else if ( g.inBaseDomain() ) 576 return cf_content( f, g );602 return bcontent( f, g ); 577 603 else if ( f.mvar() == g.mvar() ) 578 604 if ( f.inExtension() && getReduce( f.mvar() ) )
Note: See TracChangeset
for help on using the changeset viewer.