updated modulo integers so that ModuloInteger[x] is a type and can be used in isinstance calls, etc
added is_grobner_basis and some unittests for gbasis
cube demo