Creating controlled R1 gates in Q#?












3












$begingroup$


I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing



(Controlled X)([control],target);



However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried



(Controlled R1)([control],theta,target);



and get the following error:



The shape of the given tuple does not match the argument type.



From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.



To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.










share|improve this question







New contributor




Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$

















    3












    $begingroup$


    I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing



    (Controlled X)([control],target);



    However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried



    (Controlled R1)([control],theta,target);



    and get the following error:



    The shape of the given tuple does not match the argument type.



    From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.



    To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.










    share|improve this question







    New contributor




    Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.







    $endgroup$















      3












      3








      3





      $begingroup$


      I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing



      (Controlled X)([control],target);



      However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried



      (Controlled R1)([control],theta,target);



      and get the following error:



      The shape of the given tuple does not match the argument type.



      From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.



      To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.










      share|improve this question







      New contributor




      Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.







      $endgroup$




      I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing



      (Controlled X)([control],target);



      However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried



      (Controlled R1)([control],theta,target);



      and get the following error:



      The shape of the given tuple does not match the argument type.



      From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.



      To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.







      quantum-gate q#






      share|improve this question







      New contributor




      Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|improve this question







      New contributor




      Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|improve this question




      share|improve this question






      New contributor




      Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked 2 hours ago









      Alex SAlex S

      1303




      1303




      New contributor




      Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      Alex S is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));.



          This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...






          share|improve this answer









          $endgroup$













          • $begingroup$
            I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
            $endgroup$
            – Alex S
            1 hour ago











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "694"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: false,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: null,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });






          Alex S is a new contributor. Be nice, and check out our Code of Conduct.










          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5323%2fcreating-controlled-r1-gates-in-q%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          2












          $begingroup$

          If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));.



          This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...






          share|improve this answer









          $endgroup$













          • $begingroup$
            I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
            $endgroup$
            – Alex S
            1 hour ago
















          2












          $begingroup$

          If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));.



          This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...






          share|improve this answer









          $endgroup$













          • $begingroup$
            I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
            $endgroup$
            – Alex S
            1 hour ago














          2












          2








          2





          $begingroup$

          If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));.



          This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...






          share|improve this answer









          $endgroup$



          If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));.



          This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...







          share|improve this answer












          share|improve this answer



          share|improve this answer










          answered 2 hours ago









          Mariia MykhailovaMariia Mykhailova

          1,500211




          1,500211












          • $begingroup$
            I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
            $endgroup$
            – Alex S
            1 hour ago


















          • $begingroup$
            I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
            $endgroup$
            – Alex S
            1 hour ago
















          $begingroup$
          I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
          $endgroup$
          – Alex S
          1 hour ago




          $begingroup$
          I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
          $endgroup$
          – Alex S
          1 hour ago










          Alex S is a new contributor. Be nice, and check out our Code of Conduct.










          draft saved

          draft discarded


















          Alex S is a new contributor. Be nice, and check out our Code of Conduct.













          Alex S is a new contributor. Be nice, and check out our Code of Conduct.












          Alex S is a new contributor. Be nice, and check out our Code of Conduct.
















          Thanks for contributing an answer to Quantum Computing Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5323%2fcreating-controlled-r1-gates-in-q%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          What are all the squawk codes?

          What are differences between VBoxVGA, VMSVGA and VBoxSVGA in VirtualBox?

          Hudsonelva