import { type NodeId } from "../expr.js";
import { type Rule } from "../rule.js";
export interface CombineLikeFactorsParams {
    /**
     * Factors with structurally equal bases: direct children of the Product at
     * `location`, or elements of the SAME factor list (num or den) of the
     * Fraction at `location` — the lists are implicit products.
     */
    readonly termA: NodeId;
    readonly termB: NodeId;
}
/**
 * Two factors with the same base merge by adding exponents — the inverse of
 * expand-power, one pair at a time:
 *   x·x ~> x²        x²·x³ ~> x⁵        x⁰·x ~> x
 * termA's base survives by identity (and termA's Pow node too, when it has
 * one); termB folds into it.
 */
export declare const combineLikeFactors: Rule<CombineLikeFactorsParams>;
//# sourceMappingURL=combineLikeFactors.d.ts.map