some minor fixes
add solve function for reduced system