find normalizing factors for @a biFactors and sort @a biFactors s.t. the returned @a biFactors evaluated at evalPoint coincide with @a uniFactors
| 137 | /// find normalizing factors for @a biFactors and sort @a biFactors s.t. |
| 138 | /// the returned @a biFactors evaluated at evalPoint coincide with @a uniFactors |
| 139 | inline CFList |
| 140 | findNormalizingFactor2 (CFList& biFactors, const CanonicalForm& evalPoint, |
| 141 | const CFList& uniFactors) |
| 142 | { |
| 143 | CFList result; |
| 144 | CFList uniBiFactors= biFactors; |
| 145 | CFList newBiFactors; |
| 146 | CFList l; |
| 147 | int pos; |
| 148 | CFListIterator iter; |
| 149 | for (iter= uniBiFactors; iter.hasItem(); iter++) |
| 150 | { |
| 151 | iter.getItem()= iter.getItem() (evalPoint); |
| 152 | l.append (Lc (iter.getItem())); |
| 153 | iter.getItem() /= Lc (iter.getItem()); |
| 154 | } |
| 155 | for (CFListIterator i= uniFactors; i.hasItem(); i++) |
| 156 | { |
| 157 | pos= findItem (uniBiFactors, i.getItem()); |
| 158 | newBiFactors.append (getItem (biFactors, pos)); |
| 159 | result.append (getItem (l, pos)); |
| 160 | } |
| 161 | biFactors= newBiFactors; |
| 162 | return result; |
| 163 | } |
| 164 | |
| 165 | /// get terms of @a F |
| 166 | inline CFArray |