Add usesrand option
Merge branch 'tmp-detsoln' of github.com:drlippman/IMathAS into tmp-detsoln
Improvements to detailed solution