]> gitweb.michael.orlitzky.com - sage.d.git/search
eja: don't adjoin sqrt(2) to the field if it's already there.