isRealPointsOf
P152471
predicate
Indicates that one entity represents the real-valued points or real-number coordinates associated with another entity.
Observed surface forms (1)
- hasRealPoints ×2
Sample triples (5)
| Subject | Object |
|---|---|
|
general linear group GL(n,R)
surface form:
GL(n,ℝ)
|
algebraic group GL_n over ℝ NERFINISHED ⓘ |
|
special linear group SL(n,R)
surface form:
SL(n,ℝ)
|
algebraic group SL_n over ℝ ⓘ |
| Mordell curve | solutions (x,y) ∈ ℝ² of y^2 = x^3 + k via predicate surface "hasRealPoints" ⓘ |
| PSL(2,ℝ) | algebraic group PSL₂ over ℝ NERFINISHED ⓘ |
|
PSL(2,\mathbb{C})
surface form:
PSL(2,ℂ)
|
PSL(2,ℝ) via predicate surface "hasRealPoints" NERFINISHED ⓘ |