Function u4_push_quotient_table_5

bitvm/src/u4/u4_add.rs:21–33

Pushes the table for calculating the quotient, i.e. floor(x / 16) for x < 80. i.e. 15 (max u4) * 5 (max # numbers to sum) + 4 (max carry)

()

/// Pushes the table for calculating the quotient, i.e. floor(x / 16) for x < 80. i.e. 15 (max u4) * 5 (max # numbers to sum) + 4 (max carry)
pub fn u4_push_quotient_table_5() -> Script {
    script! {
        for i in (0..=4).rev() {
            { i }
            OP_DUP
            OP_2DUP
            OP_3DUP
            OP_3DUP
            OP_3DUP
            OP_3DUP
        }
    }
}

/// Drop quotient table
pub fn u4_drop_quotient_table() -> Script {