Kurt Foster on Sat, 03 May 2008 17:51:52 +0200 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Special Hilbert Class Field computation |
The thing that's got me hung up is checking for squareness mod 4. I can produce a list of squares mod 4 (the square roots are defined mod 2) and use nfbasistoalg() and nfalgtobasis() to get everything in terms of t_COL's of integer coefficients of basis elements to compare, but I'm probably being very clumsy about it. Besides, I'd probably be reinventing the wheel. Does anyone have a slick and quick way of doing this special computation?