import type { RingMin } from './Ring';
import { Ring } from './Ring';
export interface Field<A> extends Ring<A> {
    readonly degree: (a: A) => number;
    readonly div_: (x: A, y: A) => A;
    readonly div: (y: A) => (x: A) => A;
    readonly mod_: (x: A, y: A) => A;
    readonly mod: (y: A) => (x: A) => A;
}
export declare type FieldMin<A> = RingMin<A> & {
    readonly degree: (a: A) => number;
    readonly div_: (x: A, y: A) => A;
    readonly mod_: (x: A, y: A) => A;
};
export declare function Field<A>(F: FieldMin<A>): Field<A>;
//# sourceMappingURL=Field.d.ts.map