Python zzX_mul_const Examples

Example #1

File: test_integerpolys.py Project: Praveen-Ramanujam/MobRAVE

def test_zzX_zz_primitive():
    assert zzX_zz_primitive(f_0) == (1, f_0)
    assert zzX_zz_primitive(zzX_mul_const(f_0, 2)) == (2, f_0)

    assert zzX_zz_primitive(f_1) == (1, f_1)
    assert zzX_zz_primitive(zzX_mul_const(f_1, 3)) == (3, f_1)

    assert zzX_zz_primitive(f_2) == (1, f_2)
    assert zzX_zz_primitive(zzX_mul_const(f_2, 4)) == (4, f_2)

    assert zzX_zz_primitive(f_3) == (1, f_3)
    assert zzX_zz_primitive(zzX_mul_const(f_3, 5)) == (5, f_3)

    assert zzX_zz_primitive(f_4) == (1, f_4)
    assert zzX_zz_primitive(zzX_mul_const(f_4, 6)) == (6, f_4)

    assert zzX_zz_primitive(f_5) == (1, f_5)
    assert zzX_zz_primitive(zzX_mul_const(f_5, 7)) == (7, f_5)

    assert zzX_zz_primitive(f_6) == (1, f_6)
    assert zzX_zz_primitive(zzX_mul_const(f_6, 8)) == (8, f_6)

Example #2

File: test_integerpolys.py Project: Praveen-Ramanujam/MobRAVE

def test_zzX_zz_content():
    assert zzX_zz_content(f_0) == 1
    assert zzX_zz_content(zzX_mul_const(f_0, 2)) == 2

    assert zzX_zz_content(f_1) == 1
    assert zzX_zz_content(zzX_mul_const(f_1, 3)) == 3

    assert zzX_zz_content(f_2) == 1
    assert zzX_zz_content(zzX_mul_const(f_2, 4)) == 4

    assert zzX_zz_content(f_3) == 1
    assert zzX_zz_content(zzX_mul_const(f_3, 5)) == 5

    assert zzX_zz_content(f_4) == 1
    assert zzX_zz_content(zzX_mul_const(f_4, 6)) == 6

    assert zzX_zz_content(f_5) == 1
    assert zzX_zz_content(zzX_mul_const(f_5, 7)) == 7

    assert zzX_zz_content(f_6) == 1
    assert zzX_zz_content(zzX_mul_const(f_6, 8)) == 8

Example #3

def test_zzX_zz_primitive():
    assert zzX_zz_primitive(f_0) == (1, f_0)
    assert zzX_zz_primitive(zzX_mul_const(f_0, 2)) == (2, f_0)

    assert zzX_zz_primitive(f_1) == (1, f_1)
    assert zzX_zz_primitive(zzX_mul_const(f_1, 3)) == (3, f_1)

    assert zzX_zz_primitive(f_2) == (1, f_2)
    assert zzX_zz_primitive(zzX_mul_const(f_2, 4)) == (4, f_2)

    assert zzX_zz_primitive(f_3) == (1, f_3)
    assert zzX_zz_primitive(zzX_mul_const(f_3, 5)) == (5, f_3)

    assert zzX_zz_primitive(f_4) == (1, f_4)
    assert zzX_zz_primitive(zzX_mul_const(f_4, 6)) == (6, f_4)

    assert zzX_zz_primitive(f_5) == (1, f_5)
    assert zzX_zz_primitive(zzX_mul_const(f_5, 7)) == (7, f_5)

    assert zzX_zz_primitive(f_6) == (1, f_6)
    assert zzX_zz_primitive(zzX_mul_const(f_6, 8)) == (8, f_6)

Example #4

def test_zzX_zz_content():
    assert zzX_zz_content(f_0) == 1
    assert zzX_zz_content(zzX_mul_const(f_0, 2)) == 2

    assert zzX_zz_content(f_1) == 1
    assert zzX_zz_content(zzX_mul_const(f_1, 3)) == 3

    assert zzX_zz_content(f_2) == 1
    assert zzX_zz_content(zzX_mul_const(f_2, 4)) == 4

    assert zzX_zz_content(f_3) == 1
    assert zzX_zz_content(zzX_mul_const(f_3, 5)) == 5

    assert zzX_zz_content(f_4) == 1
    assert zzX_zz_content(zzX_mul_const(f_4, 6)) == 6

    assert zzX_zz_content(f_5) == 1
    assert zzX_zz_content(zzX_mul_const(f_5, 7)) == 7

    assert zzX_zz_content(f_6) == 1
    assert zzX_zz_content(zzX_mul_const(f_6, 8)) == 8

Example #5

File: test_integerpolys.py Project: Praveen-Ramanujam/MobRAVE

def test_zzX_mul_const():
    assert zzX_mul_const(f_0, 2) == [
        [[2,4,6], [4]],
        [[6]],
        [[8,10,12], [2,4,2], [2]]
    ]

Example #6

def test_zzX_mul_const():
    assert zzX_mul_const(f_0, 2) == [[[2, 4, 6], [4]], [[6]],
                                     [[8, 10, 12], [2, 4, 2], [2]]]