import scas.power.Lexicographic
import scas.base.
import
.given
val m = Lexicographic(0)("
x
")
val
x
= m.generators
import m.given
assert(
x
>
1
)
assert(
1
<
x
)
assert(
1
|
x
)
assert(
x
*
1
><
1
*
x
)
assert(
x
*
x
><
x
2
)