GF_map_up helper
| 227 | |
| 228 | /// GF_map_up helper |
| 229 | static inline |
| 230 | CanonicalForm GFPowUp (const CanonicalForm & F, int k) |
| 231 | { |
| 232 | if (F.isOne()) return F; |
| 233 | CanonicalForm result= 0; |
| 234 | if (F.inBaseDomain()) |
| 235 | return power(F, k); |
| 236 | for (CFIterator i= F; i.hasTerms(); i++) |
| 237 | result += GFPowUp (i.coeff(), k)*power (F.mvar(), i.exp()); |
| 238 | return result; |
| 239 | } |
| 240 | |
| 241 | CanonicalForm GFMapUp (const CanonicalForm & F, int k) |
| 242 | { |