]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: don't adjoin sqrt(2) to the field if it's already there.
authorMichael Orlitzky <michael@orlitzky.com>
Tue, 20 Aug 2019 23:30:45 +0000 (19:30 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Tue, 20 Aug 2019 23:30:45 +0000 (19:30 -0400)

No differences found