Skip to content

Regressed simplification test due to a downstream update #100

@Omar-Elrefaei

Description

@Omar-Elrefaei

I've tacked down the failed test here to a regression in SymbolicUtils v3.13.0 released Jan 31st

on SymbolicUtils v3.12.0

julia> qsimplify(dagger(DisplaceOp(im)) * Create * DisplaceOp(im))
((0 - 1im)𝕀+a†)

on SymbolicUtils v3.13.0

julia> qsimplify(dagger(DisplaceOp(im)) * Create * DisplaceOp(im))
D(im)†a†D(im)

# what's really weird is that the other similar rule is being applied fine
julia> qsimplify(dagger(DisplaceOp(im)) * Destroy * DisplaceOp(im))
((0 + 1im)𝕀+a)

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions