Discriminant of a biquadratic field (source code)

= Discriminant of a biquadratic field

The discriminant of a biquadratic field is the product of the fundamental discriminants of its three quadratic subfields.