herbie icon indicating copy to clipboard operation
herbie copied to clipboard

Herbie can generate alternatives that are the same as the initial equation

Open acoustoelectrically opened this issue 10 months ago • 0 comments

This can be seen here https://herbie.uwplse.org/demo/806f578ab5283453deef2aa802d79d140ffbd31c.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (alternative 5 is the same as the initial equation)

https://herbie.uwplse.org/demo/b11dc8848070d0b9ef0d692f2cf569295d11a9c1.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (alternative 7 is the same as the initial equation)

https://herbie.uwplse.org/demo/c933c3e3b77b8183124f92cf32455d4f99e5cc6e.1a83c9f5186db102b678a2d5f869f99992469071/graph.html (alternative 1 and the initial equation)

https://herbie.uwplse.org/demo/b0a851f8ae2e54556234e5ab82567aa2b2ef066e.1a83c9f5186db102b678a2d5f869f99992469071/graph.html

We could just hide alternatives that are the same as the input, and if there are no alternatives to be generated, it could probably say "no alternatives found" (like when entering the number "1")

acoustoelectrically avatar Jun 11 '25 16:06 acoustoelectrically