polys: Added support for coeff() to PolyElement
polys: Added as_expr() to PolyElement and FracElement
polys: Very preliminary support for domains over sparse polys
polys: PolyElement arithmetics with composite coefficients
polys: solve_lin_sys() now does computations in ground domain
polys: Fixed solve_lin_sys() and added more tests