Skip to content

Disable reductions of sqrt(c*v) when c is a negative real. This cause…#15

Merged
cianciosa merged 1 commit into
mainfrom
sqrt_negate_arg
Jul 2, 2026
Merged

Disable reductions of sqrt(c*v) when c is a negative real. This cause…#15
cianciosa merged 1 commit into
mainfrom
sqrt_negate_arg

Disable reductions of sqrt(c*v) when c is a negative real. This cause…

d9a3541
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ci_test (ubuntu-latest)
succeeded Jul 2, 2026 in 2h 17m 7s