Undo accidental part of last commit

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9005 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/param/JasFunction.java

@@ -182,16 +182,6 @@ final class JasFunction extends Function {
 		if (this.isNaN() || other.isNaN()) {
 			return factory.getNaN();
 		}
-		if (other.isZero()) {
-			if (this.isZero()) {
-				return factory.getNaN();
-			} else {
-				return factory.getInf();
-			}
-		}
-		if (this.isZero()) {
-			return factory.getZero();
-		}
 		return new JasFunction((JasFunctionFactory) factory, jas.divide(((JasFunction) other).jas), NORMAL);
 	}
 	

prism/src/param/ParamModelChecker.java

@@ -241,14 +241,6 @@ final public class ParamModelChecker extends PrismComponent
 		BitSet needStates = new BitSet(model.getNumStates());
 		needStates.set(0, model.getNumStates());
 		RegionValues vals = checkExpression(paramModel, expr, needStates);
-		mainLog.println(vals);
-		Function f = vals.getResult(0).getInitStateValueAsFunction();
-		int n = 100;
-		String s = "";
-		for (int i = 0; i < n; i++) {
-			BigRational br = f.evaluate(new param.Point(new BigRational[] {new BigRational(i, n)}));
-			s += " " + br.doubleValue();
-		}
 		timer = System.currentTimeMillis() - timer;
 		mainLog.println("\nTime for model checking: " + timer / 1000.0 + " seconds.");