import scas.base.{
,
,
}
import
.given
import
.given
import
.{sqrt, conjugate, magnitude2, given}
assert ((
1
-1
)/(
1
-1
) ><
-1
)
assert (conjugate(
-1
) ><
-1
)
assert (magnitude2(
-1
) ><
1
)