Nuprl Definition : reduce-halfpi
reduce-halfpi(x) == reduce-real(x;2 * MachinPi4();4)
Definitions occuring in Statement :
MachinPi4: MachinPi4(),
reduce-real: reduce-real(x;b;k),
int-rmul: k1 * a,
natural_number: $n
Definitions occuring in definition :
reduce-real: reduce-real(x;b;k),
int-rmul: k1 * a,
MachinPi4: MachinPi4(),
natural_number: $n
FDL editor aliases :
reduce-halfpi
Latex:
reduce-halfpi(x) == reduce-real(x;2 * MachinPi4();4)
Date html generated:
2019_10_31-AM-06_06_50
Last ObjectModification:
2019_02_03-PM-04_40_23
Theory : reals_2
Home
Index