import { type Rule } from "../rule.js";
type NoParams = Record<string, never>;
/**
 * x^(−n) ~> 1/(x^n). The Pow survives (same id) with the negation peeled off
 * its exponent; a fraction bar appears around it. Works for symbolic
 * exponents too (x^(−a) ~> 1/(x^a)) — both sides are undefined at exactly
 * the same points.
 */
export declare const negativeExponent: Rule<NoParams>;
/**
 * (x^m)^n ~> x^(m·n) for literal exponents. The inner Pow survives (same id,
 * same base) carrying the folded exponent; the outer Pow and both old
 * exponent literals merge into the new one.
 */
export declare const powerOfPower: Rule<NoParams>;
/**
 * (x·y)^n ~> x^n · y^n for a literal n ≥ 2. The factors survive by identity
 * as the new bases; the exponent survives on the first factor and is cloned
 * onto the rest.
 */
export declare const distributePower: Rule<NoParams>;
export {};
//# sourceMappingURL=powers.d.ts.map