Chen Zhao

Errors when expanding polynomials with coefficient π

1

Here is an example: ```julia julia> using Symbolics julia> @variables x 1-element Vector{Num}: x julia> (x+π)^2 |> expand ERROR: MethodError: no method matching Int64(::Irrational{:π}) Closest candidates are: (::Type{T})(::T) where T

Large overhead using @batch

3

When I try to use `@batch` to improve the performance with multithreading, I found it has a large overhead which is similar to `Threads.@threads`. Here is the code I tested...

Building error on macOS

9

Hello, I want to try AdFem.jl and I installed it. But when I built the dependent package ADCME.jl, an error occurred. Here is some environment information: System: macOS 10.15.7 Julia...

Issues in E-graph matching for parametrized types

5

Here is an example. ```julia using Metatheory， TermInterface struct Foo{A} x::A end TermInterface.istree(::Foo{T}) where T = true TermInterface.istree(::Type{Foo{T}}) where T = true TermInterface.exprhead(::Foo) = :call TermInterface.operation(::Foo{T}) where T = :(Foo{$T})...

I am trying to define a method with arguments of multiple traits. ```julia using SimpleTraits @traitdef Foo{T} @traitdef Bar{T} @traitfn f(::S, ::T) where {S, T; Foo{S}, Bar{T}} = nothing ```...

When passing a circuit to `mctrajectory`, `pftrajectory` and others, verify that it does not perform any unsafe operations

1

```julia using QuantumClifford using QuantumClifford.ECC circ = [ sHadamard(1), sCNOT(1, 2), sMZ(1), sMZ(2), ] frames = PauliFrame(10, 2, 2) pftrajectories(frames, circ) ``` `sMZ(1)` and `sMZ(2)` will cause an out-of-bounds behavior...

[Feature request] generating BNF from ADTs

1

It will be very useful if we can generate BNF from user-defined ADTs automatically.

The compilation of the dagger quantum circuits is missing. For example, the following circuit can not be applied to a register. ```julia @device function circ() 1 => S' end ```

```julia julia> using YaoCompiler julia> using YaoCompiler.Intrinsics julia> @device function qft(n::Int) 1 => H for k in 2:n @ctrl k 1 => shift(2π / 2^k) end if n > 1...

Still got an error in @code_qasm

3

I supposed that the CNOT gate should be available without including `qelib1.inc`. But I still got an error when using `@code_qasm`, even if I include `qelib1.inc`. ```julia julia> using YaoCompiler...