import scas.base.{, }
import scas.module.{Array, ArrayModule}
import .given
import .given

val s = ArrayModule()(2)
val e = s.generators
import s.given

assert (112 >< e(0) + 12 *%e(1))
assert (2 *%e(0) >< e(0)%* 2)
assert (12 *%e(0) >< e(0)%* (12))
assert (e(0) + e(1) >< e(0) + e(1))
assert ((2 *%e(0) + e(1)).toList == 21.toList)
assert ((12 *%e(0) + e(1)).toList == 121.toList)
assert (s == 2)