For u ∉ Q̄ and real algebraic s with s² = uū, the cyclic space with double poles at ±s is five-dimensional and excludes u², ū², 1/(u − e)

Initializing...

For u ∉ Q̄ and real algebraic s with s² = uū, the cyclic space with double poles at ±s is five-dimensional and excludes u², ū², 1/(u − e) · Prove2Me