Image:Classes generics methods polysat 1-0-1.R.txt

source code for polysat, with a bug fixed