CostAlgebraMC¶

Pure cost extraction plus an original isolated payment teaching model.

Package payment, input revision 3. Exact prepared source; CC0 1.0.

This is a definition inventory. Start with the learning chapters for the contract and its assumptions.

ArithmeticExamples · operator

payment · input revision 3 · CC0 1.0

ArithmeticExamples ==
    ModifiedCost(sample.base, sample.increases, sample.reductions) = sample.expected

Exact module download · Source bundle and reproduction instructions

Resolved project definitions: ModifiedCost, sample

Cases · operator

payment · input revision 3 · CC0 1.0

Cases == {
    [base |-> -2, increases |-> <<3>>, reductions |-> <<>>, expected |-> 1],
    [base |-> 3, increases |-> <<>>, reductions |-> <<5>>, expected |-> 0],
    [base |-> 0, increases |-> <<>>, reductions |-> <<>>, expected |-> 0],
    [base |-> 4, increases |-> <<1, 2>>, reductions |-> <<3>>, expected |-> 4],
    [base |-> -3, increases |-> <<1>>, reductions |-> <<>>, expected |-> 0],
    [base |-> 2, increases |-> <<>>, reductions |-> <<1>>, expected |-> 1]
}

Exact module download · Source bundle and reproduction instructions

Init · operator

payment · input revision 3 · CC0 1.0