Documentation

Test.NAM

source
def Test.NAM.nam :
Actus.Contract.Terms Float
Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    theorem Test.NAM.pr_principal_portion (rf : Actus.Contract.RiskFactorEnv Float) (t : Actus.Protocol.Time) (s : Actus.Contract.State Float) :
    (Actus.Contract.NAM.stf_PR nam rf t s).nt = s.nt - Actus.Contract.LAM.redeemed s.nt (s.prnxt - Actus.Contract.LAM.ipacAccrIpcb rf t s)

    The NAM redemption applies the instalment interest-first: the principal reduction is Prnxt − Ipac_{t+}.