Nuprl Definition : r2-unit-circle
r2-unit-circle(p) == (p 0^2 + p 1^2) = r1
Definitions occuring in Statement :
rnexp: x^k1,
req: x = y,
radd: a + b,
int-to-real: r(n),
apply: f a,
natural_number: $n
Definitions occuring in definition :
req: x = y,
radd: a + b,
rnexp: x^k1,
apply: f a,
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
r2-unit-circle
Latex:
r2-unit-circle(p) == (p 0\^{}2 + p 1\^{}2) = r1
Date html generated:
2017_10_03-AM-10_50_33
Last ObjectModification:
2017_06_18-PM-01_23_14
Theory : reals
Home
Index