Private types and functions

LazyArg()

Placeholder for a lazy argument in a LazyExpr.

LazyExpr(type, args)

Helps evaluating expressions lazily.

Evaluation occurs only then the LazyExpr is called with some arguments, and the arguments will be passed to the inner part of the expression.

UnexpectedSymbolics(sym, expr)

Error to be thrown when a unexpected symbolics is present in an expression.

exponent(poweroperation)

Exponent associated with a power operation

Examples

julia> MimiqCircuitsBase.exponent(power(GateH(), 2))
2

julia> MimiqCircuitsBase.exponent(GateSX())
1//2

unwrappedmatrix(gate)

Returns the matrix associated to the specified quantum gate without the Symbolics.Num wrapper.

See also matrix.

Examples

julia> unwrappedmatrix(GateRX(π/2))
2×2 Matrix{ComplexF64}:
 0.707107+0.0im            0.0-0.707107im
      0.0-0.707107im  0.707107+0.0im

julia> unwrappedmatrix(GateH())
2×2 Matrix{Float64}:
 0.707107   0.707107
 0.707107  -0.707107

const DEFAULT_INTERVAL

Default refresh interval for tokens (in seconds)

struct Connection

Connection with the MIMIQ Services.

Attributes

• uri: the URI of the connected instance
• tokens_channel: channel updated with the latest refreshed token
• refresher: task that refreshes the token on a configured interval

struct Execution

Structure referring to an execution on the MIMIQ Services.

struct Tokens

Store access and refresh tokens

deletefiles(conn, req)"

Delete the files associated with a request.

printrequests(conn; kwargs...)

Print the list of requests on the MIMIQ Cloud Services.

Keyword arguments

• status: filter by status. Can be NEW, RUNNING, ERROR, CANCELED, DONE.
• userEmail: filter by user email.
• limit: limit the number of requests to retrieve. Can be [10, 50, 100, 200].
• page: page number to retrieve.

refresh(tokens, uri)

Refresh the tokens at the given uri / instance of MIMIQ.

requests(conn; kwargs...)

Retrieve the list of requests on the MIMIQ Cloud Services.

Keyword arguments

• status: filter by status. Can be NEW, RUNNING, ERROR, CANCELED, DONE.
• userEmail: filter by user email.
• limit: limit the number of requests to retrieve. Can be [10, 50, 100, 200].
• page: page number to retrieve.

stopexecution(conn, req)

Stop the execution of a request.