type(obj) = <class 'sage.crypto.mq.mpolynomialsystem.MPolynomialSystem_generic'>
version = 3.4.rc1
obj =
'Polynomial System with 2 Polynomials in 2 Variables'
