Skip to main content
Back to top
Ctrl
+
K
DisCoPy
Search
Ctrl
+
K
Reference API
syntax
cat
Ob
Arrow
Box
Id
Sum
Bubble
Category
Functor
Composable
factory
dumps
loads
monoidal
Ty
PRO
Dim
Layer
Diagram
Box
Sum
Bubble
Category
Functor
Whiskerable
braided
Diagram
Box
Braid
Sum
Category
Functor
hexagon
balanced
Diagram
Box
Braid
Twist
Sum
Category
Functor
symmetric
Diagram
Box
Swap
Sum
Category
Functor
markov
Diagram
Box
Swap
Copy
Category
Functor
feedback
Ob
HeadOb
TailOb
Ty
Layer
Diagram
Box
Swap
Feedback
FollowedBy
Head
Tail
Category
Functor
traced
Diagram
Box
Trace
Category
Functor
closed
Ty
Exp
Over
Under
Diagram
Box
Eval
Curry
Sum
Category
Functor
rigid
Ob
Ty
PRO
Diagram
Box
Cup
Cap
Sum
Category
Functor
pivotal
Ob
Ty
Diagram
Box
Cup
Cap
Category
Functor
ribbon
Diagram
Box
Cup
Cap
Braid
Category
Functor
compact
Diagram
Box
Cup
Cap
Swap
Category
Functor
frobenius
Ob
Ty
Dim
Diagram
Box
Cup
Cap
Swap
Spider
Bubble
Category
Functor
hypergraph
Spider
Wires
Boundary
Wiring
SpiderTypes
Hypergraph
pushout
semantics
python
discopy.python.finset
Function
function
Function
discopy.python.additive
Ty
Function
multiplicative
Ty
Function
exp
matrix
Matrix
Backend
NumPy
JAX
PyTorch
TensorFlow
backend
set_backend
get_backend
tensor
Dim
Tensor
Functor
Diagram
Box
Swap
Cup
Cap
Spider
Sum
Bubble
stream
Ty
Stream
Category
interaction
Ty
Diagram
NamedGeneric
Int
quantum
channel
CQ
Channel
Functor
C
Q
circuit
Ob
Digit
Qudit
Ty
Circuit
Box
Sum
Swap
Functor
index2bitstring
bitstring2index
gates
SelfConjugate
AntiConjugate
Discard
MixedState
Measure
Encode
QuantumGate
ClassicalGate
Copy
Match
Digits
Bits
Ket
Bra
Controlled
Parametrized
Rotation
Rx
Ry
Rz
CU1
CRz
CRx
Scalar
MixedScalar
Sqrt
sqrt
scalar
ansatze
IQPansatz
Sim14ansatz
Sim15ansatz
zx
Diagram
Box
Swap
Spider
Z
Y
X
Scalar
discopy.quantum.tk
Circuit
to_tk
from_tk
discopy.quantum.pennylane
PennyLaneCircuit
tk_op_to_pennylane
extract_ops_from_tk
get_post_selection_dict
to_pennylane
grammar
thue
Word
Rule
cfg
Tree
Rule
Word
Id
Operad
Algebra
categorial
Diagram
Box
Word
FA
BA
FC
BC
FX
BX
Functor
cat2ty
tree2diagram
pregroup
Diagram
Box
Cup
Cap
Swap
Word
Category
Functor
eager_parse
brute_force
dependency
from_spacy
drawing
drawing
Point
PlaneGraph
Drawing
Equation
backend
draw
Backend
TikZ
Matplotlib
Notebooks
What is a diagram?
Examples
QNLP Tutorial
Diagrammatic Differentiation
Categories for Linguistics
Categories for Quantum
Higher-Order DisCoCat
Extra
Talks
Blogs
Publications
Bibliography
.rst
.pdf
from_tk
Contents
from_tk()
from_tk
#
discopy.quantum.tk.
from_tk
(
tk_circuit
)
[source]
#
Translates from tket to discopy.
Contents
from_tk()