Merging release 0.7.1905.3109 into live (#436)

* Updating api docs.

* Updating release notes

* Update .openpublishing.publish.config.json (#372)

* Namespace changes to testing-and-debugging.md (#395)

* Updating release notes for 0.5.1904 (#383)

* Updating api docs.

* Updating release notes

* Update .openpublishing.publish.config.json (#372)

* Fix typo in "Writing a Quantum Program" (Estimating Resources section). (#386)

* Fix operator ordering in teleport code to conform with theory (#381)

The quantum circuit diagram, as well as the description, specify the order of fixup gates as X, then Z. The attached Q# snippet gave the wrong order.

* Fix math display error in "Second quantization" concepts article. (#393)

* Namespace changes to testing-and-debugging.md

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Fix typo: PrepareEntangledState -> PrepareEntangledPair (#403)

* Replace Primitive with Intrinsic in QuickStart (#394)

* Replace Primitive with Intrinsic

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update set-array syntax. (#392)

* Update set-array syntax.

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update set-array syntax in Local Variables topic. (#391)

* Cannon -> Standard (#401)

* Updating release notes for 0.5.1904 (#383)

* Updating api docs.

* Updating release notes

* Update .openpublishing.publish.config.json (#372)

* Fix typo in "Writing a Quantum Program" (Estimating Resources section). (#386)

* Fix operator ordering in teleport code to conform with theory (#381)

The quantum circuit diagram, as well as the description, specify the order of fixup gates as X, then Z. The attached Q# snippet gave the wrong order.

* Fix math display error in "Second quantization" concepts article. (#393)

* Cannon -> Standard

* Update articles/install-guide/python.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Fix typo: PrepareEntangledState -> PrepareEntangledPair (#403)

* Replace Primitive with Intrinsic in QuickStart (#394)

* Replace Primitive with Intrinsic

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update set-array syntax. (#392)

* Update set-array syntax.

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update set-array syntax in Local Variables topic. (#391)

* Update set-array syntax. (#390)

* Update set-array syntax.

* Changes with useful options in code syntax.

* Fix single qubit allocation

* ans[0] -> ans

* Remove explanation of new options.

* Change Primitive to Intrinsic in Statements topic. (#398)

* Change heading and reference to Primitive type.

* Change primitive to intrinsic in expressions.

* Revert Expressions topic to primitive. Change Statements topic to Intrinsic.

* Update articles/language/type-model.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/language/type-model.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update += operator in code examples. (#389)

* Canon -> Standard general (#402)

* Updating release notes for 0.5.1904 (#383)

* Updating api docs.

* Updating release notes

* Update .openpublishing.publish.config.json (#372)

* Fix typo in "Writing a Quantum Program" (Estimating Resources section). (#386)

* Fix operator ordering in teleport code to conform with theory (#381)

The quantum circuit diagram, as well as the description, specify the order of fixup gates as X, then Z. The attached Q# snippet gave the wrong order.

* Fix math display error in "Second quantization" concepts article. (#393)

* Changes to Quickstart

* Changes to working-with-quibits.  Link change still needed @microsoft.quantum.canon.reset

* Licensing text changes.

* control-flow ~ many instances like <xref:microsoft.quantum.canon.bind> that will have to change.

* molecular-hydrogen text change

* file-structure

* Glossary.  Need to change xref:microsoft.quantum.canon

* Update articles/Glossary.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/language/file-structure.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/Glossary.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/language/file-structure.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/libraries/chemistry/samples/molecular-hydrogen.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update molecular-hydrogen.md

Added The phase estimation functions and operations are located in the [Microsoft.Quantum.Characterization namespace](xref:microsoft.quantum.characterization in DocFX notation).

* Update articles/libraries/standard/licensing.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/working-with-qubits.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Fix typo: PrepareEntangledState -> PrepareEntangledPair (#403)

* Update articles/libraries/standard/control-flow.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/libraries/standard/licensing.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Replace Primitive with Intrinsic in QuickStart (#394)

* Replace Primitive with Intrinsic

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update set-array syntax. (#392)

* Update set-array syntax.

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/techniques/going-further.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update set-array syntax in Local Variables topic. (#391)

* Update set-array syntax. (#390)

* Update set-array syntax.

* Changes with useful options in code syntax.

* Fix single qubit allocation

* ans[0] -> ans

* Remove explanation of new options.

* Adding back feedback (#385)

* Add headings for SEO to Software Stack topic (#387)

* Add headings for SEO to Software Stack topic

* Update articles/concepts/software-stack.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/concepts/software-stack.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/concepts/software-stack.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Add headings to C# quickstart for SEO. (#388)

* Add headings to C# quickstart for SEO.

* correct misspelling <operation>

  remove <the> in heading

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Update articles/quickstart.md

Co-Authored-By: MikeDodaro <gmdodaro@hotmail.com>

* Cgranade/0.6 (#408)

* Removed outdated warning.

* Progress towards 0.6 release docs.

* Rearranged diagnostics to follow facts/assertions split.

* Update articles/libraries/standard/convert.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/convert.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/convert.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/convert.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/diagnostics.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/diagnostics.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/diagnostics.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/index.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/libraries/standard/licensing.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Beheim/release0.6 (#406)

* updating concepts

* getting started and quick start

* quantum machines

* updated section on functions and operations

* revising section on mutability in local-variable.md

* update type-model.md

* working with qubits

* wrapping up the development techniques

* updating syntax in the prelude

* higher order control flow

* up to and including quantum algorithms

* wrapping up my pass over the standard libraries section

* Update articles/concepts/circuits.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/index.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/index.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/install-guide/python.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/language/statements.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/libraries/standard/data-structures.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/libraries/standard/data-structures.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/libraries/standard/data-structures.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/libraries/standard/prelude.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/machines/qc-trace-simulator/distinct-inputs-checker.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/install-guide/index.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/language/statements.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/type-model.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/libraries/standard/control-flow.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/libraries/standard/control-flow.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/quickstart.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/file-structure.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/going-further.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/going-further.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/local-variables.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/local-variables.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/working-with-qubits.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/machines/qc-trace-simulator/primitive-operations-counter.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/machines/qc-trace-simulator/width-counter.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/machines/qc-trace-simulator/width-counter.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/going-further.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/local-variables.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/working-with-qubits.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/working-with-qubits.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/working-with-qubits.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/working-with-qubits.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/operations-and-functions.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/operations-and-functions.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/operations-and-functions.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/operations-and-functions.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* addressing feedback

* Second half of the docs updates for 0.6 (#409)

* chemistry library

* made my way past the type model

* some edits for expressions.md - propably need to take a closer look again

* added a section on copy and update expressions, and completed the precedence table

* rewrote sections on symbol bindings and mutability, adding a description for apply-and-reassign and copy-and-reassign statements

* finished the section on statements

* now I just need to go over the operation section...

* mostly done with revising the section on operations as well - still need to do a final pass over the entire file

* almost done

* done with the Q# programming language section

* and that completes my pass over docs

* Update articles/language/expressions.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/language/expressions.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/language/statements.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* Update articles/language/type-model.md

Co-Authored-By: bettinaheim <34236215+bettinaheim@users.noreply.github.com>

* addressing feedback

* Updating API docs. (#405)

* New API docs

* Adding missing api docs

* Creating top-level TOC for all api

* Updated with the latest docgen results

* Updated, now with deprecation warnings

* Latest v0.6 api docs

* Updating with Deprecated warning.

* Cpalmer/relnotes0.6 (#410)

* relnotes

* added new Q# doc references

* small edit

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* Update articles/relnotes/index.md

Co-Authored-By: cpalmer2020 <cpalmer@microsoft.com>

* added samples

* Updated package number

* Update python.md

* adjust migration steps

* Updating versions.

* update date

* Clarify how UDTs and functions relate. (#421)

* Publish first version of contribution guide (#424)

* Started new style guide.

* Wrote a little intro to contribution guide.

* Initial stab at contribution guide

* Added to the contribution guide, addressed Cathy's feedback.

* Broke up contributing section into subpages.

* Added some links.

* Fixing TOC for contributions.

* Fixed up next-step pointers.

* Added figures for Git PR workflow.

* Started working on PR page a bit more.

* Moved new figures to correct directory.

* Expanded PR section a bit.

* A bit more on PRs.

* A bit more on code contributions.

* Added more detail to code contributions.

* Fix xUnit capitalization

Co-Authored-By: cgranade <cgranade@gmail.com>

* Fix xUnit capitalization

Co-Authored-By: cgranade <cgranade@gmail.com>

* Update articles/contributing/code.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Fix spelling issue.

Co-Authored-By: cgranade <cgranade@gmail.com>

* contributing-docs -> docs

* Update articles/contributing/index.md

Co-Authored-By: cgranade <cgranade@gmail.com>

* Suppressed TODOs and fixed links.

* Update articles/contributing/code.md

Co-Authored-By: Mariia Mykhailova <michaylova@gmail.com>

* Update articles/contributing/code.md

Co-Authored-By: Mariia Mykhailova <michaylova@gmail.com>

* Update articles/contributing/docs.md

Co-Authored-By: Mariia Mykhailova <michaylova@gmail.com>

* Fix links (#415)

* New navigation pane heading for Tour section

* New files for tour

* Add index file for tour. Add metadata to files.

* Block text in first articles.

* add newlines at end of files

* Edits

* Fixable cross references.

* Remove #412 files from PR to fixLinks

* take out heading bookmark

* operations-and-functions -> append as first class values

* Try case sensitive on link to heading Open Directives

* Warning still a problem

* Replace link to tuple-types in language\type-model article

* Lower case open directives

* fix links in Testing and debugging

* More links in Testing and Debugging

* Extensions -> Diagnostics

* links

* Change to xref syntax

* xref syntax correct. Fix path

* Try ## Open Directives ##

* Take out trailing ##

* Editorial changes to the-qubit.md

* links in multiple-qubits.md

* More links in multiple-qubits.md

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Review based changes

* Fix UID in metadata

* Take out space after xref:

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/techniques/testing-and-debugging.md

Changing all instances back to microsoft.quantum.diagnostics

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/multiple-qubits.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Apply suggestions from code review

* A couple more minor fixes.

* More minor link fixes.

* One more typo fix.

* Enable .NET API Browser links.

* Fixing a couple more links in depth-counter.

* Fixed xref query tag for .NET browser.

* A couple more API link fixes.

* Testing one more xref.

* A couple more link fixes.

* Fix several more broken links (#426)

Addressing feedback from @tcNickolas.

* Sub headings+ (#418)

* New navigation pane heading for Tour section

* New files for tour

* Add index file for tour. Add metadata to files.

* Block text in first articles.

* add newlines at end of files

* Edits

* Fixable cross references.

* Remove #412 files from PR to fixLinks

* take out heading bookmark

* operations-and-functions -> append as first class values

* Try case sensitive on link to heading Open Directives

* Warning still a problem

* Replace link to tuple-types in language\type-model article

* Lower case open directives

* fix links in Testing and debugging

* More links in Testing and Debugging

* Extensions -> Diagnostics

* links

* Change to xref syntax

* xref syntax correct. Fix path

* Try ## Open Directives ##

* Take out trailing ##

* Editorial changes to the-qubit.md

* links in multiple-qubits.md

* More links in multiple-qubits.md

* Subheadings in diract-notation and pauli-measurements

* Subheadings in circuits.md

* Subheadings in oracles.md

* Update articles/concepts/dirac-notation.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/dirac-notation.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/dirac-notation.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/dirac-notation.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/oracles.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/oracles.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/pauli-measurements.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/concepts/the-qubit.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update dirac-notation.md

* Headings and a few link fixes in techniques section.

* Update articles/concepts/dirac-notation.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Various xref changes

* typo 'such as'

* Headings in Quantum Dev Techniques section: file-structure.md and operations-and-functions.md

* Fixed dirac notation in dirac notation article.

* A couple last fixes.

* Fix syntax for xref links with explicit titles.

* One more link syntax fix.

* Addressing @tcNickolas' feedback.

* Enable article feedback through GitHub. (#419)

* Enable feedback through GitHub.

* Change API feedback repo to where the underlying source is located.

* Merging changes from live into master. (#430)

* Beheim/release0.7 (#428)

* extending the section on udts

* fixing a typo

* finished the type model in techniques

* section on while-loops and revision to rus-loop

* merging the content of the two Type Model files - on under development techniques, one under Q# language

* updated the section on copy-and-update expressions

* that should do in terms of adaptions for the 0.7 change

* fixing links I broke

* Update articles/language/type-model.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/language/type-model.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* links

* Adding docs for the Numerics library. (#417)

* Adding numerics to articles.

* Added installation instructions.

* Update docs for numerics.

* Formatting & links.

* Docs sample on polynomial evaluation.

* Latex formatting.

* Update articles/libraries/numerics/index.md

* Update articles/libraries/numerics/index.md

* Update articles/libraries/numerics/numerics.md

* Update articles/libraries/numerics/numerics.md

* Update articles/libraries/numerics/numerics.md

* Update articles/libraries/numerics/numerics.md

* Apply suggestions from code review

* Apply suggestion from code review.

* Remove operation names and refer to docs instead.

* Add link to sample.

* Beheim/release0.7 (#432)

* extending the section on udts

* fixing a typo

* finished the type model in techniques

* section on while-loops and revision to rus-loop

* merging the content of the two Type Model files - on under development techniques, one under Q# language

* updated the section on copy-and-update expressions

* that should do in terms of adaptions for the 0.7 change

* fixing links I broke

* Update articles/language/type-model.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/language/type-model.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* links

* grammar etc

* more grammar etc

* undoing what I committed too much

* Updating with v0.7 docs. (#434)

* Update chemistry conceptual docs for v0.7 (#427) (#433)

* Update for syntax change

* UCC conceptual docs

* Broombridge v0.2 spec

* Cpalmer/mayrelnotes (#429)

* may relnotes

* relnotes

* relnotes

* relnotes

* relnotes

* Update articles/relnotes/index.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/relnotes/index.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/relnotes/index.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/relnotes/index.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/relnotes/index.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/relnotes/index.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* Update articles/relnotes/index.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

* relnotes

* relnotes

* relnotes

* relnotes

* relnotes

* relnotes

* Updating DumpMachine to reflect new output. (#431)

* Updating DumpMachine to reflect new output.

* Update articles/techniques/testing-and-debugging.md

Co-Authored-By: Chris Granade <cgranade@gmail.com>

.openpublishing.publish.config.json

@@ -74,7 +74,8 @@
       "monikers": [],
       "moniker_ranges": [],
       "xref_query_tags": [
-        "/qsharp"
+        "/qsharp",
+        "/dotnet"
       ],
       "enable_xrefmap_share": true,
       "open_to_public_contributors": false,

api/docfx.json

@@ -51,8 +51,8 @@
       "ms.devlang":"qsharp",
       "searchScope": ["quantum", "q#", "qsharp"],
       "feedback_system": "GitHub",
-      "feedback_github_repo": "MicrosoftDocs/quantum-docs-pr",
-      "feedback_product_url": "https://github.com/Microsoft/Quantum/issues"
+      "feedback_github_repo": "Microsoft/quantum",
+      "feedback_product_url": "https://github.com/microsoft/quantum/issues"
     },
     "fileMetadata": {},
     "template": [],

api/qsharp/Microsoft.Quantum.Arithmetic.yml

@@ -10,6 +10,16 @@ functions:
   summary: |-
     Converts a `BigEndian` qubit register to a `LittleEndian` qubit
     register by reversing the qubit ordering.
+- uid: microsoft.quantum.arithmetic.identicalformatfactfxp
+  summary: |-
+    Assert that all fixed-point numbers in the provided array
+    have identical point positions and qubit numbers.
+- uid: microsoft.quantum.arithmetic.identicalpointposfactfxp
+  summary: |-
+    Assert that all fixed-point numbers in the provided array
+    have identical point positions when counting from the least-
+    significant bit. I.e., number of bits minus point position must
+    be constant for all fixed-point numbers in the array.
 - uid: microsoft.quantum.arithmetic.littleendianasbigendian
   summary: |-
     Converts a `LittleEndian` qubit register to a `BigEndian` qubit
@@ -47,6 +57,14 @@ functions:
     Given an operation that takes a little-endian input, returns a new
     operation that takes a big-endian input.
 operations:
+- uid: microsoft.quantum.arithmetic.addconstantfxp
+  summary: Adds a classical constant to a quantum fixed-point number.
+- uid: microsoft.quantum.arithmetic.addfxp
+  summary: Adds two fixed-point numbers stored in quantum registers.
+- uid: microsoft.quantum.arithmetic.addi
+  summary: |-
+    Automatically chooses between addition with
+    carry and without, depending on the register size of `ys`.
 - uid: microsoft.quantum.arithmetic.applyleoperationonphasele
   summary: |-
     Applies an operation that takes a
@@ -108,6 +126,10 @@ operations:
     Let us denote `value` by a and let y be an unsigned integer encoded in `target`,
     then `InPlaceXorLE` performs an operation given by the following map:
     $\ket{y}\rightarrow \ket{y\oplus a}$ , where $\oplus$ is the bitwise exclusive OR operator.
+- uid: microsoft.quantum.arithmetic.assertallzerofxp
+  summary: |-
+    Helper function to assert that a quantum fixed-point number is
+    initialized to zero, i.e., all qubits are in state $\ket{0}$.
 - uid: microsoft.quantum.arithmetic.assertmostsignificantbit
   summary: |-
     Asserts that the most significant qubit of a qubit register
@@ -143,6 +165,14 @@ operations:
     position 1 as the target, then from the qubit at position 1 as the control to
     the qubit at position 2 as the target, etc., ending with the qubit in position
     `Length(register)-1` as the target.
+- uid: microsoft.quantum.arithmetic.comparegreaterthanfxp
+  summary: |-
+    Compares two fixed-point numbers stored in quantum registers, and
+    controls a flip on the result.
+- uid: microsoft.quantum.arithmetic.comparegti
+  summary: 'Wrapper for integer comparison: `result = x > y`.'
+- uid: microsoft.quantum.arithmetic.comparegtsi
+  summary: 'Wrapper for signed integer comparison: `result = xs > ys`.'
 - uid: microsoft.quantum.arithmetic.compareusingripplecarry
   summary: |-
     This unitary tests if two integers `x` and `y` stored in equal-size qubit registers
@@ -155,10 +185,25 @@ operations:
     U\ket{x}\ket{y}\ket{z}=\ket{x}\ket{y}\ket{z\oplus (x>y)}.
     \end{align}
     $$.
+- uid: microsoft.quantum.arithmetic.computereciprocalfxp
+  summary: Computes $1/x$ for a fixed-point number $x$.
+- uid: microsoft.quantum.arithmetic.computereciprocali
+  summary: |-
+    Computes the reciprocal 1/x for an unsigned integer x
+    using integer division. The result, interpreted as an integer,
+    will be `floor(2^(2*n-1) / x)`.
 - uid: microsoft.quantum.arithmetic.copymostsignificantbit
   summary: |-
     Copies the most significant bit of a qubit register
     `from` representing an unsigned integer into the qubit `target`.
+- uid: microsoft.quantum.arithmetic.dividei
+  summary: Divides two quantum integers.
+- uid: microsoft.quantum.arithmetic.evaluateevenpolynomialfxp
+  summary: Evaluates an even polynomial in a fixed-point representation.
+- uid: microsoft.quantum.arithmetic.evaluateoddpolynomialfxp
+  summary: Evaluates an odd polynomial in a fixed-point representation.
+- uid: microsoft.quantum.arithmetic.evaluatepolynomialfxp
+  summary: Evaluates a polynomial in a fixed-point representation.
 - uid: microsoft.quantum.arithmetic.greaterthan
   summary: |-
     Carries out a strictly greater than comparison of two integers $x$ and $y$, encoded
@@ -197,8 +242,14 @@ operations:
     If we denote output qubit as $z$ and input qubits as $x$ and $y$,
     the operation performs the following transformation:
     $\ket{xyz} \rightarrow \ket{x \oplus z} \ket{y \oplus z} \ket{\operatorname{MAJ} (x, y, z)}$.
+- uid: microsoft.quantum.arithmetic.invert2ssi
+  summary: Inverts a given integer modulo 2's complement.
 - uid: microsoft.quantum.arithmetic.maj
   summary: This applies the in-place majority operation to 3 qubits.
+- uid: microsoft.quantum.arithmetic.measurefxp
+  summary: |-
+    Measure a fixed-point number, returns its value as Double, and resets
+    all the register to zero.
 - uid: microsoft.quantum.arithmetic.measureinteger
   summary: |-
     Measures the content of a quantum register and converts
@@ -227,6 +278,18 @@ operations:
     then this operation implements a unitary defined by the following map on
     computational basis:
     |y⟩ ↦ |a⋅y (mod N) ⟩, for all y between 0 and N - 1
+- uid: microsoft.quantum.arithmetic.multiplyfxp
+  summary: Multiplies two fixed-point numbers in quantum registers.
+- uid: microsoft.quantum.arithmetic.multiplyi
+  summary: |-
+    Multiply integer `xs` by integer `ys` and store the result in `result`,
+    which must be zero initially.
+- uid: microsoft.quantum.arithmetic.multiplysi
+  summary: |-
+    Multiply signed integer `xs` by signed integer `ys` and store
+    the result in `result`, which must be zero initially.
+- uid: microsoft.quantum.arithmetic.preparefxp
+  summary: Initialize a quantum fixed-point number to a classical constant.
 - uid: microsoft.quantum.arithmetic.ripplecarryaddercdkm
   summary: |-
     Reversible, in-place ripple-carry addition of two integers.
@@ -255,6 +318,16 @@ operations:
     and a qubit carry, the operation computes the sum of the two integers
     where the $n$ least significant bits of the result are held in `ys` and
     the carry out bit is xored to the qubit `carry`.
+- uid: microsoft.quantum.arithmetic.squarefxp
+  summary: Squares a fixed-point number.
+- uid: microsoft.quantum.arithmetic.squarei
+  summary: |-
+    Computes the square of the integer `xs` into `result`,
+    which must be zero initially.
+- uid: microsoft.quantum.arithmetic.squaresi
+  summary: |-
+    Square signed integer `xs` and store
+    the result in `result`, which must be zero initially.
 - uid: microsoft.quantum.arithmetic.sum
   summary: |-
     Implements a reversible sum gate. Given a carry-in bit encoded in
@@ -266,6 +339,11 @@ newtypes:
   summary: |-
     Register that encodes an unsigned integer in big-endian order. The
     qubit with index `0` encodes the highest bit of an unsigned integer.
+- uid: microsoft.quantum.arithmetic.fixedpoint
+  summary: |-
+    Represents a register of qubits encoding a fixed-point number. Consists of an integer that is equal to the number of
+    qubits to the left of the binary point, i.e., qubits of weight greater
+    than or equal to 1, and a quantum register.
 - uid: microsoft.quantum.arithmetic.littleendian
   summary: |-
     Register that encodes an unsigned integer in little-endian order. The
@@ -278,4 +356,6 @@ newtypes:
     $x$ in the computational basis,
     then $\operatorname{QFTLE} \ket{x}$ is the encoding of $x$ in the QFT
     basis.
+- uid: microsoft.quantum.arithmetic.signedlittleendian
+  summary: Type of a signed integer stored in little endian (see LittleEndian).
 ...

api/qsharp/Microsoft.Quantum.Characterization.yml

@@ -19,6 +19,11 @@ operations:
     Given a preparation and measurement, estimates the frequency
     with which that measurement succeeds (returns `Zero`) by
     performing a given number of trials.
+- uid: microsoft.quantum.characterization.estimatefrequencya
+  summary: |-
+    Given a preparation that is adjointable and measurement, estimates the frequency
+    with which that measurement succeeds (returns `Zero`) by
+    performing a given number of trials.
 - uid: microsoft.quantum.characterization.measureallz
   summary: |-
     Jointly measures a register of qubits in the Pauli Z basis.

api/qsharp/Microsoft.Quantum.Chemistry.JordanWigner.VQE.yml

@@ -0,0 +1,16 @@
+### YamlMime:QSharpNamespace
+uid: microsoft.quantum.chemistry.jordanwigner.vqe
+name: Microsoft.Quantum.Chemistry.JordanWigner.VQE
+functions:
+- uid: microsoft.quantum.chemistry.jordanwigner.vqe.expandedcoefficients
+  summary: |-
+    Expands the compact representation of the Jordan-Wigner coefficients in order
+    to obtain a one-to-one mapping between these and Pauli terms.
+- uid: microsoft.quantum.chemistry.jordanwigner.vqe.measurementoperators
+  summary: Computes all the measurement operators required to compute the expectation of a Jordan-Wigner term.
+operations:
+- uid: microsoft.quantum.chemistry.jordanwigner.vqe.estimateenergy
+  summary: Estimates the energy of the molecule by summing the energy contributed by the individual Jordan-Wigner terms.
+- uid: microsoft.quantum.chemistry.jordanwigner.vqe.estimatetermexpectation
+  summary: Computes the energy associated to a given Jordan-Wigner Hamiltonian term
+...

api/qsharp/Microsoft.Quantum.Chemistry.JordanWigner.yml

@@ -7,6 +7,15 @@ functions:
     Converts a Hamiltonian described by `JWOptimizedHTerms`
     to a `GeneratorSystem` expressed in terms of the Pauli
     `GeneratorIndex`.
+- uid: microsoft.quantum.chemistry.jordanwigner.jordanwignerclusteroperatorevolutionset
+  summary: |-
+    Represents a dynamical generator as a set of simulatable gates and an
+    expansion in the JordanWigner basis.
+- uid: microsoft.quantum.chemistry.jordanwigner.jordanwignerclusteroperatorgeneratorsystem
+  summary: |-
+    Converts a Hamiltonian described by `JWOptimizedHTerms`
+    to a `GeneratorSystem` expressed in terms of the
+    `GeneratorIndex` convention defined in this file.
 - uid: microsoft.quantum.chemistry.jordanwigner.jordanwignerfermionevolutionset
   summary: |-
     Represents a dynamical generator as a set of simulatable gates and an
@@ -43,16 +52,18 @@ operations:
     U\ket{z}\ket{p}\ket{\psi} = \ket{z}\ket{p}(X^{z+1}\_pY^{z}\_p)Z\_{p-1}...Z_0\ket{\psi}
     \end{align}
     $$
-- uid: microsoft.quantum.chemistry.jordanwigner.preparetrialstate
-  summary: ''
-- uid: microsoft.quantum.chemistry.jordanwigner.preparetrialstatecoupledcluster
-  summary: |-
-    Coupled-cluster state preparation of trial state by adding excitations
-    to initial trial state.
-- uid: microsoft.quantum.chemistry.jordanwigner.preparetrialstatesinglesiteoccupation
+- uid: microsoft.quantum.chemistry.jordanwigner.preparesingleconfigurationalstatesinglesiteoccupation
   summary: |-
     Simple state preparation of trial state by occupying
     spin-orbitals
+- uid: microsoft.quantum.chemistry.jordanwigner.preparesparsemulticonfigurationalstate
+  summary: |-
+    Sparse multi-configurational state preparation of trial state by adding excitations
+    to initial trial state.
+- uid: microsoft.quantum.chemistry.jordanwigner.preparetrialstate
+  summary: ''
+- uid: microsoft.quantum.chemistry.jordanwigner.prepareunitarycoupledclusterstate
+  summary: Unitary coupled-cluster state preparation of trial state
 - uid: microsoft.quantum.chemistry.jordanwigner.selectz
   summary: |-
     A unitary $U$ that applies the Pauli $Z$ gate on a qubits $p$ conditioned

api/qsharp/Microsoft.Quantum.Preparation.yml

@@ -95,7 +95,7 @@ operations:
     Pairwise entangles two qubit registers.
 
     That is, given two registers, prepares the maximally entangled state
-    $\bra{\beta_{00}}\ket{\beta_{00}}$ between each pair of qubits on the respective registers,
+    $\frac{1}{\sqrt{2}} \left(\ket{00} + \ket{11} \right)$ between each pair of qubits on the respective registers,
     assuming that each register starts in the $\ket{0\cdots 0}$ state.
 - uid: microsoft.quantum.preparation.prepareidentity
   summary: |-

api/qsharp/microsoft.quantum.arithmetic.addconstantfxp.yml

@@ -0,0 +1,28 @@
+### YamlMime:QSharpType
+uid: microsoft.quantum.arithmetic.addconstantfxp
+name: AddConstantFxP
+type: operation
+namespace: Microsoft.Quantum.Arithmetic
+summary: Adds a classical constant to a quantum fixed-point number.
+syntax: 'operation AddConstantFxP (constant : Double, fp : Microsoft.Quantum.Arithmetic.FixedPoint) : Unit'
+input:
+  content: '(constant : Double, fp : Microsoft.Quantum.Arithmetic.FixedPoint)'
+  types:
+  - name: constant
+    summary: Constant to add to the quantum fixed-point number.
+    isPrimitive: true
+    uid: Double
+  - name: fp
+    summary: |-
+      Fixed-point number to which the constant will
+      be added.
+    uid: microsoft.quantum.arithmetic.fixedpoint
+output:
+  content: Unit
+  types:
+  - isPrimitive: true
+    uid: Unit
+functors:
+- Adjoint
+- Controlled
+...

api/qsharp/microsoft.quantum.arithmetic.addfxp.yml

@@ -0,0 +1,35 @@
+### YamlMime:QSharpType
+uid: microsoft.quantum.arithmetic.addfxp
+name: AddFxP
+type: operation
+namespace: Microsoft.Quantum.Arithmetic
+summary: |-
+  Adds two fixed-point numbers stored in quantum registers.
+
+  Given two fixed-point registers respectively in states $\ket{f_1}$ and $\ket{f_2}$,
+  performs the operation $\ket{f_1} \ket{f_2} \mapsto \ket{f_1} \ket{f_1 + f_2}$.
+remarks: |-
+  The current implementation requires the two fixed-point numbers
+  to have the same point position counting from the least-significant
+  bit, i.e., $n_i$ and $p_i$ must be equal.
+syntax: 'operation AddFxP (fp1 : Microsoft.Quantum.Arithmetic.FixedPoint, fp2 : Microsoft.Quantum.Arithmetic.FixedPoint) : Unit'
+input:
+  content: '(fp1 : Microsoft.Quantum.Arithmetic.FixedPoint, fp2 : Microsoft.Quantum.Arithmetic.FixedPoint)'
+  types:
+  - name: fp1
+    summary: First fixed-point number
+    uid: microsoft.quantum.arithmetic.fixedpoint
+  - name: fp2
+    summary: |-
+      Second fixed-point number, will be updated to contain the sum of the
+      two inputs.
+    uid: microsoft.quantum.arithmetic.fixedpoint
+output:
+  content: Unit
+  types:
+  - isPrimitive: true
+    uid: Unit
+functors:
+- Adjoint
+- Controlled
+...

api/qsharp/microsoft.quantum.arithmetic.addi.yml

@@ -0,0 +1,27 @@
+### YamlMime:QSharpType
+uid: microsoft.quantum.arithmetic.addi
+name: AddI
+type: operation
+namespace: Microsoft.Quantum.Arithmetic
+summary: |-
+  Automatically chooses between addition with
+  carry and without, depending on the register size of `ys`.
+syntax: 'operation AddI (xs : Microsoft.Quantum.Arithmetic.LittleEndian, ys : Microsoft.Quantum.Arithmetic.LittleEndian) : Unit'
+input:
+  content: '(xs : Microsoft.Quantum.Arithmetic.LittleEndian, ys : Microsoft.Quantum.Arithmetic.LittleEndian)'
+  types:
+  - name: xs
+    summary: $n$-bit addend.
+    uid: microsoft.quantum.arithmetic.littleendian
+  - name: ys
+    summary: Addend with at least $n$ qubits. Will hold the result.
+    uid: microsoft.quantum.arithmetic.littleendian
+output:
+  content: Unit
+  types:
+  - isPrimitive: true
+    uid: Unit
+functors:
+- Adjoint
+- Controlled
+...

api/qsharp/microsoft.quantum.arithmetic.assertallzerofxp.yml

@@ -0,0 +1,23 @@
+### YamlMime:QSharpType
+uid: microsoft.quantum.arithmetic.assertallzerofxp
+name: AssertAllZeroFxP
+type: operation
+namespace: Microsoft.Quantum.Arithmetic
+summary: |-
+  Helper function to assert that a quantum fixed-point number is
+  initialized to zero, i.e., all qubits are in state $\ket{0}$.
+syntax: 'operation AssertAllZeroFxP (fp : Microsoft.Quantum.Arithmetic.FixedPoint) : Unit'
+input:
+  content: '(fp : Microsoft.Quantum.Arithmetic.FixedPoint)'
+  types:
+  - name: fp
+    uid: microsoft.quantum.arithmetic.fixedpoint
+output:
+  content: Unit
+  types:
+  - isPrimitive: true
+    uid: Unit
+functors:
+- Adjoint
+- Controlled
+...