Commit 17e43e71 authored by Anastasiia's avatar Anastasiia

new simplifications

parent d081abe9
......@@ -196,8 +196,9 @@ object RelativeErrorPhase extends DaisyPhase with Subdivision with ErrorFunction
val errForSum = taylorFirst.map(x => {
val (expr, wrt) = x
val tmpExpr = simplify(Times(replaceDeltasWithZeros(expr), Delta(wrt)))
reporter.debug(s"Evaluate the term $tmpExpr")
val tmpExpr = simplify(
Times(replaceDeltasWithZeros(expr), Delta(wrt)))
reporter.warning(s"Evaluate the term $tmpExpr")
val tmpForMax = newSet.par.map(interval => {
val tmp = evaluateOpt(tmpExpr, interval, rangeMethod)
reporter.debug("err on "+removeDeltasFromMap(interval)+s" is $tmp")
......
......@@ -43,7 +43,7 @@ class DRealSolver(context: Context) extends SMTLibSolver(context) {
override def targetName = "dReal"
// TODO make a parameter?
val precision = 0.000000000000000000001
val precision = 0.0000000000000000000001
val interpreterOpts = Seq("--in", "--precision "+precision)
......
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment