import CLPR -- Hypothekenberechnung -- Parameter: -- p : Kapital -- t : Laufzeit in Monaten -- ir: monatliche Zinssatz -- r : monatliche Rueckzahlung -- b : Restbetrag am Laufzeitende mortgage p t ir r b | t >. 0.0 & t <=. 1.0 -- Laufzeit weniger als ein Monat = b =:= p *. (1.0 +. t *. ir) -. t *. r mortgage p t ir r b | t >. 1.0 = mortgage (p *. (1.0 +. ir) -. r) (t -. 1.0) ir r b