Проекты с открытым исходным кодом > Cutting-edge Technology > Quantum Computing &&

В избранное Ответвления

OSCHINA-MIRROR/mirrors-quantum

Присоединиться к Gitlife

Откройте для себя и примите участие в публичных проектах с открытым исходным кодом с участием более 10 миллионов разработчиков. Приватные репозитории также полностью бесплатны :)

Присоединиться бесплатно

Клонировать/Скачать

README.md 2.1 КБ

---
page_type: sample
languages:
- qsharp
products:
- qdk
description: "Using facts and assertions to diagnose quantum programs in Q#."
urlFragment: facts-and-assertions
jupyter:
  jupytext:
    cell_markers: region,endregion
    text_representation:
      extension: .md
      format_name: markdown
      format_version: '1.2'
      jupytext_version: 1.5.2
  kernelspec:
    display_name: .NET (PowerShell)
    language: PowerShell
    name: .net-powershell
---

# Using Facts and Assertions

This sample demonstrates:

- Using facts to check conditions on the values of Q# variables.
- Using assertions on quantum simulators to check conditions on the state of quantum registers.

In this sample, you can use Q# to check the correctness of quantum programs with both _facts_ (functions that check conditions on the values of their inputs) and _assertions_ (operations that check conditions on the state of their inputs). Both facts and assertions can be used together to help understand bugs in quantum programs, and to write unit tests that help ensure that your Q# programs work correctly.

## Prerequisites

- The Microsoft [Quantum Development Kit](https://docs.microsoft.com/azure/quantum/install-overview-qdk/).

## Running the Sample

This sample is designed to be run from Jupyter Notebook.
To set up your development environment to run Jupyter Notebooks, follow the steps explained in the [Q# Quickstart: Jupyter guide](https://docs.microsoft.com/azure/quantum/install-jupyter-qdk).

Once this is set up, from the terminal, you can run the following command:

```Command Line
jupyter notebook
```

Alternatively, these notebooks can be started and run in the VSCode editor. To get set up with VSCode, please follow the steps laid out in the [Q# Quickstart: VSCode guide](https://docs.microsoft.com/azure/quantum/install-command-line-qdk).

## Manifest

- [Facts and Assertions.ipynb](https://github.com/microsoft/Quantum/blob/main/samples/diagnostics/facts-and-assertions/Facts%20and%20Assertions.ipynb): Main Q# notebook for this sample.

## Further resources

- [Use Q#: Test and debug](https://docs.microsoft.com/azure/quantum/user-guide/testing-debugging#facts-and-assertions)

Копировать Web IDE Исходные данные Просмотреть построчно История

Отправлено 13.05.2021 01:13 24b7497

page_type

languages

products

description

urlFragment

jupyter

sample

qsharp

qdk

Using facts and assertions to diagnose quantum programs in Q#.

facts-and-assertions

jupytext

kernelspec

cell_markers

text_representation

region,endregion

extension	format_name	format_version	jupytext_version
.md	markdown	1.2	1.5.2

display_name	language	name
.NET (PowerShell)	PowerShell	.net-powershell

Using Facts and Assertions

This sample demonstrates:

Using facts to check conditions on the values of Q# variables.
Using assertions on quantum simulators to check conditions on the state of quantum registers.

In this sample, you can use Q# to check the correctness of quantum programs with both facts (functions that check conditions on the values of their inputs) and assertions (operations that check conditions on the state of their inputs). Both facts and assertions can be used together to help understand bugs in quantum programs, and to write unit tests that help ensure that your Q# programs work correctly.

Prerequisites

The Microsoft Quantum Development Kit.

Running the Sample

This sample is designed to be run from Jupyter Notebook. To set up your development environment to run Jupyter Notebooks, follow the steps explained in the Q# Quickstart: Jupyter guide.

Once this is set up, from the terminal, you can run the following command:

jupyter notebook

Alternatively, these notebooks can be started and run in the VSCode editor. To get set up with VSCode, please follow the steps laid out in the Q# Quickstart: VSCode guide.

Manifest

Facts and Assertions.ipynb: Main Q# notebook for this sample.

Further resources

Use Q#: Test and debug

Опубликовать ( 0 )

Вы можете оставить комментарий после Вход в систему

Quantum, пакет инструментов для разработки квантовых приложений от Microsoft (QDK), интегрируется в стек программного обеспечения и позволяет компилировать квантовые алгоритмы в элементарные операции для квантового компьютера. QDK можно установить на компьютеры с операционными системами Windows, Linux или MacOS для квантовой разработки.

Jupyter Notebook и 6 других языков

Отмена

Пока нет обновлений

1

https://api.gitlife.ru/oschina-mirror/mirrors-quantum.git

git@api.gitlife.ru:oschina-mirror/mirrors-quantum.git

oschina-mirror

mirrors-quantum

mirrors-quantum

main