Image:Class conversion polysat 1-0.R.txt

Functions for converting between "genambig" and "genbinary" objects in polysat version 1.0.