gyu-don

FROM rocm/rocm-terminal:latest

ARG UID=1000
ARG GID=1000

RUN sudo apt update && \
    sudo apt install -y cmake libspdlog-dev libopenblas-dev python3-dev mpich ninja-build rocblas rocthrust && \
    sudo mkdir /work && \
    sudo chown $UID:$GID /work
USER $UID

gyu-don

gyu-don

# https://yosh.hateblo.jp/entries/2010/01/19#p1
# http://okajima.air-nifty.com/b/2010/01/post-abc6.html

from dataclasses import dataclass
from typing import NamedTuple, TextIO
from io import StringIO
from collections import deque

class Point(NamedTuple):
    x: int

gyu-don

# https://yosh.hateblo.jp/entries/2010/01/19#p1
# http://okajima.air-nifty.com/b/2010/01/post-abc6.html

from dataclasses import dataclass
from typing import NamedTuple, TextIO
from io import StringIO

class Point(NamedTuple):
    x: int
    y: int

gyu-don

gyu-don

from collections import Counter
import math
from typing import Any, List, Optional

import numpy as np

from .backendbase import Backend
import blueqat.gate as bqgate

class _U3(bqgate.OneQubitGate):

gyu-don

gyu-don

gyu-don

Require Import List.
Import ListNotations.

Theorem concat_assoc(X: Type):
  forall tttx: list (list (list X)), (concat (concat tttx)) = (concat (map (@concat X) tttx)).
Proof.
  intros.
  induction tttx.
  simpl. reflexivity.
  simpl. rewrite <- IHtttx. apply concat_app.

gyu-don

from blueqat import Circuit, pauli, vqe
from blueqat.pauli import qubo_bit as q
from math import pi
import numpy as np

def an(index):
    return 0.5 * pauli.X[index] + 0.5j * pauli.Y[index]

def cr(index):
    return 0.5 * pauli.X[index] - 0.5j * pauli.Y[index]