import { describe, expect, it } from '@jest/globals';

import { isRationalMultipleOf } from '../../../src/basic/double/is-rational-multiple-of.js';


describe('isRationalMultipleOf', function() {
    it('should correctly check if some polynomials are rational multiples of some others', 
    function() {
        let p1: number[] = [];
        let p2 = [1];
        let p3 = [4,3,2,1];
        let p4 = p3.map(c => 7.0001220703125*c);
        let p5 = p3.map(c => -3*c);
        let p6 = [-1];
        let p7 = [5];
        
        // everything is a rational multiple of the empty polynomial
        expect(isRationalMultipleOf(p1, p1)).toEqual(true);
        expect(isRationalMultipleOf(p1, p2)).toEqual(true);
        expect(isRationalMultipleOf(p1, p3)).toEqual(true);
        expect(isRationalMultipleOf(p1, p4)).toEqual(true);
        expect(isRationalMultipleOf(p1, p5)).toEqual(true);
        expect(isRationalMultipleOf(p1, p6)).toEqual(true);
        expect(isRationalMultipleOf(p1, p7)).toEqual(true);

        expect(isRationalMultipleOf(p2, p1)).toEqual(true);
        expect(isRationalMultipleOf(p3, p1)).toEqual(true);
        expect(isRationalMultipleOf(p4, p1)).toEqual(true);
        expect(isRationalMultipleOf(p5, p1)).toEqual(true);
        expect(isRationalMultipleOf(p6, p1)).toEqual(true);
        expect(isRationalMultipleOf(p7, p1)).toEqual(true);
        
        // p3, p4 and p5 are rational multiples of each other
        expect(isRationalMultipleOf(p3, p3)).toEqual(true);
        expect(isRationalMultipleOf(p3, p4)).toEqual(true);
        expect(isRationalMultipleOf(p3, p5)).toEqual(true);
        expect(isRationalMultipleOf(p4, p4)).toEqual(true);
        expect(isRationalMultipleOf(p4, p5)).toEqual(true);
        expect(isRationalMultipleOf(p5, p5)).toEqual(true);

        expect(isRationalMultipleOf(p4, p3)).toEqual(true);
        expect(isRationalMultipleOf(p5, p3)).toEqual(true);
        expect(isRationalMultipleOf(p5, p4)).toEqual(true);
        
        // p2, p6 and p7 are not rational multiples of p3, p4, p5
        expect(!isRationalMultipleOf(p2, p3)).toEqual(true);
        expect(!isRationalMultipleOf(p2, p4)).toEqual(true);
        expect(!isRationalMultipleOf(p2, p5)).toEqual(true);
        expect(!isRationalMultipleOf(p6, p3)).toEqual(true);
        expect(!isRationalMultipleOf(p6, p4)).toEqual(true);
        expect(!isRationalMultipleOf(p6, p5)).toEqual(true);
        expect(!isRationalMultipleOf(p7, p3)).toEqual(true);
        expect(!isRationalMultipleOf(p7, p4)).toEqual(true);
        expect(!isRationalMultipleOf(p7, p5)).toEqual(true);

        expect(!isRationalMultipleOf(p3, p2)).toEqual(true);
        expect(!isRationalMultipleOf(p4, p2)).toEqual(true);
        expect(!isRationalMultipleOf(p5, p2)).toEqual(true);
        expect(!isRationalMultipleOf(p3, p6)).toEqual(true);
        expect(!isRationalMultipleOf(p4, p6)).toEqual(true);
        expect(!isRationalMultipleOf(p5, p6)).toEqual(true);
        expect(!isRationalMultipleOf(p3, p7)).toEqual(true);
        expect(!isRationalMultipleOf(p4, p7)).toEqual(true);
        expect(!isRationalMultipleOf(p5, p7)).toEqual(true);

        // p2, p6 and p7 are rational multiples of each other
        expect(isRationalMultipleOf(p2, p2)).toEqual(true);
        expect(isRationalMultipleOf(p2, p6)).toEqual(true);
        expect(isRationalMultipleOf(p2, p7)).toEqual(true);
        expect(isRationalMultipleOf(p6, p6)).toEqual(true);
        expect(isRationalMultipleOf(p6, p7)).toEqual(true);
        expect(isRationalMultipleOf(p7, p7)).toEqual(true);

        expect(isRationalMultipleOf(p6, p2)).toEqual(true);
        expect(isRationalMultipleOf(p7, p2)).toEqual(true);
        expect(isRationalMultipleOf(p7, p6)).toEqual(true);

        // close but p8[0] is 1 too big
        let p8 = [34677717130752820, 26008287848064616, 17338858565376410, 8669429282688205];
        expect(!isRationalMultipleOf(p3, p8)).toEqual(true);

        let p9 = [8,6,4,4];
        expect(!isRationalMultipleOf(p3, p9)).toEqual(true);
    });
});