Fixed error with a casting using the InifitePolynomialRing when having
authorAntonio Jimenez Pastor <ajpastor@risc.uni-linz.ac.at>
Thu, 11 Oct 2018 08:13:23 +0000 (10:13 +0200)
committerAntonio Jimenez Pastor <ajpastor@risc.uni-linz.ac.at>
Thu, 11 Oct 2018 08:13:23 +0000 (10:13 +0200)
some parameters.

ajpastor/dd_functions/toDiffAlgebraic.py
releases/diff_defined_functions__0.6.zip
releases/old/diff_defined_functions__0.6__18.10.11_10:13:21.zip [new file with mode: 0644]

index 273ab79..e061b46 100644 (file)
@@ -166,7 +166,7 @@ def toDifferentiallyAlgebraic_Below(poly):
     dict_to_vectors = {};
     S = 0;
     for i in range(len(coefficients)):
-        coeff = coefficients[i]; monomial = goal_ring(monomials[i]);
+        coeff = coefficients[i]; monomial = goal_ring(str(monomials[i]));
         if(coeff in dw_ddring):
             if(1 not in dict_to_vectors):
                 S += 1;
index 355a2d0..ac15bb5 100644 (file)
Binary files a/releases/diff_defined_functions__0.6.zip and b/releases/diff_defined_functions__0.6.zip differ
diff --git a/releases/old/diff_defined_functions__0.6__18.10.11_10:13:21.zip b/releases/old/diff_defined_functions__0.6__18.10.11_10:13:21.zip
new file mode 100644 (file)
index 0000000..ac15bb5
Binary files /dev/null and b/releases/old/diff_defined_functions__0.6__18.10.11_10:13:21.zip differ