From e2e001c999e733490bfa76a00a0d419e0d397265 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Sat, 22 Jul 2017 12:22:39 +0000 Subject: [PATCH] param.BigRational: fix pow() to correctly handle negative exponents Previously, using BigRational.pow(exponent) with negative exponent would result in exception git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12155 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/param/BigRational.java | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java index 367b6d5a..4a0f384f 100644 --- a/prism/src/param/BigRational.java +++ b/prism/src/param/BigRational.java @@ -474,6 +474,7 @@ public final class BigRational implements Comparable num = this.num.pow(exponent); den = this.den.pow(exponent); } else { // exponent < 0 + exponent = -exponent; num = this.den.pow(exponent); den = this.num.pow(exponent); }