[WIP] Square root of all the things - Githubissues

wbhart / AbstractAlgebra.jl

Generic abstract algebra functionality in pure Julia (no C dependencies)

Other

55 stars 6 forks source link

[WIP] Square root of all the things #20

Closed wbhart closed 4 years ago

wbhart commented 4 years ago

This provides sparse multivariate square root over an exact ring. There are two functions: sqrt and issquare

if g = f^2 then sqrt(g) currently takes the same time as computing f^2, but it should be roughly half that
naturally exact square root can be computed much faster again
square root is missing for Z/pZ and R[x] (at least)

Note this does not provide sqrt for multivariates in Nemo, as this has to be implemented in Flint (which Dan and I have agreed to do soon).