add signed library

microsoft · Aug 14, 2024 · a64c788 · a64c788
1 parent caa1d82
commit a64c788
Show file tree

Hide file tree

Showing 6 changed files with 848 additions and 262 deletions.
diff --git a/library/fixed_point/qsharp.json b/library/fixed_point/qsharp.json
@@ -1,6 +1,16 @@
 {
   "author": "Microsoft",
   "license": "MIT",
+  "dependencies": {
+    "Unstable": {
+      "github": {
+        "owner": "microsoft",
+        "repo": "qsharp",
+        "ref": "main",
+        "path": "library/unstable"
+      }
+    }
+  },
   "files": [
     "src/Addition.qs",
     "src/Comparison.qs",

diff --git a/library/fixed_point/src/Polynomial.qs b/library/fixed_point/src/Polynomial.qs
@@ -27,7 +27,6 @@ operation EvaluatePolynomialFxP(coefficients : Double[], fpx : FixedPoint, resul
     }
     controlled (controls, ...) {
         IdenticalFormatFactFxP([fpx, result]);
-        AssertAllZeroFxP(result);
         let degree = Length(coefficients) - 1;
         let p = fpx::IntegerBits;
         let n = Length(fpx::Register);
@@ -76,7 +75,6 @@ operation EvaluateEvenPolynomialFxP(coefficients : Double[], fpx : FixedPoint, r
     }
     controlled (controls, ...) {
         IdenticalFormatFactFxP([fpx, result]);
-        AssertAllZeroFxP(result);
         let halfDegree = Length(coefficients) - 1;
         let n = Length(fpx::Register);
 
@@ -114,7 +112,6 @@ operation EvaluateOddPolynomialFxP(coefficients : Double[], fpx : FixedPoint, re
     }
     controlled (controls, ...) {
         IdenticalFormatFactFxP([fpx, result]);
-        AssertAllZeroFxP(result);
         let halfDegree = Length(coefficients) - 1;
         let n = Length(fpx::Register);
         if halfDegree >= 0 {

diff --git a/library/modular/qsharp.json b/library/modular/qsharp.json
diff --git a/library/modular/src/modular.qs b/library/modular/src/modular.qs
diff --git a/library/signed/qsharp.json b/library/signed/qsharp.json
@@ -0,0 +1,4 @@
+{
+    "author": "Microsoft",
+    "license": "MIT"
+}