search

AlgebraicJulia / DiagrammaticEquations.jl

MIT License
9 stars 1 forks source link

Add norm, mag, ^ rules #23

Closed lukem12345 closed 8 months ago

lukem12345 commented 8 months ago

Add inference rules for operators used by the CISM benchmark.