write test -arith_geo_spec