{"shas":[["327efa20e70d58adf952cceee8f24ae2a24079c5","ace4ad1a1686660c792eb38c21f7489e0cefb0b3@web.de","different lifting  in precomputeLeadingCoeff\nextend henselLift122 to lift more than two factors\n\n\ngit-svn-id: file:///usr/local/Singular/svn/trunk@14382 2c84dea3-7e68-4137-9b89-c4e89433aadc","Martin Lee"]],"ref":"refs/heads/master","size":1,"head":"327efa20e70d58adf952cceee8f24ae2a24079c5","push_id":42678998}