import scas.base.{, ModInteger}
import scas.module.{Array, ArrayModule}
import scas.structure.Product
import .given
val r = Product(, )
import r.given
assert ( + >< )
assert ( \ BigInteger("") >< )
assert ( \ 2 >< )
assert (r.toString == .toString)
assert (r.characteristic.intValue == )
val s = ArrayModule()()
val e = s.generators
import s.given
assert (Array(, ) >< *%e(0) + *%e(1))
assert ( *%e(0) >< e(0)%* )
assert (( *%e(0) + *%e(1)).toList == .toList)
assert (s == )