From 7fb6884f8177da4ff9cabee52deefb50587ec152 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Sun, 5 Apr 2020 22:20:07 +0200 Subject: [PATCH] param.BigRational: fix javadocs --- prism/src/param/BigRational.java | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java index 531c5610..2bdd9411 100644 --- a/prism/src/param/BigRational.java +++ b/prism/src/param/BigRational.java @@ -424,10 +424,10 @@ public final class BigRational extends Number implements Comparable } /** - * Multiply this BigRational by {@code other}. - * - * @param other long to divide by - * @param cancel whether ensure result rational is comprime + * Divide this BigRational by {@code other}. + * + * @param other BigRational to divide by + * @param cancel whether ensure result rational is coprime * @return result of the division */ public BigRational divide(BigRational other, boolean cancel) @@ -440,7 +440,7 @@ public final class BigRational extends Number implements Comparable } /** - * Divides this BigRational with {@code other}. + * Divide this BigRational by {@code other}. * Ensures result rational is coprime * * @param other long to divide by @@ -452,7 +452,7 @@ public final class BigRational extends Number implements Comparable } /** - * Divides this BigRational with {@code other}. + * Divide this BigRational by {@code other}. * Ensures result rational is coprime * * @param other long to divide by @@ -464,9 +464,9 @@ public final class BigRational extends Number implements Comparable } /** - * Returns the signum function of this BigInteger. + * Returns the signum function of this BigRational. * - * @return -1, 0 or 1 as the value of this BigInteger is negative, zero or positive. + * @return -1, 0 or 1 as the value of this BigRational is negative, zero or positive. */ public int signum() {